arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2302.09646cs.AI
收藏

一种基于心智理论的可解释协作对话系统

An Explainable Collaborative Dialogue System using a Theory of Mind

Philip R. Cohen, Lucian Galescu, Maayan Shvo

AI总结:

本研究提出基于心智理论的神经符号多模态协作对话系统Eva,通过模态逻辑推理与分层规划实现用户意图推断、多方对话及可解释的言语行动生成。

摘要:

Eva是一种神经符号式、跨领域的多模态协作对话系统,它严格遵循任务型对话的核心目的——为用户提供协助。为实现这一目标,该系统通过推断用户的意图与计划开展协作,识别阻碍任务成功的障碍,寻找克服障碍或达成更高层级目标的方案,并规划自身行动(包括言语行为)以帮助用户完成这些目标。在此过程中,系统会维护自身以声明式规范定义的信念、目标与意图,并基于这些内容进行推理,同时还会对用户的信念、目标与意图开展显式推理。由于Eva能够追踪不同用户的心理状态,它可以让多个智能体参与到多方对话中。系统的推理由模态霍恩子句元解释器完成,该解释器可在其所实现的逻辑子集内实现可计算的推理。系统同时采用分层规划与反向链式规划,基于丰富的、以模态逻辑为基础的知识与行动表示运行。规划与推理子系统遵循持久目标与意图原则,具体包括:1)执行复杂行动的意图的形成与分解,2)可放弃持久目标与意图的条件,3)利用规划过程中生成的相对化公式进行持久目标与意图的修正。该系统将自身的言语行为与其他行动同等对待。这种通用方法使得Eva能够规划多种言语行为,包括请求、告知、提问、确认、提议、接受以及情感表达。由于对话引擎本质是一个规划器,随着对话推进,系统可以利用物理行动、数字行动与言语行动灵活地生成、执行,并在必要时修复其计划。尤为重要的是,Eva能够解释自身的话语,因为它生成了促使其说出这些话语的计划。

英文摘要:

Eva is a neuro-symbolic domain-independent multimodal collaborative dialogue system that takes seriously that the purpose of task-oriented dialogue is to assist the user. To do this, the system collaborates by inferring their intentions and plans, detects obstacles to success, finds plans to overcome them or to achieve higher-level goals, and plans its actions, including speech acts, to help users accomplish those goals. In doing so, the system maintains and reasons with its own declaratively-specified beliefs, goals and intentions, and explicitly reasons about those of its user. Because Eva can track different users' mental states, it can engage multiple agents in multi-party dialogues. Reasoning is accomplished with a modal Horn-clause meta-interpreter that enables computable inference within the subset of logic implemented. The system employs both hierarchical and backward-chaining planning, operating over a rich modal logic-based knowledge and action representation. The planning and reasoning subsystems obey the principles of persistent goals and intentions including: 1) The formation and decomposition of intentions to perform complex actions, 2) the conditions under which persistent goals and intentions can be given up, and 3) persistent goal and intention revision using the relativizing formulas that are created during the planning process. The system treats its speech acts just like its other actions. This general approach enables Eva to plan a variety of speech acts, including requests, informs, questions, confirmations, offers, acceptances, and emotive expressions. Because the dialogue engine is a planner, as the dialogue proceeds, the system can flexibly generate, execute, and potentially repair its plans using physical, digital, and speech actions. Importantly, Eva can explain its utterances because it has created a plan that caused it to utter them.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑