概称句词项逻辑的树图判定算法

发布时间：2018-12-18 05:38

【摘要】：概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面的考虑。回归问题的初始,关于概称句的概念理论是否还可以用于计算机科学领域,是这一研究路线所面临的问题。首先要解决的问题是,根据GAG和Gaa模型,公式的可满足性是否有能行的判定方法。对此本文给出了基于GAG语义的树图判定算法,包括相应的可靠性,完备性等证明。
[Abstract]:The formal characterization of generics begins with artificial intelligence. From the introduction of conditional implication to the establishment of the formal system of lexical logic in general-purpose sentences GAG and Gaa, mainly focus on the study of the nature of generics. This paper attempts to give a more reasonable formal description of generality sentence reasoning without considering the application of computer at the same time. At the beginning of the regression problem, whether the conceptual theory of generality sentence can be used in the field of computer science is the problem that this research route faces. The first problem to be solved is to determine whether the satisfiability of the formula is feasible according to the GAG and Gaa models. In this paper, a tree graph decision algorithm based on GAG semantics is presented, including the corresponding proof of reliability and completeness.
【作者单位】： 北京大学哲学系;
【基金】：国家社科基金重大项目“基于多学科视域的认知研究”(12&ZD119)
【分类号】：B812

【相似文献】

相关期刊论文 前10条

1 吴志雄;读《现代逻辑引论》[J];社会科学;1991年02期

2 马雷;联合演算何以可能[J];淮阴师范学院学报(哲学社会科学版);2003年03期

3 倪荫林;对三段论一条规则的质疑[J];广西社会科学;2004年04期

4 朱建平;;当代内涵逻辑的理论发展[J];苏州大学学报(哲学社会科学版);2010年03期

5 倪荫林;变形推理疑难解惑——兼析逻辑与经验之差[J];青海师范大学学报(哲学社会科学版);2005年06期

6 随利芳;;自然语言中的直言命题及其否定命题[J];重庆科技学院学报(社会科学版);2008年03期

7 孔红;;论新词项逻辑及其教学[J];西南大学学报(社会科学版);2009年03期

8 朱建平;;内涵逻辑发展的新趋势[J];山东师范大学学报(人文社会科学版);2011年02期

9 T3学梊;逻辑与真理[J];安徽大学学报(哲学社会科学版);1982年03期

10 蔡曙山;词项逻辑与亚里士多德三段论——兼复王路同志[J];哲学研究;1989年10期

相关会议论文 前10条

1 聂文龙;;内涵逻辑的对象理论建构[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

2 朱水林;;从外延逻辑到内涵逻辑——现代逻辑发展的一个重要转向[A];1994年逻辑研究专辑[C];1994年

3 张立英;周北海;;基于主谓项涵义联系的概称句推理的几个逻辑[A];2004年逻辑研究专辑[C];2004年

4 王培;;概称句的生成与评价(英文)[A];2004年逻辑研究专辑[C];2004年

5 赵总宽;;三个异于实质蕴涵的条件词[A];1993年逻辑研究专辑[C];1993年

6 罗翊重;;四大推理类型之内涵与外延间的转换[A];中国思维科学研究论文选2011年专辑[C];2012年

7 邹崇理;;论PTQ系统的意义公设[A];1995年逻辑研究专辑[C];1995年

8 邹崇理;;一个运用蒙太格语法与广义量词方法分析汉语量化词组的部分语句系统[A];1993年逻辑研究专辑[C];1993年

9 邹崇理;;MG及其发展的评价[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

10 邹崇理;;MG与GQ理论对自然语言限定词的研究[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

相关重要报纸文章 前1条

1 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年

相关博士学位论文 前3条

1 田忠锋;形式逻辑前提批判[D];吉林大学;2008年

2 史t，

本文编号：2385433