基于规则的冲突事实偏好指定与不一致知识库查询方法

修复语义作为获取不一致知识库 (KB) 上查询有意义答案的手段已被广泛研究。虽然已有多项工作考虑如何利用事实之间的优先级关系来选择最优修复，但关于如何指定此类偏好关系的问题仍鲜有被探讨。这促使我们引入一个声明式规则框架，用于指定和计算冲突事实之间的优先级关系。由于所表达的偏好可能包含不可取的循环，我们考虑确定一组偏好规则是否总能产生无环关系的问题，并还探索了一种务实方法，通过应用各种循环消除技术来提取无环关系。为构建面向不一致 KB 查询的端到端系统，我们呈现了一个初步实现及其实验评估。该框架采用答案集程序来评估偏好规则、应用所需的循环解决技术以获得优先级关系，并在优先级修复语义下回答查询。