A Pure Logic-Based Approach to Natural Reasoning

Lasha Abzianidze

Research output: Contribution to conferencePaperOther research output

55 Downloads (Pure)

Abstract

The paper presents a model for natural reasoning that combines theorem proving techniques with natural logic. The model is a tableau system for a higher-order logic the formulas of which resemble linguistic expressions. A textual entailment system LangPro, an implementation of the model, represents a tableau-based prover that directly operates on linguistic expressions. After training and evaluating on a textual entailment dataset, the prover shows accuracy comparable to the state-of-the-art results with almost perfect precision. Due to its reliable judgements, the system is also able to detect dubious problems in the dataset.
Original languageEnglish
Pages40-49
Number of pages10
Publication statusPublished - 16 Dec 2015
EventAmsterdam Colloquium 2015 -
Duration: 16 Dec 201518 Dec 2015
http://www.illc.uva.nl/AC/AC2015/

Other

OtherAmsterdam Colloquium 2015
Period16/12/1518/12/15
Internet address

Fingerprint

Linguistics
Theorem proving

Keywords

  • natural reasoning
  • natural logic
  • semantic tableau
  • textual entailments

Cite this

Abzianidze, L. (2015). A Pure Logic-Based Approach to Natural Reasoning. 40-49. Paper presented at Amsterdam Colloquium 2015, .
Abzianidze, Lasha. / A Pure Logic-Based Approach to Natural Reasoning. Paper presented at Amsterdam Colloquium 2015, .10 p.
@conference{52a65125b6cb414baddf598d81744d01,
title = "A Pure Logic-Based Approach to Natural Reasoning",
abstract = "The paper presents a model for natural reasoning that combines theorem proving techniques with natural logic. The model is a tableau system for a higher-order logic the formulas of which resemble linguistic expressions. A textual entailment system LangPro, an implementation of the model, represents a tableau-based prover that directly operates on linguistic expressions. After training and evaluating on a textual entailment dataset, the prover shows accuracy comparable to the state-of-the-art results with almost perfect precision. Due to its reliable judgements, the system is also able to detect dubious problems in the dataset.",
keywords = "natural reasoning, natural logic, semantic tableau, textual entailments",
author = "Lasha Abzianidze",
year = "2015",
month = "12",
day = "16",
language = "English",
pages = "40--49",
note = "Amsterdam Colloquium 2015 ; Conference date: 16-12-2015 Through 18-12-2015",
url = "http://www.illc.uva.nl/AC/AC2015/",

}

Abzianidze, L 2015, 'A Pure Logic-Based Approach to Natural Reasoning' Paper presented at Amsterdam Colloquium 2015, 16/12/15 - 18/12/15, pp. 40-49.

A Pure Logic-Based Approach to Natural Reasoning. / Abzianidze, Lasha.

2015. 40-49 Paper presented at Amsterdam Colloquium 2015, .

Research output: Contribution to conferencePaperOther research output

TY - CONF

T1 - A Pure Logic-Based Approach to Natural Reasoning

AU - Abzianidze, Lasha

PY - 2015/12/16

Y1 - 2015/12/16

N2 - The paper presents a model for natural reasoning that combines theorem proving techniques with natural logic. The model is a tableau system for a higher-order logic the formulas of which resemble linguistic expressions. A textual entailment system LangPro, an implementation of the model, represents a tableau-based prover that directly operates on linguistic expressions. After training and evaluating on a textual entailment dataset, the prover shows accuracy comparable to the state-of-the-art results with almost perfect precision. Due to its reliable judgements, the system is also able to detect dubious problems in the dataset.

AB - The paper presents a model for natural reasoning that combines theorem proving techniques with natural logic. The model is a tableau system for a higher-order logic the formulas of which resemble linguistic expressions. A textual entailment system LangPro, an implementation of the model, represents a tableau-based prover that directly operates on linguistic expressions. After training and evaluating on a textual entailment dataset, the prover shows accuracy comparable to the state-of-the-art results with almost perfect precision. Due to its reliable judgements, the system is also able to detect dubious problems in the dataset.

KW - natural reasoning

KW - natural logic

KW - semantic tableau

KW - textual entailments

M3 - Paper

SP - 40

EP - 49

ER -

Abzianidze L. A Pure Logic-Based Approach to Natural Reasoning. 2015. Paper presented at Amsterdam Colloquium 2015, .