Fyodorov, Yaroslav; Winter, Yoad; Francez, Nissim Order-based inference in natural logic. (English) Zbl 1076.03529 Log. J. IGPL 11, No. 4, 385-417 (2003). Summary: 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 for 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. Cited in 1 ReviewCited in 2 Documents MSC: 03B65 Logic of natural languages 68T50 Natural language processing Keywords:natural language syntactic representations; derivation trees; categorial grammar; non-monotonic expressions; decision procedure for provability PDFBibTeX XMLCite \textit{Y. Fyodorov} et al., Log. J. IGPL 11, No. 4, 385--417 (2003; Zbl 1076.03529) Full Text: DOI Link