23、抽象对话框架与乌托邦协作语义解析

抽象对话框架与乌托邦协作语义解析

1. 抽象对话框架基础

在对话场景中，通常涉及三种语言：用于表达代理间交换信息的知识表示语言 $L$、表达引发对话主题的主题语言 $L_T$ 以及表达最终结论的结果语言 $L_O$。为便于示例说明，这些抽象语言会在命题逻辑编程（PLP）及其带有失败否定扩展（PLPnaf）的上下文中实例化。同时，还存在用于代理标识符的语言 $L_I$。

• 移动（Move） ：移动定义为一个对 $\langle id, X \rangle$，其中 $id \in L_I$ 是发言者的标识符，$X \subseteq L$ 是其贡献内容。
• 对话（Dialogue） ：对话是一个元组 $\langle t, \langle m_j \rangle, o \rangle$，其中 $t \in L_T$ 是对话主题，$\langle m_j \rangle$ 是移动序列，$o \in L_O$ 是对话结果。

为研究对话行为，引入抽象对话框架，它包含对话涉及的语言、参与代理集合、相关性概念和推理模型。

元素	描述
$L$	知识表示语言
$L_T$	主题语言
$L_O$