摘要
不论是对自然语言信息处理,还是对计算机科学中的知识表示和知识推理而言,自然语篇推理既是不可回避的研究重点,也是研究的难点。在利用广义量词理论对语篇推理进行形式化的基础上,既可以对基于传统三段论的语篇推理的有效性加以判定,也可以对基于广义三段论的语篇推理的有效性加以判定。换言之,利用广义量词理论可以形式化地解释和证明自然语言语篇推理。
Both for natural language information processing and for knowledge representation and reason- ing 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 aiscourse 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.
出处
《湖南科技大学学报（社会科学版）》
CSSCI
北大核心
2016年第1期33-37,共5页
Journal of Hunan University of Science and Technology(Social Science Edition)
基金
国家社会科学基金项目(15XYY012)
关键词
广义量词
语篇推理
传统三段论
广义三段论
generalized quantifiers
discourse reasoning
traditional syllogisms
generalized syllogisms
