Paper deep dive
Towards a Foundational Ontology for Identifying and Resolving Contradictions in Dialogue-based Human-Robot Interactions
Maitreyee Tewari, Michele Persiani
Intelligence
Status: succeeded | Model: Gemma-4-26B-A4B | Prompt: intel-v1 | Confidence: 95%
Last extracted: 9/3/2026, 4:29:00 AM
Summary
This paper proposes Activity Theory-based Foundational Ontology (ATFOt), a formal computational framework for representing and resolving contradictions in dialogue-based Human-Robot Interaction (HRI) and Human-Agent Interaction (HAI). Using METHONTOLOGY and Activity Theory, the authors define contradictions (errors, conflicts, knowledge issues) through Set Theory and First Order Logic, categorizing them into four levels (primary, secondary, tertiary, quaternary) and establishing three principles for how contradictions transform activity systems.
Entities (10)
Relation Signals (10)
ATFOt → isbasedon → Activity Theory
confidence 98% · we report on ongoing work to develop a foundational ontology based on Activity Theory called Activity Theory-based foundational ontology (ATFOt)
Engeström’s Activity System Model → isusedin → ATFOt
confidence 97% · Engestrom’s Activity System Model (ASM) ... were used as a foundational theory in the conceptualisation
Contradiction → includestypes → Secondary Contradiction
confidence 96% · Secondary Contradictions emerge between different constitutive components of an ASM
Contradiction → includestypes → Primary Contradiction
confidence 96% · Primary Contradictions reside within the components of an ASM
Contradiction → includestypes → Tertiary Contradiction
confidence 96% · Tertiary Contradictions appear when the activity system is reshaped
Contradiction → includestypes → Quaternary Contradiction
confidence 96% · Quaternary Contradictions Takes shape when the transformed activity system interacts with its partner activities
ATFOt → usesmethodology → METHONTOLOGY
confidence 95% · METHONTOLOGY, a systematic approach to build domain-independent ontologies was applied.
ATFOt → formalizesusing →
Cypher Suggestions (0)
No Cypher suggestions yet.
Abstract
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.
Tags
Links
- Source: https://arxiv.org/abs/2609.02364v1
- Canonical: https://arxiv.org/abs/2609.02364v1
Trouble viewing inline? Open PDF directly →
Full Text
29,231 characters extracted from source content.
Expand or collapse full text
Towards a Foundational Ontology for Identifying and Resolving Contradictions in Dialogue-based Human-Robot Interactions Maitreyee Tewari Affiliation: Nord A1, Sweden Alternative Intelligence LLP Bologna, Italy ORCID: 0000-0002-3036-6519 Michele Persiani Affiliation: Department of Informatics University of Bologna Bologna, Italy ORCID: 0000-0001-5993-3292 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 knowledge graphs was applied. In its conceptualisation stage concepts and models from Activity Theory were used. Preliminary results presented in this work are (i) natural language definitions of concepts relevant to contradictions, (i) Set Theoretic definitions of those concepts, and (i) First Order Logic (FoL) formulation of the contradiction concepts and three novel principles guiding human dialogue-based interactions with agents. 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. Index Terms: Knowledge Issues, Conflicts, Activity Theory, Engeström’s Activity System Model, Contradictions, Human-Robot Interaction, Human-Agent Interaction, Knowledge Representation, Foundational Ontologies, First Order Logic, Set Theory. I Introduction Large Language Models (LLM) have been shown to generate coherent and contextual text similar to human level language generation capabilities. LLMs integrated in virtual assistants (VAs) such as Alexa, Siri, and ChatGPTs have surpassed human expectations in query-based interactions[1]. This success of LLMs with VAs prompted the sudden and rapid integration of LLMs in dialogue-based HRI[2, 3, 1]. However, this integration of LLMs in HRI merely underscored the already existing limitations such as lack of understanding about the semantics, intent, and norms, lack of contextual knowledge, strategies to manage errors and uncertainties (HRI)[3, 4]. Furthermore, researcher’s[5] found that LLM technology’s limitation of confabulation, (i.e., to generate seemingly coherent yet false and manufactured information[6]) coupled with inconsistent and lack of uncertainty expressions makes them incompetent for ethical HRI. These findings adds to the already existing complex problems of unpredictability in dialogue-unfolding that generally causes communication failures, speech errors, knowledge issues, and conflicts in dialogue-based HRI[7, 8, 4, 9, 10]. To address failures, knowledge issues, and conflicts, researchers have proposed taxonomies representing HRI failures related to capabilities of robots[10], social errors[7], and conflicts and knowledge issues[11]. Methods to identify and manage failures through speech and gestures[12], interaction patterns[1]; conflict of intentions using Answer Set Programming[13] have been proposed. Given this prior work, however, there is still a lack of structured and granular knowledge representation of communication errors and failures, conflicts, and knowledge issues arising in dialogue-based HRI. Therefore, the objective of this research is to formally represent the knowledge of dialogue-based interactions (HRI and HAI) and related communication errors, conflicts, and knowledge issues with a foundational ontology. Following the naming convention from Activity Theory, that describes human activity as purposeful, evolving and transforming the actor and the subjective world[14, 15, 16],) this work refers to errors, knowledge issues, and conflicts as contradictions[17, 18, 19]. In the rest of the article, knowledge issues and conflicts will be called collectively as contradictions. The work presented in this article, partially fulfilling the research objective, explores the research question: How can we create a general representation of contradictions in dialogue-based HRI within a foundational ontology? To address the research question, activity analysis using the Activity System Model and the concept of contradictions from activity theory was conducted on HRI [8] and HAI (digital and virtual agent)[20, 21] scenarios. These scenarios embedded varying types of contradictions. The analysis informed the development of a foundational ontology encoding a hierarchy of contradictions representing errors, conflicts, and knowledge issues for dialogue-based HRI and HAI. The hierarchy categorises these conflicts and knowledge issues at four levels of abstraction (similar to the four levels of contradictions in activity theory). The contribution of this article is a novel formal knowledge representation of contradictions and three novel principles guiding and transforming the dialogue-based interactions and the involved participants. The rest of the article is structured as follows. Section I briefly presents the methodology being applied to develop the ontology. The formal specification of contradictions using Set Theory and First Order Logic (FoL) and relevant definitions from the ontology are presented in Section I. Section IV concludes the article, informing the status and research contributions of the work. I Methodology To develop the ontology, METHONTOLOGY[22] provides six activities that need to be performed: (1) specification, (2) knowledge acquisition, (3) conceptualisation, (4) integration, (5) implementation, and (6) evaluation. The specification activity defines the purpose and use-case, the level of formality, scope, characteristics, and granularity of the ontology. The outcome is a specification document in natural language. Conceptualisation structures the domain knowledge in a conceptual model describing the problem and the solution in the specification document. During integration, concepts of the developed conceptual model are mapped to existing meta ontologies. The outcome is a document associating the terms in the referenced meta ontologies to model’s concepts. The development activity commences by formally representing the concepts using logic-based methods. Then a language and an appropriate environment to develop the ontology is selected. We are using Set Theory and First Order Logic to formally define and represent the contradictions concepts. Protege is being used to implement and evaluate the ontology. In the evaluation activity, the ontology is inspected by verifying its correctness (verification process) and validating that the ontology represents the intended system knowledge [22]. Figure 1 illustrates the phases of METHONTOLOGY adopted in this work to build the ontology. The ontology was developed using all the five stages. The integration stage is embedded within the first and second phases of specification and conceptualisation. Fig. 1: Central phases of METHONTOLOGY illustrated in white boxes. The other additional phases of knowledge acquisition, implementation, and documentation are illustrated in grey with the darker gradient implying higher activity in the corresponding phases. The figure is an adaptation from [22] modified using another ontology design workflow introduced recently in [23].**Copyright Esteban Guerrero. I Formalization of Contradictions I-A Defining Object Properties and First Order Logic Formalism Object is an instantiation of desires and intentions of an entity. Objects exist in a hierarchy. At the highest complexity level the object is the motive that an entity wants to attain. At lower levels its the goals of actions, through which the subject is interacting with the world, which can also be represented as physical affordances (as defined by Gibson [24]) in this article [25, Chp. 3]. Then an object can formally be defined as: Definition I.1 (Object). Let DnD_n be the set of all the desires of an entity, InI_n be the set of all the intentions, GnG_n represent goals of an entity, and PnP_n be all the physical affordances ([24]). The object is composed of multiple levels, each one comprised of needs, desires, intentions, goals and physical affordances. Each level n of the object can be described as a tuple ⟨n,Dn,In,Gn,Pn⟩ _n,D_n,I_n,G_n,P_n , where: nN_n : the set of needs at level n DnD_n : the set of desires at level n InI_n : the set of intentions at level n GnG_n : the set of goals at level n PnP_n : the set of affordances at level n Levels of abstraction of the object are connected from a level to the next, by the following function: fN:n→Dn+1f_N:N_n→ D_n+1 fN:Dn→In+1f_N:D_n→ I_n+1 fN:In→Gn+1f_N:I_n→ G_n+1 fN:Gn→Pn+1f_N:G_n→ P_n+1 ,D,I,G,PN,\ D,\ I,\ G,\ P have their own sets Actors are sentient entities (specifically, humans) living and acting in the world to fulfil their needs. An actor becomes a subject when they have both “the ability and need to act” transforming the world and the self by acting in it. Subject can be an individual or subgroup [18]. We expand the definition of subject to include insentient entities such as software, digital and embodied agents driven by artificial intelligence that have agency, and adopt or support human goals. These insentient entities can transform the world, but may or may not have the capability to change themselves. Definition I.2 (Subject). Let actors A be the set of all the sentient (humans and animals) S=s1,s2…,siS=\s_1,s_2…,s_i\ and insentient entities (software, virtual, embodied, and digital agents) E=e1,e2…,ejE=\e_1,e_2…,e_j\, such that A⊆S∪EA S∪ E. Then a specific subject is an actor given as sbj∈Asbj∈ A. Mediating Artefacts are the symbols, signs, and understanding of the concepts used by the subject to mediate with the objects [26]. They have a function to reverse the action, transforming the psychological operations to new forms, allowing the humans to “control their behaviour from the outside” [27, p. 39-40]. Mediating artefacts can be distinguished between technical and psychological artefacts. Both of these are mediators in the activity. Technical Tools are used to affect other things. Psychological Tools are signs used by the subject to affect other entities or themselves [25, p. 42], [15]. Psychological tools can be physical artefacts such as art and diagrams or symbolic systems such as mathematical symbols and language. Definition I.3 (Mediating Artefacts). Let PTPT be the set of all psychological artefacts and TETE be the set of all the technical artefacts, then mediating artefacts ℳMT is the union given as, ℳ⊆TE∪PTMT TE\ ∪\ PT. Activity system model (ASM) is an “object-oriented, collective, and culturally mediated human activity, or activity system. [19].” Represents a model of collective activities, where the object is shared by a community and collectively carried out. The activity is an interaction between the subject, the object, and the community. These interacting components are mediated through mediating artefacts, rules, and division of labour [18]. A dialogue-based HRI is structured in this work as an ASM. The community is a group composed of the actors and other entities that have a shared object. For instance in a dialogue-based HRI scenario in healthcare, the robot, the human needing care, and other care providers are part of a community, sharing a common object to supporting the wellbeing of the human. Rules are the mediating components between the subject and the community. They are explicit and implicit rules, norms, and conventions regulating the activity [25], such as in a medication scenario, medicines should be followed according to the prescription, dialogues between the human and the robot should follow the strategies set out by the designers. Division of labour are the mediating component between the object and the community. The subject uses this component to coordinate their tasks with the community, creating a mediation between the community and the object (i.e., the motive) [25]. In a collaborative dialogue-based HRI healthcare scenario, a registered doctor prescribes medication, the human takes the medications, and the robot supports the human in this activity, through reminders and . Outcome is the intended result generated by the transformation of the object through the collaborative activity. The outcome in dialogue-based HRI healthcare scenario will be managing medications successfully. Definition I.4 (Collaborative Activity). Let a dialogue-based HRI be an ASM, represented as a collaborative activity caca. Let the collaborative activity be an interaction between a community of formal and informal care providers commcomm, the subject (human or the robot) sbjsbj and the object (supporting health are wellbeing) objobj, mediated by artefacts (medication box, prescription, dialogue strategies) mt∈ℳmt . The socio-cultural context SOCSOC consisting of the set of rules R and the set of division of labour DOLDOL for a given activity, SOC⊆R∪DOLSOC R\ ∪\ DOL. Then a collaborative activity at a given time point tptp is given as a function ca(mt,sbj,o,comm,soc,tp)=⟨sbj′,o′⟩ca(mt,\ sbj,\ o,\ comm,\ soc,\ tp)= sbj ,o . I-B FoL formalism of ASM We use the object properties defined in SectionIII-A and relationships from the foundational ontology we are developing, called Activity Theory-based Foundational Ontology (ATFOt) for FoL formalisation of ASM (Definition I.4). Prefix atot is used to refer to the foundational ontology in the rest of the formalisation. Definition I.5. DialHRI(ca)≡atot.M(ca)∧∃(x,y,obj,mt,soc,t(x≠y),(x,y∈comm))∧atot.Subject(x)∧atot.hasNeeds(n,x)∧atot.Subject(y)∧atot.AdoptsNeeds(an,y)∧atot.hasObject(obj)∧atot.hasTools(mt)∧atot.hasContext(soc)∧atot.hasTimeInterval(t)∧atot.Employs(s,mt,obj)∧∃(z)(atot.Subject(z)∧atot.adoptsNeeds(n,z))→atot.adheresTo(z,soc)∧atfot.Transforms(obj,out)DialHRI(ca)≡ atot.M(ca) ∃\ (x,y,obj,mt,soc,t(x≠ y),(x,y∈ comm)) atot.Subject(x) atot.hasNeeds(n,x) atot.Subject(y) atot.AdoptsNeeds(an,y) atot.hasObject(obj) atot.hasTools(mt) atot.hasContext(soc) atot.hasTimeInterval(t) atot.Employs(s,mt,obj) ∃\ (z)(atot.Subject(z) atot.adoptsNeeds(n,z))→ atot.adheresTo(z,soc) atfot.Transforms(obj,out) The definition reads as follows: In an ASM, a subject (s) either with intrinsic needs (sentient) (n) or by adopting the needs of the others (insentient)(an), uses mediating artefacts (mt) within a given socio-cultural context (soc) on the object (obj). The subject and the community (z) adhering to the the social context (soc), transform the object to achieve the desired outcome (out). Contradictions “are historically emergent and systemic phenomena. Contradictions must therefore be approached through their manifestations. [18, p. 8].” We define them as situations arising due to the discrepancies within the central ASM or with the members of the ASM family. Contradictions are opportunities to learn and develop a better understanding of the activity and other components of an ASM [8]. Internal contradictions lead to transformative change in the components that triggers the activity to change [28]. Contradictions manifest in the form of a conflict, inconsistency, paradox, tension, or a dilemma [18]. Primary Contradictions reside within the components of an ASM [18], such as a missing artefact, or when it breaks down. Secondary Contradictions emerge between different constitutive components of an ASM [18], such as due to lack of knowledge about the rules or how to use the mediating artefact. Tertiary Contradictions “appear when the activity system is reshaped and the new pattern collides with vestiges of the old one, generating resistance and forcing the new model to be modified” [18]. When new technologies are introduced in old processes, transforming the activity to a culturally more-advanced activity. Fear, excitement, and uncertainty when a robot is introduced in a care home for the first time. Quaternary Contradictions “Takes shape when the transformed activity system interacts with its partner activities, generating tensions, disturbances and innovations in the network relations of involved activity systems” [18]. For example, in an HRI collaboration between a human and a robot, intended to support in healthcare management, a conflict between the human and the robot about following the doctor’s prescription, could negatively impact human agency and autonomy. This is a contradiction with the existing rules around prioritizing human agency and autonomy in HRI. Definition I.6 (Contradiction). If SMSM is the Engestrom’s Activity System Model (ASM), then let a set of objects in the supporting ASMs be represented as (objp,…,oq∈SMsupport)(obj_p,…,o_q∈ SM_support). Let (si,sj∈SMcentral)(s_i,\ s_j∈ SM_central) be the two random components of the central ASM. Let objn∈SMcentralobj_n∈ SM^central be the object of the central ASM, and let objm∈SMadvancedobj_m∈ SM_advanced be the object of the culturally more advanced ASM. Then we define four types of contradictions ContraContra as follows: Primary Contradiction: within a specific component of the central ASM Contrapri(si)Contra_pri(s_i) Secondary Contradiction: between a pair of components of central collaborative activity Contrasec(si,sj)Contra_sec(s_i,s_j) Tertiary Contradiction: is between the object of the central ASM and the culturally more advanced ASM Contraquat(objp,objk)Contra_quat(obj_p,\\ obj_k). Quaternary Contradiction: is between the object of the central ASM and one of the supporting ASMs’ Contrater(objk,objm)Contra_ter(obj_k,obj_m). A contradiction is an event that causes a focus shift (fs) from the object of the central ASM, denoted as oi∈So_i∈ S to the alternative ASM with another object ok∈So_k∈ S where the contradiction will be resolved [11]. As such, contradictions can be represented as a mapping function: fs:S→Sfs:S→ S (1) I-B1 FoL Formalism of Contradictions The formalism of contradictions is based on a formal specification of three novel principles that rule every collaborative human activity. These principles are relevant for the computational reasoning about an ongoing activity represented in an ontology. Informally speaking these guiding principles define some of the transformations in the ontology due to contradictions, as follows: Principle 1: If there is a contradiction in the central ASM, it transforms to be the object, transitioning the focus to an alternative ASM. A1: ∀(c)atot.Contra(c)∧∃(obj)atot.SMcentral(obj)→atot.SMalternative(obj′)∧¬atot.SMcentral(obj).∀(c)\ atot.Contra(c) ∃(obj)\ atot.SM_central(obj)→ atot.SM_alternative(obj ) atot.SM_central(obj). Principle 2: If there is a contradiction in the central ASM, then there is a conflict with the ASM family. A2: ∀(c)atot.Contra(c)∧∃(ca)atot.SMcentral(ca)→∃(ca)atot.SMfamily(ca)∧atot.Conflict(SMfamily(ca))∧¬SMcentral(ca).∀(c)\ atot.Contra(c) ∃(ca)\ atot.SM_central(ca)→∃(ca)\ atot.SM_family(ca) atot.Conflict(SM_family(ca)) SM_central(ca). Principle 3: If there is a contradiction in the central ASM then there is a contradiction in its inherited ASMs, i.e., the culturally more-advanced ASM and its related ASM family. A3: ∀(c)atot.Contra(c)∧∃(ca)atot.SMcentral(ca)→∃(c)Contra(c)∧∃(ca)SMinherit(ca)∀(c)\ atot.Contra(c) ∃(ca)\ atot.SM_central(ca)→∃(c)\ Contra(c) ∃(ca)SM_inherit(ca) IV Conclusion and Ongoing Work This research presented preliminary results on the ontological formalism of dialogue-based interactions for HRI and HAI and related contradictions. Engestrom’s Activity System Model (ASM) and the concept of contradictions from Activity Theory were used as a foundational theory in the conceptualisation and definition of contradictions and dialogue-based interactions. This research contributed with a novel formalisation of contradictions concepts and three novel principles guiding the transformations in an ontology caused by the inherent contradictions. The presented work is part of an ongoing research on developing a foundational ontology called activity theory-based foundational ontology (ATFOt). ATFOt represents collective activity and related contradictions such as errors, failures, conflicts, and knowledge issues in dialogue-based interactions between humans and agents. Currently, we are finishing the formalisation and implementation of ATFOt using set theory, FoL, and Protege environment, respectively. The implemented ontology will be evaluated qualitatively in studies and verified using coverage and competency questions. ATFOt can be used by agents intended to interact with humans to formally represent, reason about, and manage dialogues and related contradictions. This ontology is a step towards reliable, transparent, and trustworthy dialogue management strategies for both learning and rule-based agents (embodied, digital, or virtual.) This ontology can be used to standardise the terminology for dialogues and relevant contradictions. This standardisation advances the research in contradiction management by enabling the reusability and interoperability of the terminologies across domains in human-agent dialogues. References [1] A. Mahmood, J. Wang, B. Yao, D. Wang, and C. Huang (2025) User interaction patterns and breakdowns in conversing with llm-powered voice assistants. International Journal of Human-Computer Studies 195, p. 103406. External Links: ISSN 1071-5819, Document, Link Cited by: §I, §I. [2] R. Wen, F. Ferraro, and C. Matuszek (2024) GPT-4 as a moral reasoner for robot command rejection. In Proceedings of the 12th International Conference on Human-Agent Interaction, HAI ’24, New York, NY, USA, p. 54–63. External Links: ISBN 9798400711787, Link, Document Cited by: §I. [3] A. Iida, K. Okuoka, S. Fukuda, T. Omori, R. Nakashima, and M. Osawa (2024) Integrating large language model and mental model of others: studies on dialogue communication based on implicature. In Proceedings of the 12th International Conference on Human-Agent Interaction, HAI ’24, New York, NY, USA, p. 260–269. External Links: ISBN 9798400711787, Link, Document Cited by: §I. [4] S. Cao, M. Stiber, A. Mahmood, M. T. Parreira, W. Ju, M. Spitale, H. Gunes, and C. Huang (2025) ERR@hri 2.0 challenge: multimodal detection of errors and failures in human-robot conversations. In Proceedings of the 33rd ACM International Conference on Multimedia, M ’25, New York, NY, USA, p. 14130–14135. External Links: ISBN 9798400720352, Link, Document Cited by: §I. [5] A. Toney-Wails and L. Singh (2024) Are you sure about that: eliciting natural language confidence indicators from chatbots. In Proceedings of the 12th International Conference on Human-Agent Interaction, HAI ’24, New York, NY, USA, p. 278–286. External Links: ISBN 9798400711787, Link, Document Cited by: §I. [6] A. L. Smith, F. Greaves, and T. Panch (2023) Hallucination or confabulation? neuroanatomy as metaphor in large language models.. PLOS Digit Health. External Links: Document Cited by: §I. [7] TianLeimin and OviattSharon (2021) A taxonomy of social errors in human-robot interaction. ACM Transactions on Human-Robot Interaction (THRI) 10. External Links: Document, Link Cited by: §I, §I. [8] M. Tewari (2023) Breakdown situations in dialogues between humans and socially intelligent agents. Ph.D. Thesis, Umeå University. Cited by: §I, §I, §I-B. [9] E. Kox, M. Hennekens, J. Metcalfe, and J. Kerstholt (2025) Trust violations due to error or choice: the differential effects on trust repair in human–human and human–robot interaction. J. Hum.-Robot Interact. 14 (4). External Links: Link, Document Cited by: §I. [10] B. Nogueira, J. Ferreira, H. Simão, F. Rocha, I. Neto, J. Guerreiro, and T. Guerreiro (2026) Don’t go breaking my trust: a taxonomy of interaction failures for transparent robots. In Workshop on Designing Transparent and Understandable Robots, External Links: Link Cited by: §I, §I. [11] M. Tewari and H. Lindgren (2022) Expecting, understanding, relating, and interacting-older, middle-aged and younger adults’ perspectives on breakdown situations in human-robot dialogues. Frontiers in Robotics and AI 9. External Links: Link, Document, ISSN 2296-9144 Cited by: §I, §I-B. [12] L. Wachowiak, P. Tisnikar, A. Coles, G. Canal, and O. Celiktutan (2024) A time series classification pipeline for detecting interaction ruptures in hri based on user reactions. In Proceedings of the 26th International Conference on Multimodal Interaction, ICMI ’24, New York, NY, USA, p. 657–665. External Links: ISBN 9798400704628, Link, Document Cited by: §I. [13] E. Guerrero, M. Tewari, P. Kalmi, and H. Lindgren (2023) Forming we-intentions under breakdown situations in human-robot interactions. Computer Methods and Programs in Biomedicine 242, p. 107–817. Cited by: §I. [14] A. N. Leontiev (1981) Problems of the development of the mind (originally published in russian in 1959).. Cited by: §I. [15] L. S. VYGOTSKY (1982) Instrumentalnyj metod v psikhologii [ instrumental method in psychology]. In Sobranie Sochinanij, t. 1 [L. S. Vygotsky, Collected Works, p. 103–109. Cited by: §I, §I-A. [16] V. Kaptelinin and B. Nardi (2012) Activity theory in hci: fundamentals and reflections. Vol. 5. External Links: Document Cited by: §I. [17] Y. Engeström (1999) Activity theory and individual and social transformation. In Perspectives on activity theory, Vol. 19, p. 19–38. Cited by: §I. [18] A. Sannino and Y. Engeström (2018) Cultural-historical activity theory: founding insights and new challenges. Cultural-Historical Psychology 14 (3), p. 43–56 (English). External Links: Document, ISSN 1816-5435 Cited by: §I, §I-A, §I-A, §I-B, §I-B, §I-B, §I-B, §I-B, §I-B. [19] Y. Engeström and R. Miettinen (1999) Introduction. In Engeström Y, Miettinen R, Punamäki R-L, eds. Perspectives on Activity Theory, Vol. 19, p. 1–16. Cited by: §I, §I-A. [20] V. C. Kaelin, M. Tewari, S. Benouar, and H. Lindgren (2024) Developing teamwork: transitioning between stages in human-agent collaboration. Frontiers in Computer Science 6, p. 1455903. Cited by: §I. [21] H. Lindgren, V. C. Kaelin, A. Ljusbäck, M. Tewari, M. Persiani, and I. Nilsson (2024) To adapt or not to adapt? older adults enacting agency in dialogues with an unknowledgeable agent. In Proceedings of the 32nd ACM Conference on User Modeling, Adaptation and Personalization, UMAP ’24, New York, NY, USA, p. 307–316. External Links: ISBN 9798400704338, Link, Document Cited by: §I. [22] M. Fernández-López, A. Gomez-Perez, and N. Juristo (1997) METHONTOLOGY: from ontological art towards ontological engineering. Engineering Workshop on Ontological Engineering (AAAI97), p. . Cited by: Fig. 1, Fig. 1, §I, §I. [23] M. Poveda-Villalón, A. Fernández-Izquierdo, M. Fernández-López, and R. García-Castro (2022) LOT: an industrial oriented ontology engineering framework. Engineering Applications of Artificial Intelligence 111, p. 104755. External Links: ISSN 0952-1976, Document, Link Cited by: Fig. 1, Fig. 1. [24] J. G. Greeno (1994) Gibson’s affordances.. Cited by: §I-A, Definition I.1. [25] V. Kaptelinin and B. A. Nardi (2006) MIT press. Cited by: §I-A, §I-A, §I-A, §I-A. [26] M. S. Kabuye Batiibwe (2019) Using cultural historical activity theory to understand how emerging technologies can mediate teaching and learning in a mathematics classroom: a review of literature. Research and Practice in Technology Enhanced Learning 14, p. . External Links: Document Cited by: §I-A. [27] L. S. VYGOTSKY (1978) Mind in society: development of higher psychological processes. Harvard University Press. External Links: ISBN 9780674576285, Link Cited by: §I-A. [28] L. U. Schröder, A. E. J. Wals, and C. S. A. (. van Koppen (2020) Analysing the state of student participation in two eco-schools using engeström’s second generation activity systems model. Environmental Education Research 26 (8), p. 1088–1111. External Links: Document, Link, https://doi.org/10.1080/13504622.2020.1779186 Cited by: §I-B.