研究人员开发了一种基于活动理论的基础本体ATFOt,用于形式化表示和识别在人机交互中的矛盾。该本体旨在为理解基于对话的人机交互(HRI)和人机智能(HAI)中的错误、故障和冲突提供计算框架。该工作包括这些矛盾的自然语言定义、集合论定义和一阶逻辑公式,以及指导人机对话的原则。 AI
影响 为理解和解决人机通信中的错误提供了一个形式化框架。
排序理由 学术论文,详细介绍了一种新的人机交互本体。[lever_c_demoted from research: ic=1 ai=1.0]
- Activity Theory
- arXiv
- ATFOt
- first-order logic
- Hugging Face
- Human-Robot Interaction Using Affective Cues
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →