逻辑程序的标识更新

摘要：

逻辑程序的优势在于它的自动更新,文章明确提出了丰富更新和替换更新的两种方法,通过重新标识的方法实现Extended logicprogram的自动更新,并生成更新程序,最后提出更新以后程序的求解方法.

关键词：Extended logic program、自动更新、标识更新

所属期刊栏目：31

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金90204011;国家重点实验室基金

在线出版日期：2005-05-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：53-55