Towards a Foundational Ontology for Identifying and Resolving Contradictions in Dialogue-based Human-Robot Interactions

• URL: http://arxiv.org/abs/2609.02364v2
• Date: Thu, 03 Sep 2026 10:34:48 GMT
• Title: Towards a Foundational Ontology for Identifying and Resolving Contradictions in Dialogue-based Human-Robot Interactions
• Abstract summary: There is still lack of a formal computational framework to represent and define contradictions in HRI and human-agent interaction domains.<n>This research project aims to capture, represent, and evaluate the notion of dialogue-based interaction and related contradictions in an ontology.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: 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.

Related papers

• Bridging Talk and Thought: Understanding Dialogue Dynamics Across Collaborative Problem-Solving Contexts [57.79777631004424]
  We present a conceptual framework for analyzing dialogue in collaborative problem-solving contexts.<n>Our framework integrates cognitive and non-cognitive problem solving with metacognitive regulatory mechanisms.
  arXiv  Detail & Related papers  (2026-06-25T16:20:49Z)
• A Taxonomy of Conceptual Alignment in Human-Robot Dialogue [11.160627282474694]
  This paper argues for a design-centric understanding of conceptual alignment as a bidirectional and co-constructive process.<n>We introduce a taxonomy that characterizes conceptual alignment dialogues along what triggers its initiation and what level(s) of conceptual understanding it concerns.
  arXiv  Detail & Related papers  (2026-06-21T07:03:54Z)
• When Contextual Inference Fails: Cancelability in Interactive Instruction Following [51.2195840589474]
  We introduce Build What I Mean, an interactive benchmark for contextual meaning construction.<n>In BWIM, models must resolve ambiguity by either performing a contextual inference or requesting clarification at a small communication cost.<n>We observe suboptimal strategies, such as partner-blind over-clarification and question-averse guessing under uncertainty.
  arXiv  Detail & Related papers  (2026-03-20T14:46:59Z)
• Uncertainty, Vagueness, and Ambiguity in Human-Robot Interaction: Why Conceptualization Matters [11.65060182964011]
  Uncertainty, vagueness, and ambiguity are closely related and often confused concepts in human robot interaction (HRI)<n>In earlier studies, these concepts have been defined in contradictory ways and described using inconsistent terminology.<n>This paper proposes a consistent conceptual foundation for the challenges of uncertainty, vagueness, and ambiguity in HRI.
  arXiv  Detail & Related papers  (2026-03-10T11:46:25Z)
• The Belief-Desire-Intention Ontology for modelling mental reality and agency [0.15115553092933548]
  The Belief-Desire-Intention (BDI) model is a cornerstone for representing rational agency in artificial intelligence and cognitive sciences.<n>This paper presents a formal BDI Ontology that captures the cognitive architecture of agents through beliefs, desires, intentions, and their dynamic interrelations.
  arXiv  Detail & Related papers  (2025-11-21T11:30:17Z)
• Noosemia: toward a Cognitive and Phenomenological Account of Intentionality Attribution in Human-Generative AI Interaction [4.022364531869169]
  This paper introduces and formalizes Noosemia, a novel cognitive-phenomenological pattern emerging from human interaction with generative AI systems.<n>We propose a multidisciplinary framework to explain how, under certain conditions, users attribute intentionality, agency, and even interiority to these systems.
  arXiv  Detail & Related papers  (2025-08-04T17:10:08Z)
• Dialectical Reconciliation via Structured Argumentative Dialogues [14.584998154271512]
  Our framework enables dialectical reconciliation to address knowledge discrepancies between an explainer (AI agent) and an explainee (human user) Our findings suggest that our framework offers a promising direction for fostering effective human-AI interactions in domains where explainability is important.
  arXiv  Detail & Related papers  (2023-06-26T13:39:36Z)
• Modeling Hierarchical Reasoning Chains by Linking Discourse Units and Key Phrases for Reading Comprehension [80.99865844249106]
  We propose a holistic graph network (HGN) which deals with context at both discourse level and word level, as the basis for logical reasoning. Specifically, node-level and type-level relations, which can be interpreted as bridges in the reasoning process, are modeled by a hierarchical interaction mechanism.
  arXiv  Detail & Related papers  (2023-06-21T07:34:27Z)
• DiPlomat: A Dialogue Dataset for Situated Pragmatic Reasoning [89.92601337474954]
  Pragmatic reasoning plays a pivotal role in deciphering implicit meanings that frequently arise in real-life conversations. We introduce a novel challenge, DiPlomat, aiming at benchmarking machines' capabilities on pragmatic reasoning and situated conversational understanding.
  arXiv  Detail & Related papers  (2023-06-15T10:41:23Z)
• Active Inference in Robotics and Artificial Agents: Survey and Challenges [51.29077770446286]
  We review the state-of-the-art theory and implementations of active inference for state-estimation, control, planning and learning. We showcase relevant experiments that illustrate its potential in terms of adaptation, generalization and robustness.
  arXiv  Detail & Related papers  (2021-12-03T12:10:26Z)
• I like fish, especially dolphins: Addressing Contradictions in Dialogue Modeling [104.09033240889106]
  We introduce the DialoguE COntradiction DEtection task (DECODE) and a new conversational dataset containing both human-human and human-bot contradictory dialogues. We then compare a structured utterance-based approach of using pre-trained Transformer models for contradiction detection with the typical unstructured approach.
  arXiv  Detail & Related papers  (2020-12-24T18:47:49Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.