论文标题
逻辑语义，对话论证和文本
Logical Semantics, Dialogical Argumentation, and Textual Entailment
论文作者
论文摘要
在本章中，我们介绍了一个新的对话系统，用于一阶古典逻辑，该系统接近自然语言论证，我们证明了它在通常的经典有效性方面的完整性。我们将对话系统与第二作者开发的Grail句法和语义解析器相结合，以解决自动化的文本构成，也就是说，我们将其用于确定句子是否是短文的结果。这项工作 - 将自然语言语义和论证与对话逻辑范围连接起来，被视为迈向推断主义自然语言语义观点的一步。
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.
