研究人员提出基于活动理论的基础本体，用于定义人机对话中的矛盾
一项新工作旨在为人机交互中的对话矛盾提供形式化定义，初步成果包括自然语言、集合论和一阶逻辑三种表述。
AI解读：这项研究要解决的是一个基础问题：当机器人在对话中出错、失败或与人类知识冲突时，现有研究往往只针对具体场景描述这些问题，缺乏一套通用的形式化框架来定义和表示它们，导致不同系统之间难以互通。研究人员采用METHONTOLOGY方法，并借鉴活动理论，开发了一个名为ATFOt的基础本体，初步成果给出了对话和矛盾的自然语言定义、集合论定义，以及一阶逻辑表述和三条新原则。对开发人机对话系统的人来说，这套本体如果成熟，可能成为跨平台描述和排查交互矛盾的标准语言，降低不同机器人或智能体系统之间语义不一致的成本。但需要明确，这仍是初步探索，论文只有 5 页，尚未提供完整的应用验证或性能评估，真正落地到产品还有距离。
arXiv预印本论文（编号 2609.02364，2026 年 9 月 2 日首次提交，9 月 3 日更新）介绍了一项正在进行的研究：构建一个基于活动理论的基础本体，用于捕捉和表示人机交互（HRI）中的“矛盾”——作者用以统称对话式交互中出现的错误、失败、冲突和知识问题。该论文已被 2026 年国际机器人与自动化会议（ICRA 2026，奥地利）的J-WOSMARS研讨会接收。
论文核心内容
作者Maitreyee Tewari和Michele Persiani指出，现有人机交互研究关注的是识别和整理特定领域内基于对话的交互中的错误、失败、冲突和知识问题，但缺乏一个形式化的计算框架来跨HRI和人机智能体交互（HAI）领域表示和定义这些矛盾。
研究采用METHONTOLOGY（一种构建领域无关本体的系统方法）构建本体，并在概念化阶段使用活动理论的概念和模型。初步结果包括：对话及矛盾的自然语言定义、集合论定义，以及矛盾概念的一阶逻辑表述，并提出三条指导人机对话交互的新原则。
该本体名为ATFOt（Activity Theory-based foundational ontology）。