8、基于论证的SameAs语句解释

基于论证的SameAs语句解释

1. 解释框架

当SameAs语句出现问题时，向专家展示导致该问题的行为和负面条件是很有必要的。这里介绍一种专门为不一致知识库中ICR语义下的查询失败解释问题设计的解释框架。

下面通过一个示例来理解：
| 角色 | 对话表述 |
| ---- | ---- |
| 用户 | 为什么Linda不在统计部门工作（worksIn(Linda, Statistics)）？ |
| 推理器 | 因为Linda在会计部门工作。 |
| 用户 | 请解释一下？ |
| 推理器 | 因为Linda使用办公室o1，而o1位于会计部门，所以Linda在会计部门工作。 |
| 用户 | 这有什么问题？ |
| 推理器 | 违反了以下负约束：∀x∀y∀z (worksIn(x, y) ∧ worksIn(x, z) ∧ y ≠ z) → ⊥。 |
| 用户 | 明白了。 |

这个示例虽未直接涉及SameAs，但展示了理想解释框架的特点：每次交互需遵循特定规则，使用预定义的表述（如“明白了”“请解释”“为什么”等）；所有信息以论证或论证的细化形式呈现；采用轮流机制，用户和推理器在每个阶段交替发言。

接下来将对对话系统和合法对话进行形式化定义，为此需要定义必要的语法和语义。

2. 语法

• 对话系统定义 ：给定查询失败解释问题（QFEP）Π = ⟨K, Q⟩，其对话系统D是一个元组D = (Π, Pr, U, R)，其中：
• Π是对话主题，即让用户理解在知