Back to Search
Start Over
Order-Based Inference in Natural Logic.
- Source :
- Logic Journal of the IGPL; 2003, Vol. 11 Issue 4, p385-416, 32p
- Publication Year :
- 2003
-
Abstract
- This paper develops a version of Natural Logic – an inference system that works directly on natural language syntactic representations, with no intermediate translation to logical formulae. Following work by Sánchez, we develop a small fragment that computes semantic order relations between derivation trees in Categorial Grammar. The proposed system has the following new characteristics: (i) It uses orderings between derivation trees as purely syntactic units, derivable by a formal calculus. (ii) The system is extended for conjunctive phenomena like coordination and relative clauses. This allows a simple account of non-monotonic expressions that are reducible to conjunctions of monotonic ones. (iii) A decision procedure for provability is developed for a fragment of Natural Logic. [ABSTRACT FROM PUBLISHER]
- Subjects :
- INFERENCE (Logic)
LOGIC
LANGUAGE & languages
CATEGORIAL grammar
CALCULUS
Subjects
Details
- Language :
- English
- ISSN :
- 13670751
- Volume :
- 11
- Issue :
- 4
- Database :
- Complementary Index
- Journal :
- Logic Journal of the IGPL
- Publication Type :
- Academic Journal
- Accession number :
- 83181992
- Full Text :
- https://doi.org/10.1093/jigpal/11.4.385