Publication

Towards a Wide-Coverage Tableau Method for Natural Logic

Abzianidze, L., 25-Aug-2015, New Frontiers in Artificial Intelligence: JSAI-isAI 2014. Vol. 9067. p. 66-82 17 p. (LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

The first step towards a wide-coverage tableau prover for natural logic is presented. We describe an automatized method for obtaining Lambda Logical Forms from surface forms and use this method with an implemented prover to hunt for new tableau rules in textual entailment data sets. The collected tableau rules are presented and their usage is also exemplified in several tableau proofs. The performance of the prover is evaluated against the development data sets. The evaluation results show an extremely high precision above 97 % of the prover along with a decent recall around 40 %.
Original languageEnglish
Title of host publication New Frontiers in Artificial Intelligence
Subtitle of host publicationJSAI-isAI 2014
Pages66-82
Number of pages17
Volume9067
ISBN (Electronic)978-3-662-48119-6
Publication statusPublished - 25-Aug-2015
Externally publishedYes
EventJSAI-isAI: Logic and Engineering of Natural Language Semantics -
Duration: 22-Nov-201424-Nov-2014
http://www.is.ocha.ac.jp/~bekki/lenls/lenls11/index.html

Publication series

NameLNCS
PublisherSpringer

Conference

ConferenceJSAI-isAI
Abbreviated titleLENLS
Period22/11/201424/11/2014
Internet address

Event

JSAI-isAI: Logic and Engineering of Natural Language Semantics

22/11/201424/11/2014

Event: Conference

    Keywords

  • Combinatory Categorial Grammar, Lambda Logical Form, Natural logic, Theorem prover, Tableau method, Textual entailment

Download statistics

No data available

ID: 43653165