期刊文章详细信息
关于D.W.Etherington的扩充产生算法的一个注记
Note on D.W.Etherington’s Procedures for Generating Extensions
文献类型：期刊文章
机构地区：[1]汕头大学计算机科学研究所
基 金：广东省自然科学基金;国家自然科学基金;863计划项目
年 份：1998
卷 号：20
期 号：4
起止页码：37-41
语 种：中文
收录情况：CSCD、CSCD2011_2012、INSPEC、JST、ZGKJHX、普通刊
摘 要：Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎ提出了一类总是有扩充的缺省理论，即有限有序缺省理论，同时使用接连近似的方法给出产生这类缺省理论的所有扩充的算法，并证明该算法对有限有序网络缺省理论总是收敛到一扩充。本文首先举例说明Ｄ．Ｗ．Ｅｔｈｅｒｉｎｇｔｏｎｄ的算法对一般的有限有序缺省理论并非总是收敛，然后给出了该算法对一般的有限有序缺省理论收敛的一个充分条件。
关 键 词：知识表示 缺省逻辑 有序缺省理论 人工智能
分 类 号：TP18]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
