Skip to main content
SpringerLink
Log in
Book cover

Computational Autism pp 95–176Cite as

Formalizing Theory of Mind

  • Chapter
  • First Online:

Part of the book series: Human–Computer Interaction Series ((HCIS))

Abstract

To approach the problem of autistic reasoning and remediation from a solid background, Theory-Of-Mind needs to be formalized. We represent it from the standpoint of a logical multiagent system, formalizing beliefs, desires and intentions of agents. Basic mental entities are introduced and the rest including communicative actions and emotional states are defined in this basis. The definitions heavily rely on meta-reasoning. Once mental states and actions of ToM are defined, we formalize scenarios of multiagent interaction as sequences of mental states and actions, explore its properties and propose a machine learning framwework for them.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  • Alexander G, Raja A, Durfee E, Musliner D (2007) Design paradigms for meta-control in multi-agent systems In: Raja A, Cox MT (eds) Proceedings of the first international workshop on metareasoning in agent-based systems, AAMAS-07, pp 92–103

    Google Scholar 

  • Austin JL (1962) How to do things with words. Oxford University Press, Oxford

    Google Scholar 

  • Bach K, Harnish R (1979) Linguistic communication and speech acts. MIT Press, Cambridge, MA

    Google Scholar 

  • Baron-Cohen S (2000) Theory of mind and autism: a fifteen year review. In: Baron-Cohen S, Tagar-Flusberg H, Cohen DJ (eds) Understanding other minds, vol A. Oxford University Press, Oxford, pp 3–20

    Google Scholar 

  • Barwise J (1975) Admissible sets and structures. Springer, Berlin

    Book  MATH  Google Scholar 

  • Barwise J, Perry J (1983) Situations and attitudes. MIT Press, Cambridge, MA/London

    MATH  Google Scholar 

  • Barwise KJ, Seligman J (1997) Information flow: the logic of distributed systems. Cambridge University Press, Cambridge

    Book  MATH  Google Scholar 

  • Boella G, Hulstijn V, van der Torre L (2004) Persuasion strategies in dialogue. In: Grasso F, Reed C (eds) In: Proceedings of the ECAI workshop on Computational Models of Natural Argument (CMNA’04), Valencia

    Google Scholar 

  • Bratman ME (1987) Intention, plans and practical reason. Harvard University Press, Cambridge, MA

    Google Scholar 

  • Breazeal C (1998) A motivational system for regulating human-robot interactions. In: Proceedings of the fifteenth national conference on AI (AAAI-98)

    Google Scholar 

  • Carley K (1997) Extracting team mental models. J Organ Behav 18:533–538

    Article  Google Scholar 

  • Chang C-W, Chin-Tsai L, Lian-Qing W (2009) Mining the text information to optimizing the customer relationship management. Expert Syst Appl 36(2 Part 1):1433–1443

    Article  Google Scholar 

  • Chesnevar CI, Simari G, Alsinet T, Godo L (2004) A logic programming framework for possibilistic argumentation with vague knowledge. In: Proceedings of the international conference in Uncertainty in Artificial Intelligence (UAI 2004), Banff, Canada, pp 76–84

    Google Scholar 

  • Cox MT, Raja A (2007) Metareasoning: a manifesto. AAAI-Workshop

    Google Scholar 

  • Cox MT, Ram A (1999) Introspective multistrategy learning: on the construction of learning strategies. Artif Intell 112:1–55

    Article  MATH  Google Scholar 

  • Criscuolo G, Giunchiglia F, Serafini L (2002) A foundation for Metareasoning Part II: the model theory. J Log Comput 12(1):167–208

    Article  MathSciNet  MATH  Google Scholar 

  • Dignum F, Hofstede GJ, Prada R (2014) From autistic to social agents. In: Proceedings of the 2014 IC on autonomous agents and multi-agent systems. pp 1161–1164

    Google Scholar 

  • d’Inverno M, Kinny D, Luck M, Wooldridge M (1998) A formal specification of dMARS. In: Singh, Rao and Wooldridge (eds) Intelligent Agents IV: proceedings of the 4th International workshop on agent theories, architectures and languages, LNAI 1365, pp 155–176

    Google Scholar 

  • Dunbar RIM, Launay J, Curry O (2015) The complexity of jokes is limited by cognitive constraints on mentalizing. Hum Nat:1–11

    Google Scholar 

  • El-Nasr MS, Skubic M (1998) A fuzzy emotional agent for decision- making in a mobile robot. In: Proceedings of WCCI’98, Anchorage, AK, USA

    Google Scholar 

  • Fagin R, Halpern JY, Moses Y, Vardi MY (1996) Reasoning about knowledge. MIT Press, Cambridge, MA/London

    MATH  Google Scholar 

  • Fang L, Hipel KW, Kilgour DM (1993) Interactive decision making: the graph model for conflict resolution. Wiley, New York

    Google Scholar 

  • Farrel J (2006) Philosophy of Language. www.farrell.blogs.com/Writings/Speech-Acts.pdf

  • Galitsky B (2002) On the training of mental reasoning: searching the works of literature. FLAIRS – 02, Pensacola Beach

    Google Scholar 

  • Galitsky B (2003) Natural language question answering system: technique of semantic headers. Advanced Knowledge International, Adelaide

    Google Scholar 

  • Galitsky B (2004) A library of behaviors: implementing commonsense reasoning about mental world. 8th international conference on knowledge-based intelligent information system. LNAI 3215, pp 307–313

    Google Scholar 

  • Galitsky B (2005) Implementing commonsense reasoning via semantic skeletons for answering complex questions. In: FLAIRS – 05, May 15–17, Clearwater Bearch, FL

    Google Scholar 

  • Galitsky B (2006) Reasoning about mental attitudes of complaining customers. Knowl-Based Syst Elsevier 19(7):592–615

    Article  Google Scholar 

  • Galitsky B (2015) Team formation by children with Autism. Foundations of autonomy and its (Cyber) threats: from individuals to interdependence: papers from the 2015 AAAI spring symposium

    Google Scholar 

  • Galitsky B, de la Rosa JL (2011) Concept-based learning of human behavior for customer relationship management. Special issue on information engineering applications based on lattices. Inform Sci 181(10) pp 2016–2035

    Google Scholar 

  • Galitsky BA, Kuznetsov SO (2008) Learning communicative actions of conflicting human agents. J Exp Theor Artif Intell 20(4):277–317

    Article  MATH  Google Scholar 

  • Galitsky B, Kuznetsov SO, Kovalerchuk B (2008) Argumentation vs meta-argumentation for the assessment of multi-agent conflict. In: 2008 AAAI workshop on meta-reasoning. AAAI tech report. http://www.aaai.org/Library/Workshops/2008/ws08-07-011.php

  • Galitsky B, Pampapathi R (2005) Can many agents answer questions better than one? First Monday 10(1). http://firstmonday.org/ojs/index.php/fm/article/view/1204/1124

  • Galitsky B, Peterson D (2005) On the peculiarities of default reasoning of children with Autism. In: FLAIRS – 05, May 15–17, Clearwater Bearch, FL

    Google Scholar 

  • Galitsky B, Tumarkina I (2004) Justification of customer complaints using mental actions and emotional states. FLAIRS – 04, Miami

    Google Scholar 

  • Galitsky B, González MP, Chesñevar CI (2009) A novel approach for classifying customer complaints through graphs similarities in argumentative dialogues. Decis Support Syst 46(3):717–729

    Article  Google Scholar 

  • Ganter B, Kuznetsov S (2001) ‘Pattern structures and their projections’. In: Stumme G, Delugach H (ed) Proceedings of the 9th International Conference on Conceptual Structures, ICCS’01. lecture notes in artificial intelligence, 2120, pp 129–142

    Google Scholar 

  • Ganter B, Wille R (1999) Formal concept analysis: mathematical foundations. Springer, Berlin

    Book  MATH  Google Scholar 

  • Garcia A, Simari G (2004) Defeasible logic programming: an argumentative approach. Theory Pract Logic Program 4:95–138

    Article  MathSciNet  MATH  Google Scholar 

  • Garey MR, Johnson DS (1979) Computers and intractability: a guide to the theory of NP-completeness. Freeman, San Francisco

    MATH  Google Scholar 

  • Hecht R (2003) Deadly history, terrorism, and political violence 15:35–47. Suicide terrorism, Bibliography, 2004. Available from: www.maxwell.af.mil/au/aul/bibs/terrsuic/suite.htm

  • Johnson MW, McBurney P, Parsons S (2005) A mathematical model of dialog. Electron Notes Theor Comput Sci 141(5):33–48

    Article  MATH  Google Scholar 

  • Kaplan A (1981) The psychodynamics of terrorism. In: Alexander Y, Gleason J (eds) Behavioral and quantitative perspectives on terrorism. Pergamon Press, New York

    Google Scholar 

  • Kent I, Nicholls W (1977) The psychodynamics of terrorism. Ment Health Soc 4(1 Suppl 2):1–8

    Google Scholar 

  • Kipper K, Korhonen A, Ryant N, Palmer M (2008) A large-scale classification of English verbs. Lang Resour Eval J 42:21–40

    Article  Google Scholar 

  • Kovalerchuk B, Schwing J (eds) (2005) Visual and spatial analysis: advances in data mining reasoning and problem solving. Springer, Berlin

    Google Scholar 

  • Kuznetsov SO (1999) Learning of simple conceptual graphs from positive and negative examples. In: Zytkow J, Rauch J (eds) Proceedings of 3rd conference on principles of data mining and knowledge discovery (PKDD 1999). Lecture notes in artificial intelligence, vol 1704. Springer, pp 384–392

    Google Scholar 

  • Levesque HJ, Reiter R, Lesperance Y, Lin F, Scherl RB (1997) GOLOG: A logic programming language for dynamic domains. J Log Program 31:59–84

    Article  MathSciNet  MATH  Google Scholar 

  • Liu H, Maes P (2004) What would they think? A computational model of attitudes. In: Proceedings of the ACM international conference on Intelligent User Interfaces (IUI 2004). Madeira, Funchal, Portugal

    Google Scholar 

  • McCarthy J (1979) Ascribing mental qualities to machines. In: Ringle M (ed) Philosophical perspectives in artificial intelligence. Humanities Press, Atlantic Highlands

    Google Scholar 

  • McCarthy J (1995) Making robots conscious of their mental states. In: Proceedings of the machine intelligence conference 15

    Google Scholar 

  • Mehrabian A (1971) Nonverbal betrayal of feeling. J Exp Res Pers 5:64–73

    Google Scholar 

  • Mehrabian A (1995) Framework for a comprehensive description and measurement of emotional states. Genet Soc Gen Psychol Monogr 121:339–361

    Google Scholar 

  • Muller HJ, Dieng R (eds) (2000) Computational conflicts: conflict modeling for distributed intelligent systems. Springer, New York

    Google Scholar 

  • Nodine M, Unruh A (2000) Constructing robust conversation policies in dynamic agent communities. In: Dignum F, Creaves M (eds) Issues in agent communication. Springer, Berlin

    Google Scholar 

  • Oatley K, Jenkins J (1996) Understanding emotions. Blackwell, Oxford

    Google Scholar 

  • Pilowsky T, Yirmiya N, Arbelle S, Mozes T (2000) Theory of mind abilities of children with schizophrenia, children with autism, and normally developing children. Schizophr Res 42(2):145–155

    Article  Google Scholar 

  • Rahwan I, Ramchurn SD, Jennings NR, McBurney P, Parsons S, Sonenberg L (2003) Argumentation-based negotiation. Knowl Eng Rev 18(4):343–375

    Article  Google Scholar 

  • Ram A, Moorman K (eds) (1999) Understanding language understanding: computational models of reading. The MIT Press, Cambridge, MA

    Google Scholar 

  • Rao AS, Georgeff, MP (1995) BDI-agents: from theory to practice. In: Proceedings of the first International Conference on Multiagent Systems (ICMAS’ 1995)

    Google Scholar 

  • Reynolds JC (1970) Transformational systems and the algebraic structure of atomic formulas. Mach Intell 5:135–151. Edinburgh University Press, USA

    Google Scholar 

  • Riesbeck CK, Schank RC, Goldman NM, Rieger CJ (1975) Inference and paraphrase by computer. J ACM 22(3):309–328

    Article  MATH  Google Scholar 

  • Rouhana NN, Bar-Tal D (1998) Psychological dynamics of intractable ethno national conflicts: the Israeli-Palestinian case. Am Psychol 53:761–770

    Article  Google Scholar 

  • Schank R (1969) A conceptual dependency parser for natural language. In: Proceedings of the 1969 conference on computational linguistics, Sweden, pp 1–3

    Google Scholar 

  • Scheutz M (2001) Agents with or without emotions, FLAIRS-01, Pensacola Beach, pp 89–93

    Google Scholar 

  • Searle J (1979) Expression and meaning studies in the theory of speech acts. Cambridge University Press, Cambridge/New York

    Book  Google Scholar 

  • Shanahan M (1997) Solving the frame problem. MIT Press, Cambridge, MA

    Google Scholar 

  • Shardanand U, Maes P (1995) Social information filtering: algorithms for automating ‘word of mouth’. In: Proceedings of the conference human factors in computing systems CHI’95, pp210–127

    Google Scholar 

  • Shoham Y (1993) Agent oriented programming. Artif Intell 60(1):51–92

    Article  MathSciNet  Google Scholar 

  • Sloman A (1999) Damasio, Descartes, alarms and meta-management. 1998 IEEE international conference on systems, man, and cybernetics, 1998

    Google Scholar 

  • Sloman A (2000) Architecture-based conceptions of mind. In: Proceedings of the 11th international congress of logic, methodology and philosophy of science, Dordrecht, Kluwer, p 397

    Google Scholar 

  • Wehr P (1979) Conflict regulation. Westview Press, Boulder

    Google Scholar 

  • Wooldridge M (2000) Reasoning about rational agents. The MIT Press, Cambridge, MA

    MATH  Google Scholar 

  • Yevtushenko SA (2005) ConExp software. http://www.sf.net/projects/conexp?

Download references

Author information

Authors and Affiliations

  1. Knowledge-Trail Inc., San Jose, CA, USA

    Boris Galitsky

Authors
  1. Boris Galitsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Galitsky, B. (2016). Formalizing Theory of Mind. In: Computational Autism. Human–Computer Interaction Series. Springer, Cham. https://doi.org/10.1007/978-3-319-39972-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-39972-0_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-39971-3

  • Online ISBN: 978-3-319-39972-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation