DeepAI AI Chat
Log In Sign Up

Logical Semantics, Dialogical Argumentation, and Textual Entailment

by   Davide Catta, et al.

In this chapter, we introduce a new dialogical system for first order classical logic which is close to natural language argumentation, and we prove its completeness with respect to usual classical validity. We combine our dialogical system with the Grail syntactic and semantic parser developed by the second author in order to address automated textual entailment, that is, we use it for deciding whether or not a sentence is a consequence of a short text. This work-which connects natural language semantics and argumentation with dialogical logic-can be viewed as a step towards an inferentialist view of natural language semantics.


page 1

page 2

page 3

page 4


Towards a Benchmark of Natural Language Arguments

The connections among natural language processing and argumentation theo...

Automatic Debate Evaluation with Argumentation Semantics and Natural Language Argument Graph Networks

The lack of annotated data on professional argumentation and complete ar...

Using large language models for (de-)formalization and natural argumentation exercises for beginner's students

We describe two systems that use text-davinci-003, a large language mode...

Determining Semantic Textual Similarity using Natural Deduction Proofs

Determining semantic textual similarity is a core research subject in na...

LangPro: Natural Language Theorem Prover

LangPro is an automated theorem prover for natural language (https://git...

A Survey of Paraphrasing and Textual Entailment Methods

Paraphrasing methods recognize, generate, or extract phrases, sentences,...