Natural Logic in AI and Cognitive Science (original) (raw)

This paper presents an ongoing research project called “natural logic” and makes the case that it is relevant to AI, Computational Linguistics, and Cognitive Science. We propose to add some of the natural logic modules which have already been developed to existing NLP systems. We see our approach as complementing and augmenting data-driven approaches exemplified by IBM’s Watson. We give a brief introduction to natural logic and present examples of proofs that can be given in a working system. We furthermore introduce monotonic logic, another promising approach for extracting information from sentences that contain quantifiers. We finish the paper by presenting some early work that integrates syllogistic reasoning into exsiting NLP systems. Introduction The history of logic and AI is a checkered one. Starting with huge optimism, the idea of applying logic in AI and NLP is very much a minority one today. The 2015 report of the One Hundred Year Study on Artificial Intelligence states t...