[论文解读] Goal-oriented Dialog as a Collaborative Subordinated Activity involving Collective Acceptance

Sylvie Saget, Marc Guyomard|arXiv (Cornell University)|May 27, 2008

Multi-Agent Systems and Negotiation参考文献 16被引用 4

一句话总结

本文提出将集体接受（Collective Acceptance）作为一种形式化的社会心理状态，用于建模目标导向对话中的会话共同基础（Conversational Common Ground），提供了一种比共享信念更合理、计算开销更低的替代方案。它将指代行为形式化为受相互接受概念契约所支配的协作性从属活动，展示了对齐如何通过语用性、情境敏感的协调机制产生，而非依赖于强认识论承诺。

ABSTRACT

Modeling dialog as a collaborative activity consists notably in specifying the content of the Conversational Common Ground and the kind of social mental state involved. In previous work (Saget, 2006), we claim that Collective Acceptance is the proper social attitude for modeling Conversational Common Ground in the particular case of goal-oriented dialog. In this paper, a formalization of Collective Acceptance is shown, besides elements in order to integrate this attitude in a rational model of dialog are provided; and finally, a model of referential acts as being part of a collaborative activity is presented. The particular case of reference has been chosen in order to exemplify our claims.

研究动机与目标

• 为解决使用强认识论状态（如共享信念）建模会话共同基础（CCG）的局限性，这些状态计算复杂且并非总是必要。
• 主张集体接受（定义为对概念契约的相互协调接受）是建模目标导向对话中CCG的更合适选择。
• 将指代行为形式化为理性对话模型中协作性、从属性的活动。
• 提供一种框架，使对齐通过语用性、情境敏感的协调实现，而非通过完整的相互信念状态。
• 证明该模型在避免过度强调认识论承诺的同时，仍能支持对话中的有效协调。

提出的方法

• 将集体接受定义为一种社会心理状态，其中参与者相互接受一个概念契约（例如，对指代对象的描述），而无需要求完全的相互信念或嵌套信念结构。
• 将指代行为形式化为涉及说话者与听者意图的协作过程：识别（选定指代对象）与对齐（确认相互理解）。
• 引入双重元目标结构：对说话者而言，是意图与集体接受的协调；对听者而言，是对可能指代对象的存在性量化。
• 使用逻辑形式化表示相互信念（MBel）与信念（Bel）状态，区分说话者对其相互信念的信念与实际的共同理解。
• 将对话建模为从属活动，其中任务层级目标（如在某地会面）通过建立概念契约的会话行为来协调。
• 将该框架应用于具体案例：汤姆与劳拉通过描述协商会面地点，该描述需澄清并最终被接受。

实验结果

研究问题

• RQ1 为何在目标导向对话中使用共享信念或嵌套信念来建模会话共同基础（CCG）存在问题？
• RQ2 集体接受如何作为强认识论状态在对话建模中更合适且计算开销更低的替代方案？
• RQ3 指代行为在何种意义上本质上是协作性的，并从属于对话的任务层级目标？
• RQ4 对齐过程如何通过概念契约而非完整相互信念来实现？
• RQ5 何种形式化机制可建模对话中从识别失败到成功接受的过渡？

主要发现

• 集体接受比共享信念或较弱信念状态更准确且计算效率更高，是建模会话共同基础（CCG）的更优选择。
• 案例表明，当劳拉未能识别指代对象时，她会触发澄清请求，表明接受依赖于成功识别。
• 汤姆提供修订后的描述后，劳拉予以接受，形成集体接受：$CollAcc_{Laura,Tom}(referedBy(\theta x.\theta'(x), l'))$，从而建立相互理解。
• 该模型通过一系列协作行为实现相互理解（$MBel_{Laura,Tom}(meetingPlace = l')$）与任务协调，而非依赖完整的认识论承诺。
• 该框架成功将对齐建模为动态、情境敏感的过程，避免了完整信念系统带来的高复杂度。
• 集体接受即使在相互信念未完全确立的情况下，也能支持灵活、实时的对话协调，实现有效沟通。