子句型自相容缺省理论的扩张

• 作者: 张明义 董明楷
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 缺省逻辑 子句型缺省理论 扩张 自相容
• 年，卷（期）: 2000,（2）
• 所属期刊栏目: 人工智能
• 页码范围: 182-187
• 页数: 6页
• 分类号: TP181
• 字数: 5715字
• 语种: 中文

摘要

自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑推理常用的方法.文中在Reiter缺省理论和张明义的自相容缺省理论的研究基础上,进一步研究了子句型闭自相容缺省理论.文中首先给出了自相容缺省理论的扩张个数的单调性定理,然后将Reiter关于正规缺省理论的证明论推广到自相容缺省理论,得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念修改的相关定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张明义		18	89	5.0	9.0
2	董明楷	西南师范大学电子与信息工程系	3	4	1.0	1.0