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

作者：周北海; 马丽

来源：逻辑学研究, 2013, 6(4): 1-16.

DOI：10.3969/j.issn.1674-3202.2013.04.001

• 概称句
• 词项逻辑
• 树图算法
• 内涵逻辑

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

• 单位
  北京大学