关于D.W.Etherington的扩充产生算法的一个注记  

Note on D.W.Etherington’s Procedures for Generating Extensions

作　　者：苏开乐[1] 

机构地区：[1]汕头大学计算机科学研究所

出　　处：《计算机工程与科学》1998年第4期37-41,60,共6页Computer Engineering & Science

基　　金：广东省自然科学基金;国家自然科学基金;863计划项目

摘　　要：Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎ提出了一类总是有扩充的缺省理论，即有限有序缺省理论，同时使用接连近似的方法给出产生这类缺省理论的所有扩充的算法，并证明该算法对有限有序网络缺省理论总是收敛到一扩充。本文首先举例说明Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎｄ的算法对一般的有限有序缺省理论并非总是收敛，然后给出了该算法对一般的有限有序缺省理论收敛的一个充分条件。D.W.Etherington presented a class of default theories called finite ordered default theory,and proposed a procedure to generate all extensions of such default theories.He also proved that this procedure always converges on an extension for finite ordered network theories.In this paper we show by giving an example that D.W.Etherington’s procedure is not convergent for general finite ordered default theories.Moreover,we give a sufficient condition under which the procedure is always convergent for finite ordered default theories.

关 键 词：知识表示 缺省逻辑 有序缺省理论 人工智能 

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