Researchers have developed a foundational ontology called ATFOt, based on Activity Theory, to formally represent and identify contradictions in human-robot interactions. This ontology aims to provide a computational framework for understanding errors, failures, and conflicts in dialogue-based HRI and HAI. The work includes natural language definitions, set-theoretic definitions, and first-order logic formulations of these contradictions, along with principles for guiding human-robot dialogue. AI
IMPACT Provides a formal framework for understanding and resolving errors in human-robot communication.
RANK_REASON Academic paper detailing a new ontology for HRI. [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-generated summary · Google Gemini · from 1 sources. How we write summaries →