基于全称量词all的广义三段论的语篇推理研究

Discourse Reasoning Based on Generalized Syllogisms Including Universal Quantifier

涉及两个及以上语句的推理就是语篇推理。两个语句间的单调性推理、亚氏三段论推理、广义三段论推理都可以看作是语篇推理。两个语句间的单调性推理实则是在前提中,省略了全称肯定命题的三段论推理。利用广义量词理论、集合论等知识,可以对包括亚氏三段论在内的广义三段论进行形式化和有效性的研究。对此,有21个事实作为例证。在此基础上,可以对两个及以上的广义三段论组成的语篇推理进行形式化和有效性的研究。这些创新性研究有利于自然语言信息处理、计算机科学中的知识表示和知识推理,以及更加智能的推理机的研发。

The reasoning that involves two or more sentences is discourse reasoning. The monotony reasoning between the two sentences, Aristotelian syllogism reasoning, generalized syllogism reasoning can be garded as discourse reasoning. The monotony reasoning between the two sentences is actually a syllogism reasoning which omits universal affirmative proposition in its premises. By means of generalized quantifier theory and set theory, one can study the formalization and validity of generalized syllogism including Aristotelian syllogisms. There are 21 facts as an example. And then one can study the formalization and validity of discourse reasoning composed of two or more generalized syllogisms. These innovative research will make contributions to natural language information processing, and knowledge representation and knowledge reasoning in computer science, and developing more intelligent reasoning machines.