作　　者： ; ;

机构地区： 吉林大学计算机科学与技术学院

出　　处： 《计算机学报》 2000年第6期561-569,共9页

摘　　要： 讨论一类扩展的溯因程序 ,它包含经典否定、缺省否定、一致性约束以及溯因推理机制 .论文的主要思想是 :(1)本着限制某些假说 (包括不相容假说 )的攻击能力这样的出发点 ,定义一种更符合直观理解的“反驳”与“击败”概念 ,其中的 II-型击败关系具有动态的特点 ;(2 )首次尝试一致性约束可以引起假说间的反驳与击败 ,这使得一致性约束不再仅仅是全局性的相容约束 .基于这些思想提出的完全类语义拓展了 This paper discusses an extended version of abductive logic programs which includes classical negation, default, negation, integrity constraints and abduction. The newly defined ‘rebut relation’ and ‘defeat relation’ among hypotheses greatly strengthen the capability of attacking of all consistent hypotheses; integrity constraints can create rebuts and defeats more than check global consistency. Base on these ideas, a unified semantics framework is presented to extend the argumentation theoretical foundation for abductive logic programming.

关 键 词： 辩论理论 溯因推理 溯因逻辑程序设计

领　　域： [自动化与计算机技术] [自动化与计算机技术]