子句型缺省理论的推理算法

摘要：

@@ 1 引言
缺省理论自1980年Reiter提出之后,已成为非单调推理的热点.在缺省逻辑中,扩张的概念至为重要.Reiter对特殊的缺省理论--正规缺省理论做了许多研究,并得出了一些漂亮的结果[1].Etherington给出了生成任意有穷有序半正规缺省理论的扩张的程序[7].张明义提出缺省的一种子类--自相容缺省理论,给出了相容缺省理论和自相容缺省理论的特征,并给出了一般缺省理论的扩张及主要推理问题的算法[3].

机标关键词：子句型缺省理论、自相容、扩张、非单调推理、推理问题、缺省逻辑、种子类、半正规、特征、算法、明义、概念、程序

所属期刊栏目：28

分类号：TP39(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划863-306-05-05-5A;国家自然科学基金19861002

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

页数：共3页

页码：74-76