Publication

LangPro: Natural Language Theorem Prover

Abzianidze, L., 6-Sep-2017, p. 115-120. 5 p.

Research output: Contribution to conferencePaperAcademic

APA

Abzianidze, L. (2017). LangPro: Natural Language Theorem Prover. 115-120. Paper presented at Conference on Empirical Methods in Natural Language Processing, Copenhagen, Denmark.

Author

Abzianidze, Lasha. / LangPro: Natural Language Theorem Prover. Paper presented at Conference on Empirical Methods in Natural Language Processing, Copenhagen, Denmark.5 p.

Harvard

Abzianidze, L 2017, 'LangPro: Natural Language Theorem Prover' Paper presented at Conference on Empirical Methods in Natural Language Processing, Copenhagen, Denmark, 07/09/2017 - 11/09/2017, pp. 115-120.

Standard

LangPro: Natural Language Theorem Prover. / Abzianidze, Lasha.

2017. 115-120 Paper presented at Conference on Empirical Methods in Natural Language Processing, Copenhagen, Denmark.

Research output: Contribution to conferencePaperAcademic

Vancouver

Abzianidze L. LangPro: Natural Language Theorem Prover. 2017. Paper presented at Conference on Empirical Methods in Natural Language Processing, Copenhagen, Denmark.


BibTeX

@conference{69194538996d413492199bd2b04b89f9,
title = "LangPro: Natural Language Theorem Prover",
abstract = "LangPro is an automated theorem prover for natural language (https://github.com/kovvalsky/LangPro). Given a set of premises and a hypothesis, it is able to prove semantic relations between them. The prover is based on a version of analytic tableau method specially designed for natural logic. The proof procedure operates on logical forms that preserve linguistic expressions to a large extent. {\%}This property makes the logical forms easily obtainable from syntactic trees. {\%}, in particular, Combinatory Categorial Grammar derivation trees. The nature of proofs is deductive and transparent. On the FraCaS and SICK textual entailment datasets, the prover achieves high results comparable to state-of-the-art.",
keywords = "cs.CL, 68T50, I.2.7",
author = "Lasha Abzianidze",
note = "6 pages, 8 figures, Conference on Empirical Methods in Natural Language Processing (EMNLP) 2017; Conference on Empirical Methods in Natural Language Processing : System Demonstrations, EMNLP ; Conference date: 07-09-2017 Through 11-09-2017",
year = "2017",
month = "9",
day = "6",
language = "English",
pages = "115--120",
url = "http://emnlp2017.net/",

}

RIS

TY - CONF

T1 - LangPro: Natural Language Theorem Prover

AU - Abzianidze, Lasha

N1 - 6 pages, 8 figures, Conference on Empirical Methods in Natural Language Processing (EMNLP) 2017

PY - 2017/9/6

Y1 - 2017/9/6

N2 - LangPro is an automated theorem prover for natural language (https://github.com/kovvalsky/LangPro). Given a set of premises and a hypothesis, it is able to prove semantic relations between them. The prover is based on a version of analytic tableau method specially designed for natural logic. The proof procedure operates on logical forms that preserve linguistic expressions to a large extent. %This property makes the logical forms easily obtainable from syntactic trees. %, in particular, Combinatory Categorial Grammar derivation trees. The nature of proofs is deductive and transparent. On the FraCaS and SICK textual entailment datasets, the prover achieves high results comparable to state-of-the-art.

AB - LangPro is an automated theorem prover for natural language (https://github.com/kovvalsky/LangPro). Given a set of premises and a hypothesis, it is able to prove semantic relations between them. The prover is based on a version of analytic tableau method specially designed for natural logic. The proof procedure operates on logical forms that preserve linguistic expressions to a large extent. %This property makes the logical forms easily obtainable from syntactic trees. %, in particular, Combinatory Categorial Grammar derivation trees. The nature of proofs is deductive and transparent. On the FraCaS and SICK textual entailment datasets, the prover achieves high results comparable to state-of-the-art.

KW - cs.CL

KW - 68T50

KW - I.2.7

M3 - Paper

SP - 115

EP - 120

ER -

ID: 48976222