A Tableau Prover for Natural Logic and Language Article Swipe

PDF

Related Concepts

Gas meter prover Computer science Automated theorem proving Natural language First-order logic Programming language Schematic Logical consequence Natural language processing Algorithm Artificial intelligence Mathematics Mathematical proof Electronic engineering Geometry Engineering

Lasha Abzianidze ·

YOU? · · 2015 · Open Access · · DOI: https://doi.org/10.18653/v1/d15-1296 · OA: W2250863723

Modeling the entailment relation over sentences is one of the generic problems of natural language understanding.In order to account for this problem, we design a theorem prover for Natural Logic, a logic whose terms resemble natural language expressions.The prover is based on an analytic tableau method and employs syntactically and semantically motivated schematic rules.Pairing the prover with a preprocessor, which generates formulas of Natural Logic from linguistic expressions, results in a proof system for natural language.It is shown that the system obtains a comparable accuracy (≈ 81%) on the unseen SICK data while achieving the stateof-the-art precision (≈ 98%).