缺省理论的简化  

SIMPLIFICATION OF DEFAULT THEORY

作　　者：吴茂康[1] 

机构地区：[1]上海科学技术大学计算机系,上海201800

出　　处：《计算机学报》1991年第12期942-945,共4页Chinese Journal of Computers

摘　　要：缺省理论△=(D,W)中的缺省规则集D,是该理论的不确定因素.如果能去掉一些缺省规则而又不影响该理论的延伸,则就在一定程度上简化了该理论.本文证明了关于规范缺省理论的延伸的若干性质,利用这些性质,我们可以把某些规范缺省理论在一定条件下得以化简,有的甚至可以把它们化为一阶逻辑理论.The set of default rules in a default theory is the uncertain factor of thetheory. If some default rules can be deleted without affecting the original extension, the theory is considered to be simplified- In this paper, some properties of extension in a default theory are proved. Through these properties, some default theories under certain conditions can become simpler ones, even become first order theories.

关 键 词：缺省理论 缺省推理 人工智能 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]