Logical Semantics, Dialogical Argumentation, and Textual Entailment - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2020

Logical Semantics, Dialogical Argumentation, and Textual Entailment

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (487.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02915526 , version 1 (14-08-2020)
hal-02915526 , version 2 (09-09-2020)

Identifiants

  • HAL Id : hal-02915526 , version 1

Citer

Davide Catta, Richard Moot, Christian Retoré. Logical Semantics, Dialogical Argumentation, and Textual Entailment. Natural Language Processing in Artificial Intelligence, In press. ⟨hal-02915526v1⟩
121 Consultations
214 Téléchargements

Partager

Gmail Facebook X LinkedIn More