逻辑语义学、对话论证与语篇蕴涵
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
