计算知识库更新的溯因框架
数据库
2007-05-23 v1
摘要
本文引入了一个溯因框架，用于更新由扩展析取程序表示的知识库。我们首先提供了一种从溯因程序到更新程序的简单转换，其中更新程序是指定关于溯因假设变化的逻辑程序。然后，由同一作者作为传统溯因的推广而引入的扩展溯因，通过更新程序的回答集进行计算。接下来，不同类型的更新、视图更新和理论更新由溯因程序刻画，并由更新程序计算。一致性恢复任务也被实现为这些更新的特殊情况。每个更新问题都从计算复杂度的角度进行了比较评估。本文的结果为不同类型的知识库更新提供了一个统一框架，并且每次更新都使用现有的逻辑编程过程进行计算。
引用
@article{arxiv.cs/0405076,
title = {An Abductive Framework For Computing Knowledge Base Updates},
author = {Chiaki Sakama and Katsumi Inoue},
journal= {arXiv preprint arXiv:cs/0405076},
year = {2007}
}
备注
Appeared in Theory and Practice of Logic Programming, vol. 3, no. 6, 2003