32、形式化解释性对话

形式化解释性对话

1. 引言

智能系统解释功能的设计是人工智能领域的一个活跃研究方向和广泛认可的问题。在多智能体系统中，不同类型的对话被提出，如协商对话处理资源限制问题，审议对话处理协作行动规划，说服对话处理意见冲突解决。

当涉及到自主智能体之间的解释时，辩证解释性对话的概念被提出，以在名为CE的辩证系统中形式化解释性对话。其目标是让解释接受者理解双方都认可为真的事物。在此基础上，本文旨在提供一个名为ECE系统（扩展CE系统）的解释性对话形式框架，对CE系统进行扩展和泛化，主要体现在以下两个方面：
- 泛化 ：泛化了CE系统的顺序协议，引入更灵活的协议（自由协议），允许解释者和解释接受者回溯到对话的早期阶段。同时，给出了ECE中辩证转换的一般说明，并以向论证性对话的转换为例，便于对解释进行争论。
- 扩展 ：引入承诺和理解存储，以避免循环和不一致的解释，并判断解释的成功与否。允许解释接受者在无法理解解释中的某些内容时进行嵌套解释请求和反馈。

2. 背景

2.1 论证性对话（ARG系统）

论证性对话系统（ARG）是一个多玩家轮流进行的游戏，参与者包括支持者和反对者，他们围绕一个陈述进行赞成或反对的论证。该系统具有以下要素：
- 语言和逻辑 ：有主题语言$L_t$、逻辑$L$、上下文$K \subseteq L_t$（假设在整个对话中一致）和主题$T \in L_t$。$L_t$是逻辑语言，其合式公式用希腊字母表示。逻辑$L$是符合Dung理论的论证逻辑，其中论证可以被攻击和防御。
-