计算知识库更新的一种诱导框架
摘要：推广的推理（Abstract） 拓展型二分型程序代表的知识库更新的推理框架。先从推理程序简化到以逻辑程序表示对续推理的改变的更新程序。拓展的推理是一种介绍给相同作者的传统推理的涵盖的泛化，通过更新程序的答案集计算。跟进，不同更新类型，如视图更新和理论更新用推理程序来表征并且通过更新程序计算。一致性恢复的任务也被作为这些更新的特殊情况实现。从计算复杂性的角度对每个更新问题的相关度综合评估。本文的结果提供了一个统一的框架，用于不同类型的知识库更新，并使用现有的逻辑编程过程来计算每个更新。
作者：Chiaki Sakama, Katsumi Inoue
论文ID：cs/0405076
分类：Databases
分类简称：cs.DB
提交时间：2007-05-23