Abstract
The paper views the issue of “symbol grounding” from the viewpoint of the construction of meaning between humans and robots, in the context of a collaborative activity. This concerns a core aspect of the formation of common ground: The construction of meaning between actors as a conceptual representation which is believed to be mutually understood as referring to a particular aspect of reality. The problem in this construction is that experience is inherently subjective—and more specifically, humans and robots experience and understand reality fundamentally differently. There is an inherent asymmetry between the actors involved. The paper focuses on how this asymmetry can be reflected logically, and particularly in the underlying model theory. The point is to make it possible for a robot to reason explicitly both about such asymmetry in understanding, consider possibilities for alignment to deal with it, and establish (from its viewpoint) a level of intersubjective or mutual understanding. Key to the approach taken in the paper is to consider conceptual representations to be formulas over propositions which are based in proofs, as reasoned explanations of experience. This shifts the focus from a notion of “truth” to a notion of judgment—judgments which can be subjectively right and still intersubjectively wrong (faultless disagreement), and which can evolve over time (updates, revision). The result is an approach which accommodates both asymmetric agency and social sentience, modelling symbol grounding in human-robot interaction as social, situated construction over time.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Allen JF, Perrault CR (1980) Analyzing intention in utterances. Artif Intell 15(3):143–178
Allen JF, Litman DJ (1990) Discourse processing and common sense plans. In: Cohen PR, Morgan J, Pollack M (eds) Intentions and communication. MIT Press, Cambridge
Asher N, Lascarides A (2003) Logics of conversation. Cambridge University Press, Cambridge
Baldridge J, Kruijff GJM (2002) Coupling CCG and hybrid logic dependency semantics. In: Proc. ACL 2002, Philadelphia, PA, pp 319–326
Barwise J, Perry J (1983) Situations and attitudes. MIT Press, Cambridge
Belnap N, Perloff M, Xu M (2001) Facing the future. Oxford University Press, London
Blackburn P, de Rijke M, Venema Y (2001) Modal logic. Cambridge tracts in theoretical computer science, vol 53. Cambridge University Press, Cambridge
Bochman A (1998) A logical foundation for logic programming I: biconsequence relations and nonmonotonic completion. J Log Program 35:151–170
Brenner M, Nebel B (2009) Continual planning and acting in dynamic multiagent environments. J Auton Agents Multiagent Syst 19(3):297–331
Burke JL, Murphy RR, Coovert M, Riddle D (2004) Moonlight in Miami: an ethnographic study of human-robot interaction in USAR. Hum-Comput Interact 19(1–2):85–116
Cangelosi A (2008) The grounding and sharing of symbols. In: Dror IE, Harnad S (eds) Cognition distributed: how cognitive technology extends our minds, pp 83–92
Clark H (1996) Using language. Cambridge University Press, Cambridge
Clark HH, Brennan SA (1991) Grounding in communication. In: Resnick LB, Levine JM, Teasley SD (eds) Perspectives on socially shared cognition. APA, Washington, pp 127–149
Cohen PR, Levesque HJ (1990) Intention is choice with commitment. Artif Intell 42:213–261
Cohen PR, Levesque HJ (1990) Rational interaction as the basis for communication. In: Cohen PR, Morgan J, Pollack ME (eds) Intentions in communication. MIT Press, Cambridge, pp 221–256
Cooper R (2008) Records and record types in semantic theory. J Log Comput 15(2):99–112
Cooper R (2012) Type theory and semantics in flux. In: Kempson R, Asher N, Fernando T (eds) Philosophy of linguistics. Handbook of the philosophy of science, vol 14. Elsevier, Amsterdam
Crespo I, Fernández R (2011) Expressing taste in dialogue. In: Proceedings of the 15th workshop on the semantics and pragmatics of dialogue (SEMDIAL’11), Los Angeles, CA, pp 84–93
Denecker M, Marek V, Truszczynski M (2000) Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. In: Minker J (ed) Logic-based artificial intelligence. Kluwer Academic, Norwell, pp 127–144
Denecker M, Marek V, Truszczynski M (2004) Ultimate approximation and its application in nonmonotonic knowledge representation systems. Inf Comput 192(1):84–121
Kruijff GJM et al. (2012) Experience in system design for human-robot teaming in urban search & rescue. In: Proceedings of field and service robotics (FSR) 2012, Matsushima/Sendai, Japan
Ferguson G, Allen J (2007) Mixed-initiative dialogue systems for collaborative problem-solving. AI Mag 28(2):23–32
Fincannon T, Barnes LE, Murphy RR, Riddle DL (2004) Evidence of the need for social intelligence in rescue robotics. In: Proceedings of the 2004 IEEE/RSJ international conference on intelligent robots and systems (IROS 2004), pp 1089–1095
Fitting M (1991) Bilattices and the semantics of logic programming. J Log Program 11(1&2):91–116
Ginsberg M (1988) Multivalued logics: a uniform approach to reasoning in AI. Comput Intell 4:256–316
Ginzburg J (2011) Situation semantics and the ontology of natural language. In: Portner P, Maierborn C, von Heusinger K (eds) The handbook of semantics. de Gruyter, Berlin, pp 830–851
Gorniak P, Roy D (2004) Grounded semantic composition for visual scenes. J Artif Intell Res 21:429–470
Grosz BJ, Sidner CL (1986) Attention, intention and the structure of discourse. Comput Linguist 12(3):175–204
Guizzo E, Ackerman E, Waibel M, Taylor M, Bouchard S (2011) Fukushima robot operator writes tell-all blog. http://spectrum.ieee.org/automaton/robotics/industrial-robots/fukushima-robot-operator-diaries, August 2011. Contains the English translation of the Japanese blog from the anonymous author S.H
Hadelich K, Crocker MW (2006) Gaze alignment of interlocutors in conversational dialogues. In: Proceedings of the 19th CUNY conference on human sentence processing, New York, USA
Hanheide M, Hawes N, Wyatt J, Göbelbecker M, Brenner M, Sjöö K, Aydemir A, Jensfelt P, Zender H, Kruijff GJ (2010) A framework for goal generation and management. In: Proceedings of the AAAI workshop on goal-directed autonomy
Harnad S (1990) The symbol grounding problem. Physica D 42:335–346
Janíček M (2011) Abductive reasoning for continual dialogue understanding. In: Proceedings of the ESSLLI student session 2011, Ljubljana, Slovenia
Kelleher JD, Kruijff GJM, Costello F (2006) Proximity in context: an empirically grounded computational model of proximity for processing topological spatial expressions. In: Proceedings of ACL/COLING 2006
Kiesler S (2005) Fostering common ground in human-robot interaction. In: Proceedings of 14th IEEE international workshop on robot and human interactive communication (ROMAN 2005)
Klein G, Feltovich PJ, Bradshaw JM, Woods DD (2004) Common ground and coordination in joint activity. In: Rouse WB, Boff KR (eds) Organizational simulation. Wiley, New York, pp 139–184
Klein G, Woods DD, Bradshaw JM, Hoffman R, Feltovich P (2004) Ten challenges for making automation a team player in joint human-agent activity. IEEE Intell Syst 19(6):91–95
Kölbel M (2004) Faultless disagreement. In: Proceedings of the Aristotelian society, vol 104. University of London, London, pp 53–73
Kracht M (1998) On extensions of intermediate logics by strong negation. J Philos Log 27:49–73
Kruijff GJM (2001) A categorial-modal logical architecture of informativity: dependency grammar logic & lnformation structure. PhD thesis, Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic, April 2001
Kruijff GJM, Brenner M (2007) Modelling spatio-temporal comprehension in situated human-robot dialogue as reasoning about intentions and plans. In: Proceedings of the symposium on intentions in intelligent systems, AAAI spring symposium series 2007. Stanford University, Palo Alto
Kruijff GJM, Janíček M, Lison P (2010) Continual processing of situated dialogue in human-robot collaborative activities. In: Proceedings of the 19th international symposium on robot and human interactive communication (RO-MAN 2010). IEEE Press, New York
Kruijff GJM, Janíček M, Zender H (2012) Situated communication for joint activity in human-robot teams. IEEE Intell Syst 27(2):27–35
Kruijff GJM, Kelleher JD, Hawes N (2006) Information fusion for visual reference resolution in dynamic situated dialogue. In: André E, Dybkjaer L, Minker W, Neumann H, Weber M (eds) Perception and interactive technologies (PIT 2006). Springer, Berlin
Kruijff GJM, Zender H, Jensfelt P, Christensen HI (2007) Situated dialogue and spatial organization: What, where... and why? Int J Adv Robotic Syst 4(2)
Lison P, Ehrler C, Kruijff GJM (2010) Belief modelling for situation awareness in human-robot interaction. In: Proceedings of the 19th international symposium on robot and human interactive communication (RO-MAN 2010)
Lochbaum K, Grosz BJ, Sidner CL (1999) Discourse structure and intention recognition. In: Dale R, Moisl H, Somers H (eds) A handbook of natural language processing: techniques and applications for the processing of language as text. Dekker, New York
Lohse M (2011) The role of expectations and situations in human-robot interaction. In: Dautenhahn K, Saunders J (eds) New frontiers in human-robot interaction. Benjamins, Amsterdam, pp 35–56
Miller C, Parasuraman R (2007) Designing for flexible interaction between humans and automation: delegation interfaces for supervisory control. Hum Factors 49:57–75
Moens M, Steedman M (1988) Temporal ontology and temporal reference. Comput Linguist 14:15–28
Nordström B, Petersson K, Smith JM (2001) Martin-löf’s type theory. In: Abramsky S, Gabbay DM, Maibaum TSE (eds) Algebraic and logical structures. Handbook of logic in computer science, vol 5. Oxford University Press, London
Parasuraman R, Barnes M, Cosenzo K (2007) Adaptive automation for human-robot teaming in future command and control systems. Int J Command Control 1(2):43–68
Pickering MJ, Garrod S (2004) Toward a mechanistic psychology of dialogue. Behav Brain Sci 27:169–225
Rivieccio U (2010) An Algebraic Study of Bilattice-based Logics. PhD thesis, Universitat de Barcelona
Roy D (2000) Integration of speech and vision using mutual information. In: Proc int conf acoustics, speech and signal processing
Roy DK (2002) Learning words and syntax for a scene description task. Comput Speech Lang 16(3):353–385
Shanahan MP (2005) Perception as abduction: turning sensor data into meaningful representation. Cogn Sci 29:103–134
Steels L (2006) Semiotic dynamics for embodied agents. IEEE Intell Syst 21(3):32–38
Steels L (2008) The symbol grounding problem has been solved. so what’s next? In: De Vega M, Glennberg G, Graesser G (eds) Symbols, embodiment and meaning. Academic Press, New Haven
Steels L, Baillie J-C (2003) Shared grounding of event descriptions by autonomous robots. Robot Auton Syst 43(2–3):163–173
Stepanović V (2012) Weak congruence representability of suborders and direct products. Bull Int Math Virtual Inst 2:123–131
Stone M (2004) Intention, interpretation and the computational structure of language. Cogn Sci 28(5):781–809
Stone M, Thomason RH (2002) Context in abductive interpretation. In: Proceedings of EDILOG 2002: 6th workshop on the semantics and pragmatics of dialogue
Stone M, Thomason RH (2003) Coordinating understanding and generation in an abductive approach to interpretation. In: Proceedings of DIABRUCK 2003: 7th workshop on the semantics and pragmatics of dialogue
Stubbs K, Hinds PJ, Wettergreen D (2007) Autonomy and common ground in human-robot interaction: a field study. IEEE Intell Syst 22:42–50. Special Issue on Interacting with Autonomy
Tellex S, Kollar T, Dickerson S, Walter MR, Gopal Banerjee A, Teller S, Roy N (2011) Understanding natural language commands for robotic navigation and mobile manipulation. In: Proceedings of the national conference on artificial intelligence (AAAI), San Francisco, CA
Thomaz AL, Breazeal C (2008) Experiments in socially guided exploration: lessons learned in building robots that learn with and without human teachers. Connect Sci 20(2&3):91–110. Special issue on social learning in embodied agents
van Linder B, van der Hoek W, Meyer J-JCh (1998) Formalizing abilities and opportunities of agents. Fundam Inform 34(1, 2):53–101
Vogt P (2005) The emergence of compositional structures in perceptually grounded language games. Artif Intell 167(1–2):206–242
Vogt P, Divina F (2007) Social symbol grounding and language evolution. Interact Stud 8(1):31–52
Vogt P, Haasdijk E (2010) Modelling social learning of language and skills. Artif Life 16(4):289–310
Vojvodič G, Šešalja B (1988) On the lattice of weak congruence relations. Algebra Univers 25:121–130
Wansing H (2001) Negation. In: Goble L (ed) The Blackwell guide to philosophical logic. Blackwell, Cambridge, pp 415–436
Zender H, Martínez Mozos Ó, Jensfelt P, Kruijff GJM, Burgard W (2008) Conceptual spatial representations for indoor mobile robots. Robot Auton Syst 56(6):493–502
Acknowledgements
The work reported in this paper was supported by the EU FP7 Integrated Project NIFTi, “Natural human-robot coordination in dynamic environments” (Grant #247870). For more on NIFTi, see http://www.nifti.eu. The author would like to thank Mira Janíček, Staffan Larsson, and Robin Cooper for discussion, Herb Clark for essential critical comments, and Jan de Ruiter (reviewer) and two other anonymous reviewers for helpful feedback.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kruijff, GJ.M. Symbol Grounding as Social, Situated Construction of Meaning in Human-Robot Interaction. Künstl Intell 27, 153–160 (2013). https://doi.org/10.1007/s13218-013-0238-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13218-013-0238-3