Updating Extended Logic Programs through Abduction
Updating Extended Logic Programs through Abduction
复制标题
通过溯因更新扩展逻辑程序
DOI：
10.1007/3-540-46767-x_11
复制
发表时间：
1999
影响因子：
13.3
通讯作者：
Katsumi Inoue
中科院分区：
文献类型：
--
作者：
Chiaki Sakama;Katsumi Inoue
本文介绍了用扩展逻辑程序表示的知识库的更新技术。我们考虑了三种不同类型的更新，即视图更新、理论更新和不一致消除。我们通过推导来表示这些更新，并提供了用更新程序计算它们的方法。更新程序是一个扩展的逻辑程序，它规定了对溯因假设的改变，然后通过更新程序的U-极小答案集来计算更新。提出的技术为这些不同类型的更新提供了统一的框架，并且每次更新都是使用现有的逻辑编程过程来计算的。
This paper introduces techniques for updating knowledge bases represented in extended logic programs. Three different types of updates, view updates, theory updates, and inconsistency removal, are considered. We formulate these updates through abduction, and provide methods for computing them with update programs. An update program is an extended logic program which specifies changes on abductive hypotheses, then updates are computed by the U-minimal answer sets of an update program. The proposed technique provides a uniform framework for these different types of updates, and each update is computed using existing procedures of logic programming.