| 自然语言语篇推理的形式化探究 |
| |
| 引用本文： | 郝一江.自然语言语篇推理的形式化探究[J].湖南科技大学学报(社会科学版),2016,19(1):33-37. |
| |
| 作者姓名： | 郝一江 |
| |
| 作者单位： | 1.中国社会科学院 哲学研究所，北京 100732；2.华中科技大学 哲学系，湖北 武汉 430074 |
| |
| 基金项目： | 国家社会科学基金项目（15XYY012） |
| |
| 摘 要： | 不论是对自然语言信息处理，还是对计算机科学中的知识表示和知识推理而言，自然语篇推理既是不可回避的研究重点，也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上，既可以对基于传统三段论的语篇推理的有效性加以判定，也可以对基于广义三段论的语篇推理的有效性加以判定。换言之，利用广义量词理论可以形式化地解释和证明自然语言语篇推理。
|
| 关 键 词： | 广义量词 语篇推理 传统三段论 广义三段论 |
Formal Research on Discourse Reasoning in Natural Language |
| |
| HAO Yi-jiang.Formal Research on Discourse Reasoning in Natural Language[J].journal of hunan university of science&technology,2016,19(1):33-37. |
| |
| Authors: | HAO Yi-jiang |
| |
| Abstract: | 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. |
| |
| Keywords: | |
|
| 点击此处可从《湖南科技大学学报(社会科学版)》浏览原始摘要信息 |
| 点击此处可从《湖南科技大学学报(社会科学版)》下载免费的PDF全文 |
