Results 271 to 280 of about 366,917 (330)
Some of the next articles are maybe not open access.
LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations
NLRSEIn this paper we examine the limitations of Large Language Models (LLMs) for complex reasoning tasks. While current approaches leverage formal languages as intermediate representation for these reasoning problems, they still struggle with generating ...
Shashank Kirtania +2 more
semanticscholar +1 more source
On the Relationship between a Computational Natural Logic and Natural Language
Proceedings of the 8th International Conference on Agents and Artificial Intelligence, 2016This paper makes a case for adopting appropriate forms of natural logic as target language for computational reasoning with descriptive natural language. Natural logics are stylized fragments of natural language where reasoning can be conducted directly by natural reasoning rules reflecting intuitive reasoning in natural language. The approach taken in
Andreasen, Troels +3 more
openaire +1 more source
Logical splicing in natural languages
1999Studies in Functional and Structural Linguistics, Vol.47.
openaire +2 more sources
The “New” logics and natural language processing
Computers and the Humanities, 1985This paper will attempt to outline very briefly a recent approach to logic known as model theory. It will compare the aims and techniques of this approach with more traditional frameworks and then make a few remarks about possible applications of logic in computer systems dealing with natural language. Logic is concerned with distinguishing correct, or
openaire +1 more source
A single-type logic for natural language
Journal of Logic and Computation, 2013In this article, we develop a single-type logic for natural language along the lines of Partee (2009, Snippets, vol. 20)). This logic, called `TY30' takes objects of different syntactic categories and model-theoretic domains to be structured by the same logical type. Its language, a variant of the simply typed lambda calculus, is interpreted in partial
openaire +1 more source
Fuzzy logic in natural language processing
2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2017One of the proclaims often emphasized in papers on fuzzy sets and fuzzy logic is their ability to model semantics of certain linguistic expressions because their inherent vagueness can be captured by fuzzy sets. This direction of research was initiated by L. A.
openaire +1 more source
Natural Logic and Natural Language Inference
2014We propose a model of natural language inference which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We extend past work in natural logic, which has focused on semantic containment and monotonicity, by incorporating both semantic exclusion and implicativity.
Bill MacCartney, Christopher D. Manning
openaire +1 more source
On a logical formalization of natural language
Kybernetika, 1990The paper discusses some problems in formalizing natural languages. A formalized language is presented as a ``many-sorted algebra'' with a distinguished sort of ``statements'' (this approach was originated by R. Montague). Two kinds of formalized languages are considered: applicative and combinatorial.
openaire +2 more sources
A Logic Inspired by Natural Language: Quantifiers As Subnectors
Journal of Philosophical Logic, 2014zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Negation in Logic and in Natural Language
Linguistics and Philosophy, 2002In game-theoretical semantics, perfectlyclassical rules yield a strong negation thatviolates tertium non datur when informationalindependence is allowed. Contradictorynegation can be introduced only by a metalogicalstipulation, not by game rules. Accordingly, it mayoccur (without further stipulations) onlysentence-initially.
openaire +1 more source