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

摘要：

概称句的形式刻画研究始于人工智能.从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概称句推理给出更合理的形式刻画,而没有同时兼顾计算机应用方面的考虑.回归问题的初始,关于概称句的概念理论是否还可以用于计算机科学领域,是这一研究路线所面临的问题.首先要解决的问题是,根据GAG和Gaa模型,公式的可满足性是否有能行的判定方法.对此本文给出了基于GAG语义的树图判定算法,包括相应的可靠性,完备性等证明.

关键词：概称句、词项逻辑、树图算法、内涵逻辑

所属期刊栏目：6

分类号：B81(逻辑学(论理学))

资助基金：国家社科基金重大项目“基于多学科视域的认知研究”12&ZD119

在线出版日期：2014-03-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：1-16