|
| 自然语言语篇推理的形式化探究 |
| Formal Research on Discourse Reasoning in Natural Language |
| |
| DOI： |
| 中文关键词: 广义量词 语篇推理 传统三段论 广义三段论 |
| 英文关键词: |
| 基金项目:国家社会科学基金项目（15XYY012） |
|
| 摘要点击次数: 1436 |
| 全文下载次数: 0 |
| 中文摘要: |
| 不论是对自然语言信息处理，还是对计算机科学中的知识表示和知识推理而言，自然语篇推理既是不可回避的研究重点，也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上，既可以对基于传统三段论的语篇推理的有效性加以判定，也可以对基于广义三段论的语篇推理的有效性加以判定。换言之，利用广义量词理论可以形式化地解释和证明自然语言语篇推理。 |
| 英文摘要: |
| Both for natural language information processing and for knowledge representation and reasoning in computer science, the discourse reasoning in natural language is the inescapable emphasis and difficulty. On the basis of the formalization for discourse reasoning by means of the generalized quantifier theory, both the validity of discourse reasoning based on traditional syllogisms and the validity of discourse reasoning based on generalized syllogisms can be judged. In other words, the discourse reasoning in natural language can be formally explained and proven by means of the generalized quantifier theory. |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
