12、不一致知识库中的查询失败解释

不一致知识库中的查询失败解释

在处理知识库查询时，我们常常会遇到查询失败的情况，尤其是在知识库存在不一致性的情况下。本文将探讨如何解释这种查询失败的原因，主要聚焦于ICR语义下的规则型语言知识库。

1. 问题引入

在包含不一致知识的知识库中，用户可能会对某些查询失败感到困惑。例如，在一个关于大学教职工和学生的知识库中，用户查询“Luca是学生”却未得到肯定回答。这种情况可能出现在用户查询所有学生，而Luca未出现在结果列表中，或者用户查询知识库中是否存在学生，系统却给出否定答复。

我们将这种查询失败解释问题形式化定义为：设K为不一致知识库，Q为布尔合取查询，且K ⊭ICR Q，则P = ⟨K , Q⟩ 为查询失败解释问题（QFEP）。

为解决该问题，我们采用Dung抽象论证框架的逻辑实例，引入“澄清”和“深化”两个概念，构建一个定制的辩证解释系统，通过用户和推理机之间的对话，帮助用户理解查询为何在ICR语义下未被知识库蕴含。

2. 形式化设置

2.1 OBDA设置

对于本体表示，主要有两种方法：描述逻辑（如EL和DL - Lite家族）和基于规则的语言（如Datalog +/− ）。我们选择基于规则的语言，因为它能克服描述逻辑的局限性，允许任意谓词元数和循环结构。

2.2 语言规范

我们使用一阶逻辑的正存在合取片段FOL(∧, ∃) ，其公式由连接符(∧, →) 和量词(∃, ∀) 构建。相关定义如下：
- 项 ：常量或变量，不同常量代表不同值。
- 原子公式