Abstract
With a view to supporting expressive, but tractable, collaborative interactions between humans and agents, we propose an approach for representing heterogeneous agent models, i.e., with potentially diverse mental abilities and holding stereotypical characteristics as members of a social reference group. We build a computationally grounded mechanism for progressing their beliefs about others’ beliefs, supporting stereotypical as well as empathic reasoning. We comment on how this approach can be used to build finite-state games, restricting the analysis of possibly large-scale problems by focusing only on the set of plausible evolutions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alechina, N., Logan, B.: A logic of situated resource-bounded agents. J. of Logic, Language and Information 18(1), 79–95 (2009)
Aucher, G.: Internal models and private multi-agent belief revision. In: Proceedings of AAMAS 2008, pp. 721–727 (2008)
De Giacomo, G., Felli, P., Patrizi, F., Sardiña, S.: Two-player game structures for generalized planning and agent composition. In: AAAI (2010)
Dias, J., Paiva, A.C.R.: Feeling and reasoning: A computational model for emotional characters. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 127–140. Springer, Heidelberg (2005)
Dignum, F., Hofstede, G.J., Prada, R.: From autistic to social agents. In: AAMAS, pp. 1161–1164 (2014)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic, 1st edn. Springer Publishing Company, Incorporated (2007)
Hall, L.E., Woods, S., Aylett, R., Paiva, A.: Using theory of mind methods to investigate empathic engagement with synthetic characters. I. J. Humanoid Robotics 3(3), 351–370 (2006)
Johnson, M., Bradshaw, J.M., Feltovich, P.J., Jonker, C.M., van Riemsdijk, M.B., Sierhuis, M.: Coactive design: Designing support for interdependence in joint activity. J. of Human-Robot Int. 3(1), 43–69 (2014)
Lemaignan, S., Ros, R., Mösenlechner, L., Alami, R., Beetz, M.: Oro, a knowledge management module for cognitive architectures in robotics. In: IROS 2010 (2010)
Pearce, A., Sonenberg, L., Nixon, P.: Toward resilient human-robot interaction through situation projection for effective joint action. In: Robot-Human Teamwork in Dynamic Adverse Environment: AAAI Fall Symp., pp. 44–48 (2011)
Pfau, J., Kashima, Y., Sonenberg, L.: Towards agent-based models of cultural dynamics: A case of stereotypes. In: Perspectives on Culture and Agent-based Simulations, pp. 129–147. Springer (2014)
Ronald Fagin, Y.M., Halpern, J.Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Scassellati, B.: Theory of mind for a humanoid robot. Auton. Robots 12(1), 13–24 (2002)
Stocker, R., Dennis, L., Dixon, C., Fisher, M.: Verifying brahms human-robot teamwork models. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 385–397. Springer, Heidelberg (2012)
Warnier, M., Guitton, J., Lemaignan, S., Alami, R.: When the robot puts itself in your shoes. managing and exploiting human and robot beliefs. In: Proc. of the 21th IEEE Int. Symp. in Robot and Human Interactive Communication (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Felli, P., Miller, T., Muise, C., Pearce, A.R., Sonenberg, L. (2014). Artificial Social Reasoning: Computational Mechanisms for Reasoning about Others. In: Beetz, M., Johnston, B., Williams, MA. (eds) Social Robotics. ICSR 2014. Lecture Notes in Computer Science(), vol 8755. Springer, Cham. https://doi.org/10.1007/978-3-319-11973-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-11973-1_15
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11972-4
Online ISBN: 978-3-319-11973-1
eBook Packages: Computer ScienceComputer Science (R0)