Results 241 to 250 of about 352,054 (291)

Natural Language and Logic of Agency

Journal of Logic, Language and Information, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Previous Accounts of Polarity Logics for Natural Language

2022
This chapter explores several attempts to utilize logical polarity as a fundamental notion underlying logical inference. Ludlow and Živanović look at accounts of logical polarity in contemporary linguistics, including in semantics (where the idea of directional entailingness is developed) and in some syntactic accounts of inference that rely on ...
Peter Ludlow, Sašo Živanović
openaire   +1 more source

Fuzzy Logic as the Logic of Natural Languages

2007
As we move further into the age of machine intelligence and automated decision-making, a long-standing problem becomes more pressing and more complex. The problem is: How to reason and compute with information described in natural language. The basic importance of this problem derives from the fact that much of human knowledge—and especially world ...
openaire   +1 more source

The Applications of Description Logics in Natural Language Processing

Advanced Materials Research, 2011
As a sort of formalizing tool of knowledge representation, Description Logics have been successfully applied in Information System, Software Engineering and Natural Language processing and so on. Description Logics also play a key role in text representation, Natural Language semantic interpretation and language ontology description. Description Logics
Xian Yi Cheng, Chen Cheng, Qian Zhu
openaire   +1 more source

Formalization of natural language requirements into temporal logics: a survey

2019 IEEE 17th International Conference on Industrial Informatics (INDIN), 2019
One of the challenges of requirements engineering is the fact that requirements are often formulated in natural language. This represents difficulty if requirements must be processed by formal approaches, especially if these approaches are intended to check the requirements.
openaire   +2 more sources

Logical language, natural strategies and the teaching of science

International Journal of Science Education, 1988
The role of formal logic in the development and investigation of science education is analysed. Firstly, the way in which teachers use language, logical and otherwise, is described and the necessary use of logical relations in the learning of abstract concepts and ideas is investigated.
openaire   +1 more source

The Logic of Natural Language.

The Philosophical Quarterly, 1984
G. B. Keene, F. Sommers
openaire   +1 more source

Logical Design Of Deductive Natural Language Consultable Data Bases

Fifth International Conference on Very Large Data Bases, 1979., 1979
This article examines data base description problems from the point of view of logic programming, and presents an experimental deductive data base system implemented in PROLOG. We first discuss the advantages of logic for describing data bases, in a general manner, and then its application to our particular data base system.
openaire   +1 more source

The Logic of Natural Language.

The Journal of Philosophy, 1982
P. F. Strawson, Fred Sommers
openaire   +1 more source

Typology and logical structure of natural languages

1993
This paper focuses on some relationships between logic and natural languages, a topic that is crucial in Western philosophy (From Aristotle, to medieval Modistae, to Leibniz and the founders of modern mathematical logic). Specifically, the search for a universal grammar is considered in connection with linguistic typology (see Greenberg 's Universals ...
openaire   +1 more source