Abstract
We examine some formal-reasoning aspects of Theory of Mind (ToM) from the perspective of an agent teaming with others, in a broad (active logic) setting that includes a commonsense-reasoning context. Our emphasis is on how to represent time-evolving inferences by an agent about what it and other agents do or don’t know. Specifically, what sorts of knowledge representation and reasoning are needed for an agent in a team to capture ToM in a formal time-evolving commonsense-reasoning setting, especially with regard to introspection, presence of direct contradictions, inference about another’s knowledge or lack (e.g., on their asking a question, and on being told an answer), and quotation mechanisms for representing beliefs about beliefs.
Copyright © 2021, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.
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
Notes
- 1.
We note that the memory requirements for quotation terms are of the same computational complexity as for formulas in a first-order language without quotation, as any formula using quotation may be converted into a first-order formula with size of the same order, by replacing quotation marks with a unary function “quote”, quasi-quotation marks with a function “quasi-quote”, quoted predicate symbols with function symbols of the same name, and quoted logical operators with binary or unary function symbols naming the operators.
References
Anderson, M., Josyula, D., Perlis, D., Purang, K.: Active logic for more effective human-computer interaction and other commonsense applications. In: Workshop for Empirically Successful First-Order Reasoning, International Joint Conference on Automated Reasoning. IJCAR, Cork (2004)
Butterfill, S.A., Apperly, I.A.: How to construct a minimal theory of mind. Mind Lang. 28(5), 606–637 (2013)
Davis, E.: Knowledge and communication: a first-order theory. Artif. Intell. 166(1–2), 81–139 (2005)
Davis, E.: Logical formalizations of commonsense reasoning: a survey. J. Artif. Intell. Res. 59(1), 651–723 (2017)
Davis, E., Morgenstern, L.: A first-order theory of communication and multi-agent plans. J. Log. Comput. 15(5), 701–749 (2005)
Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory & Practice (The Morgan Kaufmann Series in Artificial Intelligence), 1st edn. Morgan Kaufmann, Burlington (2004)
Gordon, A., Hobbs, J.: A Formal Theory of Commonsense Psychology: How People Think People Think, 1st edn. Cambridge University Press, Cambridge (2017)
Jiao, W.: Multi-agent cooperation via reasoning about the behavior of others. Comput. Intell. 26(1), 57–83 (2010)
Josyula, D.: A unified theory of acting and agency for a universal interfacing agent. UMD Theses and Dissertations. University of Maryland, Department of Computer Science, College Park, MD (2005)
Josyula, D., Anderson, M., Perlis, D.: Metacognition for dropping and reconsidering intentions. In: AAAI Spring Symposium on Metacognition in Computation, pp. 62–67. AAAI Press, Menlo Park (2005)
Perlis, D., Brody, J., Kraus, S., Miller, M.: The internal reasoning of robots. In: Thirteenth International Symposium on Commonsense Reasoning. Association of Computational Logic, London (2017)
Premack, D., Woodruff, G.: Does the chimpanzee have a theory of mind? Behav. Brain Sci. 1(4), 515–526 (1978)
Quine, W.: Mathematical Logic, Revised Harvard University Press, Cambridge (1981)
Reiter, R.: Knowledge in Action - Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)
Ross, S., Pineau, J., Paquet, S., Chaib-draa, B.: Online planning algorithms for POMDPs. J. Artif. Intell. Res. 32(2), 663–704 (2008)
Tomasello, M.: How children come to understand false beliefs: a shared intentionality account. In: Proceedings of the National Academy of Sciences, vol. 115, no. 34, pp. 8491–8498. National Academy of Sciences, Washington, D.C, 21 August 2018
van Ditmarsch, H., Ghosh, S., Verbrugge, R., Wang, Y.: Hidden protocols: modifying our expectations in an evolving world. Artif. Intell. 208(1), 18–40 (2014)
Ye, N., Somani, A., Hsu, D., Lee, W.S.: DESPOT: online POMDP planning with regularization. J. Artif. Intell. Res. 58(1), 31–266 (2017)
Acknowledgement
This work was supported by DARPA CREATE program grant# DARPA-PA-19-03-01-FP-037, “Towards Knowledge of Cooperative Agency: A Foundation for Task-General Teaming”.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Josyula, D.P. et al. (2022). Knowledge of Self and Other Within a Broader Commonsense Setting. In: Gurney, N., Sukthankar, G. (eds) Computational Theory of Mind for Human-Machine Teams. AAAI-FSS 2021. Lecture Notes in Computer Science, vol 13775. Springer, Cham. https://doi.org/10.1007/978-3-031-21671-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-031-21671-8_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-21670-1
Online ISBN: 978-3-031-21671-8
eBook Packages: Computer ScienceComputer Science (R0)