Mental models: towards a cognitive science of language, inference, and consciousness
Mental models: towards a cognitive science of language, inference, and consciousness
Seeking explanations: abduction in logic, philosophy of science and artificial intelligence
Seeking explanations: abduction in logic, philosophy of science and artificial intelligence
A `Natural Logic' inference system using the Lambek calculus
Journal of Logic, Language and Information
Natural Logic for Natural Language
Logic, Language, and Computation
Natural logic for textual inference
RTE '07 Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing
An extended model of natural logic
IWCS-8 '09 Proceedings of the Eighth International Conference on Computational Semantics
| Hi-index | 0.00 |
In this paper we develop the beginnings of a tableau system for natural logic, the logic that is present in ordinary language and that us used in ordinary reasoning. The system is based on certain terms of the typed lambda calculus that can go proxy for linguistic forms and which we call Lambda Logical Forms. It is argued that proof-theoretic methods like the present one should complement the more traditional model-theoretic methods used in the computational study of natural language meaning.