Results 231 to 240 of about 8,603 (263)

The “New” logics and natural language processing

Computers and the Humanities, 1985
This 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, 2013
In 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), 2017
One 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

On a logical formalization of natural language

Kybernetika, 1990
The 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

2014
We 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

Pomset Logic and variants in natural languages

1997
We 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

A Logic Inspired by Natural Language: Quantifiers As Subnectors

Journal of Philosophical Logic, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

A Natural Logic for Natural-language Knowledge Bases

2017
We 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, Styltsvig, Henrik Bulskov; id_orcid 0000-0002-3055-8158, Jensen, Per Anker, Fischer Nilsson, Jørgen   +3 more
openaire   +2 more sources

Negation in Logic and in Natural Language

Linguistics and Philosophy, 2002
In 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

Logic for natural language analysis.

2013
This 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