Results 281 to 290 of about 10,814 (309)
Some of the next articles are maybe not open access.
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
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
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
Pomset Logic and variants in natural languages
1997We propose a uniform solution based on Pomset Logic to several different syntactic phenomena in Natural Languages, and in particular topicalization, relative clauses, interrogative clauses, extraposition, discontinuous constituents and cliticization. We show that Pomset Logic is expressive enough to describe all the linguistic transformations due to ...
openaire +1 more source
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
A Natural Logic for Natural-language Knowledge Bases
2017We describe a natural logic for computational reasoning with a regimented fragment of natural language. The natural logic comes with intuitive inference rules enabling deductions and with an internal graph representation facilitating conceptual path finding between pairs of terms as an approach to semantic querying.
Andreasen, Troels +3 more
openaire +2 more sources
Logic for natural language analysis.
2013This work investigates the use of formal logic as a practical tool for describing the syntax and semantics of a subset of English, and building a computer program to answer data base queries expressed in that subset. To achieve an intimate connection between logical descriptions and computer programs, all the descriptions given are in the definite ...
openaire +1 more source
The Logic of Natural Language.
The Philosophical Quarterly, 1984G. B. Keene, F. Sommers
openaire +1 more source
The Logic of Natural Language.
The Journal of Philosophy, 1982P. F. Strawson, Fred Sommers
openaire +1 more source
Logic and Natural Language Systems
1989Publisher Summary This chapter provides an overview on the account of some recent advances in computational semantic. A natural language system provides a framework for relating linguistic form of utterances and their semantic interpretation, and the relation between the two must be algorithmic.
openaire +1 more source