发表机构
Nord A1; Alternative Intelligence LLP; University of Bologna（Nord A1; Alternative Intelligence LLP; 博洛尼亚大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本研究基于活动理论构建名为ATFOt的基础本体，解决了人机交互领域缺乏可跨域互操作的矛盾表示框架的问题，给出了矛盾的多形式定义及交互指导原则。
AI 中文摘要
现有人机交互（HRI）文献已聚焦于识别和结构化领域特定对话交互中的错误、故障、冲突及知识问题（本研究中统称为矛盾），但仍缺乏可在HRI与人机代理交互（HAI）领域间互操作且可用的形式化计算框架来表示和定义这些矛盾。因此，本研究项目旨在在基础本体中捕获、表示和评估（1）基于对话的协作交互及（2）相关矛盾的概念。研究采用了构建领域无关本体的系统方法METHONTOLOGY，在本体的概念化阶段使用了活动理论的概念与模型。本短文呈现的初步结果包括：（i）HRI中对话及相关矛盾的自然语言定义，（ii）对话与矛盾的集合论定义，（iii）矛盾概念的一阶逻辑（FoL）表述，以及指导人与机器人之间基于对话交互的三项新原则。综上，本文报告了基于活动理论开发名为基于活动理论的基础本体（ATFOt）的正在进行的工作，以捕获和表示HRI中的矛盾概念。
英文摘要
Existing Human-Robot Interaction (HRI) literature has focused on identifying and structuring errors, failures, conflicts, and knowledge issues (called in this work as contradictions) in domain-specific dialogue-based interactions. However, there is still lack of a formal computational framework to represent and define these contradictions, interoperable and usable across HRI and human-agent interaction (HAI) domains. Thus, this research project aims to capture, represent, and evaluate the notion of (1) dialogue-based collaborative interaction and (2) related contradictions in a foundational ontology. METHONTOLOGY, a systematic approach to build domain-independent ontologies was applied. In the conceptualisation stage of the presented ontology, concepts and models from Activity Theory were used. Preliminary results presented in this short article are: (i) Natural language definitions of dialogues and related contradictions in HRI, (ii) Set Theoretic definitions of dialogues and contradictions, and (iii) First Order Logic (FoL) formulation of the contradiction concepts and three novel principles guiding dialogue-based interactions between humans and robots. In summary, we report on ongoing work to develop a foundational ontology based on Activity Theory called Activity Theory-based foundational ontology (ATFOt) to capture and represent the notion of contradictions in HRI.
Comments5 pages, 1 figure, Accepted at the 2nd edition of the Joint Workshop on Ontologies, Semantic Maps and Autonomous Robotics Standardization (J-WOSMARS 2026) collocated with ICRA 2026, Austria
