Results 81 to 90 of about 8,603 (263)
Plural Intensional Presuppositional predicate calculus (PIP)
GlossaOne successful branch of natural language semantics uses first order predicate calculus and set theory, well-studied systems of mathematics in their own right, as meta-languages for natural-language meanings.
Ezra Keshet, Steven Abney
doaj +2 more sources
Logical form and natural language [PDF]
Philosophical Studies, 1975 Peer Reviewed ; http://deepblue.lib.umich.edu/bitstream/2027.42/43381/1/11098_2004_Article_BF00372902 ...
openaire +2 more sources
Advanced Science, EarlyView.Autonomous laboratories can now synthesize materials faster than experts can interpret the resulting diffraction data. A probabilistic framework combines refinement‐fit metrics with large language model‐derived chemical reasoning to rank competing phase interpretations and flag those unsuitable for autonomous use.
Olympia Dartsi +7 more
wiley +1 more source
Representation Synthesis by Probabilistic Many-Valued Logic Operation in Self-Supervised Learning
IEEE Open Journal of Signal ProcessingIn this paper, we propose a new self-supervised learning (SSL) method for representations that enable logic operations. Representation learning has been applied to various tasks like image generation and retrieval.
Hiroki Nakamura +2 more
doaj +1 more source
Logicality in natural language
Philosophical StudiesAbstractIs there a relation of logical consequence in natural language? Logicality, in the philosophical literature, has been conceived of as a restrictive phenomenon that is at odds with the unbridled richness and complexity of natural language. This article claims that there is a relation of logical consequence in natural language, and moreover, that
openaire +1 more source
Natural language processing and logic programming
The Journal of Logic Programming, 1994 AbstractThis paper examines the main points of contact between logic programming and natural language processing, and covers some of the important issues that arise using logic programming techniques in natural language processing. It emphasizes the importance of taking into account the most general analyses from linguistic theory in building NLP ...
openaire +1 more source
StackingNet: Collective Inference Across Independent AI Foundation Models
Advanced Science, EarlyView.ABSTRACT Artificial intelligence (AI) built on large foundation models has transformed language understanding, computer vision, and reasoning, yet these systems remain isolated and cannot readily share their capabilities. Coordinating the complementary strengths of independently developed, black‐box foundation models is essential for trustworthy ...
Siyang Li +4 more
wiley +1 more source
From Devices to Systems: Integration Strategies for Micro‐Supercapacitors in Microsystems
Advanced Science, EarlyView.Micro‐supercapacitors are evolving from device‐level energy storage toward system‐level functional units in integrated microsystems. This Review presents a system‐oriented design framework in which integration serves as the key link between application requirements, system constraints, device architectures, and material selection. Monolithic and hybrid
Zhuohao Liu, Gang Li, Kaiying Wang
wiley +1 more source
CLRe: A Synergistic Dual‐Engine Framework for One‐Step Retrosynthesis Prediction
Advanced Science, EarlyView.CLRe uses a contrastive difficulty score to order pretrained seq2seq fine‐tuning for retrosynthesis. Reaction embeddings define the ranking score, and a cumulative easy‐to‐hard schedule expands from the easiest subset to the full training set while earlier examples remain active.
Tianhao Su +5 more
wiley +1 more source
Relationships of Word-Formation and Logical Semiotics
Studia Semiotyczne, 2020 Logic developed a theory of names to which Polish logicians of the LvovWarsaw School eminently contributed. However, logicians do not delve into the structure of names of certain type, and treat them as inseparable lexical units.
doaj