Combining theory of mind and abductive reasoning in agent-oriented programming

This paper presents a novel model, called T om A bd , that endows autonomous agents with Theory of Mind capabilities. T om A bd agents are able to simulate the perspective of the world that their peers have and reason from their perspective. Furthermore, T om A bd agents can reason from the perspect...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Autonomous agents and multi-agent systems Ročník 37; číslo 2; s. 36
Hlavní autoři:	Montes, Nieves, Luck, Michael, Osman, Nardine, Rodrigues, Odinaldo, Sierra, Carles
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Springer US 01.12.2023 Springer Nature B.V
Témata:	Artificial Intelligence Autism Cognition & reasoning Cognitive ability Computer programming Computer Science Computer Systems Organization and Communication Networks Decision making Hypotheses Logic Reasoning Simulation Social life & customs Software Engineering/Programming and Operating Systems Theory of mind User Interfaces and Human Computer Interaction Theory of mind Social AI Hanabi Agent-oriented programming Abductive reasoning
ISSN:	1387-2532, 1573-7454
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Abstract	This paper presents a novel model, called T om A bd , that endows autonomous agents with Theory of Mind capabilities. T om A bd agents are able to simulate the perspective of the world that their peers have and reason from their perspective. Furthermore, T om A bd agents can reason from the perspective of others down to an arbitrary level of recursion , using Theory of Mind of n th order. By combining the previous capability with abductive reasoning, T om A bd agents can infer the beliefs that others were relying upon to select their actions, hence putting them in a more informed position when it comes to their own decision-making. We have tested the T om A bd model in the challenging domain of Hanabi, a game characterised by cooperation and imperfect information. Our results show that the abilities granted by the T om A bd model boost the performance of the team along a variety of metrics, including final score, efficiency of communication, and uncertainty reduction.
AbstractList	This paper presents a novel model, called TomAbd, that endows autonomous agents with Theory of Mind capabilities. TomAbd agents are able to simulate the perspective of the world that their peers have and reason from their perspective. Furthermore, TomAbd agents can reason from the perspective of others down to an arbitrary level of recursion, using Theory of Mind of nth order. By combining the previous capability with abductive reasoning, TomAbd agents can infer the beliefs that others were relying upon to select their actions, hence putting them in a more informed position when it comes to their own decision-making. We have tested the TomAbd model in the challenging domain of Hanabi, a game characterised by cooperation and imperfect information. Our results show that the abilities granted by the TomAbd model boost the performance of the team along a variety of metrics, including final score, efficiency of communication, and uncertainty reduction. This paper presents a novel model, called T om A bd , that endows autonomous agents with Theory of Mind capabilities. T om A bd agents are able to simulate the perspective of the world that their peers have and reason from their perspective. Furthermore, T om A bd agents can reason from the perspective of others down to an arbitrary level of recursion , using Theory of Mind of $$n^{\text {th}}$$ n th order. By combining the previous capability with abductive reasoning, T om A bd agents can infer the beliefs that others were relying upon to select their actions, hence putting them in a more informed position when it comes to their own decision-making. We have tested the T om A bd model in the challenging domain of Hanabi, a game characterised by cooperation and imperfect information. Our results show that the abilities granted by the T om A bd model boost the performance of the team along a variety of metrics, including final score, efficiency of communication, and uncertainty reduction. This paper presents a novel model, called T om A bd , that endows autonomous agents with Theory of Mind capabilities. T om A bd agents are able to simulate the perspective of the world that their peers have and reason from their perspective. Furthermore, T om A bd agents can reason from the perspective of others down to an arbitrary level of recursion , using Theory of Mind of n th order. By combining the previous capability with abductive reasoning, T om A bd agents can infer the beliefs that others were relying upon to select their actions, hence putting them in a more informed position when it comes to their own decision-making. We have tested the T om A bd model in the challenging domain of Hanabi, a game characterised by cooperation and imperfect information. Our results show that the abilities granted by the T om A bd model boost the performance of the team along a variety of metrics, including final score, efficiency of communication, and uncertainty reduction.
ArticleNumber	36
Author	Osman, Nardine Luck, Michael Montes, Nieves Rodrigues, Odinaldo Sierra, Carles
Author_xml	– sequence: 1 givenname: Nieves surname: Montes fullname: Montes, Nieves email: nmontes@iiia.csic.es organization: Department of Multi-Agent Systems, Artificial Intelligence Research Institute (IIIA-CSIC) – sequence: 2 givenname: Michael surname: Luck fullname: Luck, Michael organization: Department of Informatics, King’s College London – sequence: 3 givenname: Nardine surname: Osman fullname: Osman, Nardine organization: Department of Multi-Agent Systems, Artificial Intelligence Research Institute (IIIA-CSIC) – sequence: 4 givenname: Odinaldo surname: Rodrigues fullname: Rodrigues, Odinaldo organization: Department of Informatics, King’s College London – sequence: 5 givenname: Carles surname: Sierra fullname: Sierra, Carles organization: Department of Multi-Agent Systems, Artificial Intelligence Research Institute (IIIA-CSIC)
BookMark	eNp9kEtLAzEUhYNUsK3-AVcDrqN5zCQzSym-oOhG1yGTZMaUTlKT1NJ_b9oRBBddXM5dnO-ey5mBifPOAHCN0S1GiN9FjMqqhohQiBqGKdydgSmuOIW8rMpJ3mnNIakouQCzGFcIYUYYnoLXhR9a66zri_RpfNgXvisG63QhD9PqrUr22xTByOiPNusK2RuXoA82i9HFJvg-yCFT_SU47-Q6mqtfnYOPx4f3xTNcvj29LO6XUFFGE2yIblgriWK1JLplukUUd6WsOWO646xuNSslrimqOq0qhZUyrGlQxyUvdUPoHNyMd3P219bEJFZ-G1yOFJRUJckgb7KrHl0q-BiD6YSySSbrXQrSrgVG4tCeGNsTuT1xbE_sMkr-oZtgBxn2pyE6QjGbXW_C31cnqB_bbYWk
CitedBy_id	crossref_primary_10_3389_frobt_2025_1532693 crossref_primary_10_3390_electronics13010127
Cites_doi	10.1017/s0033291720000835 10.1016/j.ijar.2021.11.003 10.1613/jair.1.12889 10.1007/978-3-642-04380-2_7 10.1007/978-3-540-71956-4 10.1007/978-3-319-67468-1_7 10.1111/j.1467-8721.2007.00527.x 10.1093/logcom/2.6.719 10.1016/S0743-1066(97)00074-5 10.4169/math.mag.88.5.323 10.1093/biomet/52.3-4.591 10.1016/j.tics.2005.06.011 10.1214/aoms/1177729694 10.1016/S0743-1066(97)00026-5 10.1016/j.cub.2005.08.041 10.1007/s10458-022-09558-6 10.1017/CBO9780511530128 10.1038/d41586-021-01170-0 10.1511/2007.65.240 10.1007/3-540-46238-4_5 10.1111/1460-6984.12240 10.1016/0010-0277(85)90022-8 10.1016/j.cobeha.2019.04.010 10.1007/s10458-015-9309-1 10.1093/logcom/3.2.173 10.1016/j.artint.2018.01.002 10.1016/j.artint.2019.103216 10.3389/frai.2022.750763 10.1007/978-3-540-29678-2_5984 10.1109/WI-IAT.2009.153 10.3233/AIC-190615 10.53053/gxnc7576 10.1609/aaai.v34i05.6208 10.1007/978-3-031-20614-6_17 10.1109/CEC.2017.7969465 10.1007/978-3-030-17294-7_2 10.1007/3-540-45628-7_16 10.1007/bfb0031845 10.1007/978-94-6351-086-8_4 10.1007/978-94-017-0606-3
ContentType	Journal Article
Copyright	The Author(s) 2023 The Author(s) 2023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml	– notice: The Author(s) 2023 – notice: The Author(s) 2023. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID	C6C AAYXX CITATION 8FE 8FG ABJCF AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L6V M7S P5Z P62 PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS
DOI	10.1007/s10458-023-09613-w
DatabaseName	Springer Nature OA Free Journals CrossRef ProQuest SciTech Collection ProQuest Technology Collection Materials Science & Engineering Collection ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials - QC ProQuest Central Technology Collection ProQuest One ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Engineering Database Advanced Technologies & Aerospace Database (ProQuest) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection
DatabaseTitle	CrossRef Computer Science Database ProQuest Central Student Technology Collection ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Central (New) Engineering Collection Advanced Technologies & Aerospace Collection Engineering Database ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest One Academic (New)
DatabaseTitleList	Computer Science Database CrossRef
Database_xml	– sequence: 1 dbid: BENPR name: Proquest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1573-7454
ExternalDocumentID	10_1007_s10458_023_09613_w
GrantInformation_xml	– fundername: Horizon 2020 Framework Programme grantid: 101070930; 101070930; 101070930 funderid: http://dx.doi.org/10.13039/100010661 – fundername: Consejo Superior de Investigaciones Cientificas (CSIC) – fundername: Ministerio de Ciencia e Innovación grantid: TED2021-131295B-C31; TED2021-131295B-C31; TED2021-131295B-C31 funderid: http://dx.doi.org/10.13039/501100004837
GroupedDBID	-59 -5G -BR -EM -Y2 -~C .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 203 23N 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5GY 5VS 67Z 6J9 6NX 6TJ 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACDTI ACGFO ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACREN ACSNA ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADYOE ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFLOW AFQWF AFWTZ AFYQB AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMXSW AMYLF AMYQR AOCGG ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN B-. BA0 BDATZ BGNMA BSONS C6C CAG COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP EBLON EBS EIOEI EJD ESBYG F5P FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ6 GQ7 GQ8 GXS H13 HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ ITM IWAJR IXC IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ KDC KOV LAK LLZTM M4Y MA- N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM OVD P2P P9O PF0 PT4 PT5 QOS R89 R9I RNI RNS ROL RPX RSV RZC RZE RZK S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TEORI TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 YLTOR Z45 Z7R Z7X Z81 Z83 Z88 ZMTXR AAPKM AAYXX ABBRH ABDBE ABFSG ABJCF ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFKRA AFOHR AGQPQ AHPBZ AHWEU AIXLP ARAPS ATHPR AYFIA BENPR BGLVJ CCPQU CITATION HCIFZ K7- M7S PHGZM PHGZT PQGLB PTHSS 8FE 8FG AZQEC DWQXO GNUQQ JQ2 L6V P62 PKEHL PQEST PQQKQ PQUKI PRINS
ID	FETCH-LOGICAL-c363t-92d96ba2c68a2db6db031f4a8766df768bd64a18305fdc5c1cce6990f7a74d923
IEDL.DBID	RSV
ISICitedReferencesCount	6
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001049203000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	1387-2532
IngestDate	Sat Sep 27 04:20:55 EDT 2025 Tue Nov 18 21:14:26 EST 2025 Sat Nov 29 01:33:09 EST 2025 Fri Feb 21 02:40:51 EST 2025
IsDoiOpenAccess	true
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	2
Keywords	Theory of mind Social AI Hanabi Agent-oriented programming Abductive reasoning
Language	English
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c363t-92d96ba2c68a2db6db031f4a8766df768bd64a18305fdc5c1cce6990f7a74d923
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
OpenAccessLink	https://link.springer.com/10.1007/s10458-023-09613-w
PQID	3254230579
PQPubID	2043870
ParticipantIDs	proquest_journals_3254230579 crossref_citationtrail_10_1007_s10458_023_09613_w crossref_primary_10_1007_s10458_023_09613_w springer_journals_10_1007_s10458_023_09613_w
PublicationCentury	2000
PublicationDate	20231200
PublicationDateYYYYMMDD	2023-12-01
PublicationDate_xml	– month: 12 year: 2023 text: 20231200
PublicationDecade	2020
PublicationPlace	New York
PublicationPlace_xml	– name: New York
PublicationTitle	Autonomous agents and multi-agent systems
PublicationTitleAbbrev	Auton Agent Multi-Agent Syst
PublicationYear	2023
Publisher	Springer US Springer Nature B.V
Publisher_xml	– name: Springer US – name: Springer Nature B.V
References	Williams, Fiore, Jentsch (CR5) 2022 CR37 CR35 CR33 Jara-Ettinger (CR24) 2019; 29 de Weerd, Verbrugge, Verheij (CR28) 2022 CR30 Cox, Silva, Deorsey, Kenter, Retter, Tobin (CR45) 2015; 88 CR2 CR3 CR6 CR49 Baron-Cohen, Leslie, Frith (CR10) 1985; 21 CR48 CR47 Albrecht, Stone (CR19) 2018; 258 Walton (CR31) 2014 CR44 Corballis (CR18) 2011 CR43 van der Hoek (CR14) 1993; 3 Kakas, Kowalski, Toni (CR34) 1993; 2 Fung, Kowalski (CR38) 1997; 33 CR42 Denecker, de Schreye (CR36) 1998; 34 Josephson, Josephson (CR32) 1994 Azzolini, Bellodi, Ferilli, Riguzzi, Zese (CR40) 2022; 142 Sadri, Toni, Lamma, Mello (CR39) 2000 Kullback, Leibler (CR55) 1951; 22 CR16 CR15 CR58 CR13 CR57 CR12 CR56 CR54 CR52 CR51 CR50 Nashed, Zilberstein (CR21) 2022; 73 Frith, Frith (CR8) 2005; 15 Bard, Foerster, Chandar, Burch, Lanctot, Song, Parisotto, Dumoulin, Moitra, Hughes, Dunning, Mourad, Larochelle, Bellemare, Bowling (CR41) 2020; 280 Korkiakangas, Dindar, Laitila, Kärnä (CR9) 2016; 51 CR29 Baarslag, Hendrikx, Hindriks, Jonker (CR20) 2015; 30 CR27 CR26 Cuzzolin, Morelli, Cîrstea, Sahakian (CR25) 2020; 50 Corballis (CR17) 2007; 95 CR23 CR22 Knobe (CR4) 2005; 9 Bordini, Hübner, Wooldridge (CR7) 2007 Dafoe, Bachrach, Hadfield, Horvitz, Larson, Graepel (CR1) 2021; 593 Sindlar, Dastani, Meyer, Ruttkay, Kipp, Nijholt, Vilhjálmsson (CR59) 2009 Tager-Flusberg (CR11) 2007; 16 Shapiro, Wilk (CR53) 1965; 52 van den Bergh, Hommelberg, Kosters, Spieksma, Bosse, Bredeweg (CR46) 2017 9613_CR22 D Azzolini (9613_CR40) 2022; 142 A Dafoe (9613_CR1) 2021; 593 N Bard (9613_CR41) 2020; 280 F Cuzzolin (9613_CR25) 2020; 50 T Korkiakangas (9613_CR9) 2016; 51 J Jara-Ettinger (9613_CR24) 2019; 29 9613_CR29 C Cox (9613_CR45) 2015; 88 9613_CR27 9613_CR26 9613_CR23 J Williams (9613_CR5) 2022 9613_CR54 9613_CR52 9613_CR51 9613_CR50 9613_CR2 H Tager-Flusberg (9613_CR11) 2007; 16 9613_CR6 W van der Hoek (9613_CR14) 1993; 3 D Walton (9613_CR31) 2014 S Baron-Cohen (9613_CR10) 1985; 21 M Corballis (9613_CR17) 2007; 95 9613_CR3 J Knobe (9613_CR4) 2005; 9 JR Josephson (9613_CR32) 1994 MP Sindlar (9613_CR59) 2009 MJH van den Bergh (9613_CR46) 2017 9613_CR16 9613_CR15 9613_CR58 9613_CR13 9613_CR57 9613_CR12 S Kullback (9613_CR55) 1951; 22 9613_CR56 T Baarslag (9613_CR20) 2015; 30 9613_CR44 9613_CR43 9613_CR42 SS Shapiro (9613_CR53) 1965; 52 TH Fung (9613_CR38) 1997; 33 H de Weerd (9613_CR28) 2022 A Kakas (9613_CR34) 1993; 2 M Denecker (9613_CR36) 1998; 34 9613_CR49 C Frith (9613_CR8) 2005; 15 S Nashed (9613_CR21) 2022; 73 9613_CR48 F Sadri (9613_CR39) 2000 9613_CR47 9613_CR33 9613_CR30 RH Bordini (9613_CR7) 2007 MC Corballis (9613_CR18) 2011 SV Albrecht (9613_CR19) 2018; 258 9613_CR37 9613_CR35
References_xml	– ident: CR22 – volume: 50 start-page: 1057 issue: 7 year: 2020 end-page: 1061 ident: CR25 article-title: Knowing me, knowing you: Theory of mind in AI publication-title: Psychological Medicine doi: 10.1017/s0033291720000835 – ident: CR49 – volume: 142 start-page: 41 year: 2022 end-page: 63 ident: CR40 article-title: Abduction with probabilistic logic programming under the distribution semantics publication-title: International Journal of Approximate Reasoning doi: 10.1016/j.ijar.2021.11.003 – ident: CR16 – ident: CR51 – ident: CR12 – volume: 73 start-page: 277 year: 2022 end-page: 327 ident: CR21 article-title: A survey of opponent modeling in adversarial domains publication-title: Journal of Artificial Intelligence Research doi: 10.1613/jair.1.12889 – ident: CR35 – start-page: 34 year: 2009 end-page: 41 ident: CR59 article-title: Bdi-based development of virtual characters with a theory of mind publication-title: Intelligent Virtual Agents doi: 10.1007/978-3-642-04380-2_7 – ident: CR29 – ident: CR54 – year: 2007 ident: CR7 publication-title: Programming multi-agent systems in agent speak using Jason doi: 10.1007/978-3-540-71956-4 – start-page: 93 year: 2017 end-page: 105 ident: CR46 article-title: Aspects of the cooperative card game hanabi publication-title: BNAIC 2016: Artificial Intelligence doi: 10.1007/978-3-319-67468-1_7 – ident: CR58 – ident: CR42 – volume: 16 start-page: 311 issue: 6 year: 2007 end-page: 315 ident: CR11 article-title: Evaluating the theory-of-mind hypothesis of autism publication-title: Current Directions in Psychological Science doi: 10.1111/j.1467-8721.2007.00527.x – volume: 2 start-page: 719 issue: 6 year: 1993 end-page: 770 ident: CR34 article-title: Abductive logic programming publication-title: Journal of Logic and Computation doi: 10.1093/logcom/2.6.719 – ident: CR15 – volume: 34 start-page: 111 issue: 2 year: 1998 end-page: 167 ident: CR36 article-title: Sldnfa: An abductive procedure for abductive logic programs publication-title: The Journal of Logic Programming doi: 10.1016/S0743-1066(97)00074-5 – ident: CR50 – volume: 88 start-page: 323 issue: 5 year: 2015 end-page: 336 ident: CR45 article-title: How to make the perfect fireworks display: Two strategies for Hanabi publication-title: Mathematics Magazine doi: 10.4169/math.mag.88.5.323 – volume: 52 start-page: 591 issue: 3–4 year: 1965 end-page: 611 ident: CR53 article-title: An analysis of variance test for normality (complete samples) publication-title: Biometrika doi: 10.1093/biomet/52.3-4.591 – ident: CR57 – volume: 9 start-page: 357 issue: 8 year: 2005 end-page: 359 ident: CR4 article-title: Theory of mind and moral cognition: Exploring the connections publication-title: Trends in Cognitive Sciences doi: 10.1016/j.tics.2005.06.011 – ident: CR26 – volume: 22 start-page: 79 issue: 1 year: 1951 end-page: 86 ident: CR55 article-title: On information and sufficiency publication-title: The Annals of Mathematical Statistics doi: 10.1214/aoms/1177729694 – volume: 33 start-page: 151 issue: 2 year: 1997 end-page: 165 ident: CR38 article-title: The iff proof procedure for abductive logic programming publication-title: The Journal of Logic Programming doi: 10.1016/S0743-1066(97)00026-5 – ident: CR43 – ident: CR47 – volume: 15 start-page: 644 issue: 17 year: 2005 end-page: 645 ident: CR8 article-title: Theory of mind publication-title: Current Biology doi: 10.1016/j.cub.2005.08.041 – year: 2022 ident: CR28 article-title: Higher-order theory of mind is especially useful in unpredictable negotiations publication-title: Autonomous Agents and Multi-Agent Systems doi: 10.1007/s10458-022-09558-6 – ident: CR2 – ident: CR37 – ident: CR30 – ident: CR33 – ident: CR6 – start-page: 316 year: 1994 ident: CR32 publication-title: Abductive inference: Computation, philosophy, technology doi: 10.1017/CBO9780511530128 – start-page: 291 year: 2011 ident: CR18 publication-title: The Recursive Mind: The Origins of Human Language, Thought, and Civilization – ident: CR56 – volume: 593 start-page: 33 issue: 7857 year: 2021 end-page: 36 ident: CR1 article-title: Cooperative AI: machines must learn to find common ground publication-title: Nature doi: 10.1038/d41586-021-01170-0 – ident: CR27 – ident: CR23 – volume: 95 start-page: 240 issue: 3 year: 2007 ident: CR17 article-title: The uniqueness of human recursive thinking publication-title: American Scientist doi: 10.1511/2007.65.240 – start-page: 49 year: 2000 end-page: 60 ident: CR39 article-title: Abduction with negation as failure for active and reactive rules publication-title: AIIA 99: Advances in artificial intelligence doi: 10.1007/3-540-46238-4_5 – volume: 51 start-page: 685 issue: 6 year: 2016 end-page: 702 ident: CR9 article-title: The Sally-Anne test: An interactional analysis of a dyadic assessment publication-title: International Journal of Language & Communication Disorders doi: 10.1111/1460-6984.12240 – ident: CR44 – ident: CR48 – volume: 21 start-page: 37 issue: 1 year: 1985 end-page: 46 ident: CR10 article-title: Does the autistic child have a “theory of mind” ? publication-title: Cognition doi: 10.1016/0010-0277(85)90022-8 – volume: 29 start-page: 105 year: 2019 end-page: 110 ident: CR24 article-title: Theory of mind as inverse reinforcement learning publication-title: Current Opinion in Behavioral Sciences doi: 10.1016/j.cobeha.2019.04.010 – volume: 30 start-page: 849 issue: 5 year: 2015 end-page: 898 ident: CR20 article-title: Learning about the opponent in automated bilateral negotiation: A comprehensive survey of opponent modeling techniques publication-title: Autonomous Agents and Multi-Agent Systems doi: 10.1007/s10458-015-9309-1 – ident: CR3 – volume: 3 start-page: 173 issue: 2 year: 1993 end-page: 195 ident: CR14 article-title: Systems for knowledge and belief publication-title: Journal of Logic and Computation doi: 10.1093/logcom/3.2.173 – ident: CR52 – ident: CR13 – volume: 258 start-page: 66 year: 2018 end-page: 95 ident: CR19 article-title: Autonomous agents modelling other agents: A comprehensive survey and open problems publication-title: Artificial Intelligence doi: 10.1016/j.artint.2018.01.002 – volume: 280 start-page: 103216 year: 2020 ident: CR41 article-title: The hanabi challenge: A new frontier for AI research publication-title: Artificial Intelligence doi: 10.1016/j.artint.2019.103216 – start-page: 320 year: 2014 ident: CR31 publication-title: Abductive reasoning – year: 2022 ident: CR5 article-title: Supporting artificial social intelligence with theory of mind publication-title: Frontiers in Artificial Intelligence doi: 10.3389/frai.2022.750763 – volume: 95 start-page: 240 issue: 3 year: 2007 ident: 9613_CR17 publication-title: American Scientist doi: 10.1511/2007.65.240 – ident: 9613_CR15 – volume: 34 start-page: 111 issue: 2 year: 1998 ident: 9613_CR36 publication-title: The Journal of Logic Programming doi: 10.1016/S0743-1066(97)00074-5 – volume: 15 start-page: 644 issue: 17 year: 2005 ident: 9613_CR8 publication-title: Current Biology doi: 10.1016/j.cub.2005.08.041 – ident: 9613_CR13 doi: 10.1007/978-3-540-29678-2_5984 – ident: 9613_CR30 – ident: 9613_CR57 doi: 10.1109/WI-IAT.2009.153 – ident: 9613_CR29 doi: 10.3233/AIC-190615 – ident: 9613_CR44 – ident: 9613_CR48 – volume: 30 start-page: 849 issue: 5 year: 2015 ident: 9613_CR20 publication-title: Autonomous Agents and Multi-Agent Systems doi: 10.1007/s10458-015-9309-1 – volume: 33 start-page: 151 issue: 2 year: 1997 ident: 9613_CR38 publication-title: The Journal of Logic Programming doi: 10.1016/S0743-1066(97)00026-5 – start-page: 49 volume-title: AIIA 99: Advances in artificial intelligence year: 2000 ident: 9613_CR39 doi: 10.1007/3-540-46238-4_5 – year: 2022 ident: 9613_CR5 publication-title: Frontiers in Artificial Intelligence doi: 10.3389/frai.2022.750763 – ident: 9613_CR12 doi: 10.53053/gxnc7576 – start-page: 320 volume-title: Abductive reasoning year: 2014 ident: 9613_CR31 – volume-title: Programming multi-agent systems in agent speak using Jason year: 2007 ident: 9613_CR7 doi: 10.1007/978-3-540-71956-4 – volume: 22 start-page: 79 issue: 1 year: 1951 ident: 9613_CR55 publication-title: The Annals of Mathematical Statistics doi: 10.1214/aoms/1177729694 – start-page: 93 volume-title: BNAIC 2016: Artificial Intelligence year: 2017 ident: 9613_CR46 doi: 10.1007/978-3-319-67468-1_7 – ident: 9613_CR49 doi: 10.1609/aaai.v34i05.6208 – start-page: 34 volume-title: Intelligent Virtual Agents year: 2009 ident: 9613_CR59 doi: 10.1007/978-3-642-04380-2_7 – start-page: 291 volume-title: The Recursive Mind: The Origins of Human Language, Thought, and Civilization year: 2011 ident: 9613_CR18 – volume: 142 start-page: 41 year: 2022 ident: 9613_CR40 publication-title: International Journal of Approximate Reasoning doi: 10.1016/j.ijar.2021.11.003 – ident: 9613_CR3 – ident: 9613_CR6 doi: 10.1007/978-3-031-20614-6_17 – ident: 9613_CR47 doi: 10.1109/CEC.2017.7969465 – volume: 258 start-page: 66 year: 2018 ident: 9613_CR19 publication-title: Artificial Intelligence doi: 10.1016/j.artint.2018.01.002 – volume: 50 start-page: 1057 issue: 7 year: 2020 ident: 9613_CR25 publication-title: Psychological Medicine doi: 10.1017/s0033291720000835 – ident: 9613_CR51 – volume: 73 start-page: 277 year: 2022 ident: 9613_CR21 publication-title: Journal of Artificial Intelligence Research doi: 10.1613/jair.1.12889 – volume: 593 start-page: 33 issue: 7857 year: 2021 ident: 9613_CR1 publication-title: Nature doi: 10.1038/d41586-021-01170-0 – volume: 21 start-page: 37 issue: 1 year: 1985 ident: 9613_CR10 publication-title: Cognition doi: 10.1016/0010-0277(85)90022-8 – volume: 29 start-page: 105 year: 2019 ident: 9613_CR24 publication-title: Current Opinion in Behavioral Sciences doi: 10.1016/j.cobeha.2019.04.010 – volume: 88 start-page: 323 issue: 5 year: 2015 ident: 9613_CR45 publication-title: Mathematics Magazine doi: 10.4169/math.mag.88.5.323 – ident: 9613_CR56 doi: 10.1007/978-3-030-17294-7_2 – volume: 9 start-page: 357 issue: 8 year: 2005 ident: 9613_CR4 publication-title: Trends in Cognitive Sciences doi: 10.1016/j.tics.2005.06.011 – ident: 9613_CR35 doi: 10.1007/3-540-45628-7_16 – ident: 9613_CR27 – ident: 9613_CR42 – ident: 9613_CR23 – ident: 9613_CR52 doi: 10.1007/bfb0031845 – ident: 9613_CR2 – year: 2022 ident: 9613_CR28 publication-title: Autonomous Agents and Multi-Agent Systems doi: 10.1007/s10458-022-09558-6 – volume: 280 start-page: 103216 year: 2020 ident: 9613_CR41 publication-title: Artificial Intelligence doi: 10.1016/j.artint.2019.103216 – ident: 9613_CR54 doi: 10.1007/978-94-6351-086-8_4 – ident: 9613_CR58 – volume: 3 start-page: 173 issue: 2 year: 1993 ident: 9613_CR14 publication-title: Journal of Logic and Computation doi: 10.1093/logcom/3.2.173 – ident: 9613_CR16 – ident: 9613_CR37 – ident: 9613_CR50 – volume: 16 start-page: 311 issue: 6 year: 2007 ident: 9613_CR11 publication-title: Current Directions in Psychological Science doi: 10.1111/j.1467-8721.2007.00527.x – volume: 51 start-page: 685 issue: 6 year: 2016 ident: 9613_CR9 publication-title: International Journal of Language & Communication Disorders doi: 10.1111/1460-6984.12240 – ident: 9613_CR22 – ident: 9613_CR43 – volume: 52 start-page: 591 issue: 3–4 year: 1965 ident: 9613_CR53 publication-title: Biometrika doi: 10.1093/biomet/52.3-4.591 – volume: 2 start-page: 719 issue: 6 year: 1993 ident: 9613_CR34 publication-title: Journal of Logic and Computation doi: 10.1093/logcom/2.6.719 – start-page: 316 volume-title: Abductive inference: Computation, philosophy, technology year: 1994 ident: 9613_CR32 doi: 10.1017/CBO9780511530128 – ident: 9613_CR26 – ident: 9613_CR33 doi: 10.1007/978-94-017-0606-3
SSID	ssj0016261
Score	2.428525
Snippet	This paper presents a novel model, called T om A bd , that endows autonomous agents with Theory of Mind capabilities. T om A bd agents are able to simulate the... This paper presents a novel model, called TomAbd, that endows autonomous agents with Theory of Mind capabilities. TomAbd agents are able to simulate the...
SourceID	proquest crossref springer
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	36
SubjectTerms	Artificial Intelligence Autism Cognition & reasoning Cognitive ability Computer programming Computer Science Computer Systems Organization and Communication Networks Decision making Hypotheses Logic Reasoning Simulation Social life & customs Software Engineering/Programming and Operating Systems Theory of mind User Interfaces and Human Computer Interaction
SummonAdditionalLinks	– databaseName: Computer Science Database dbid: K7- link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwELagMLBQnqJQkAc2sGhiJ04mhBAVEqhiANQt8iNGlSAtbaHi33OXOo1AogtDliR2rJx99519dx8hp0qDzlc6ZViKhQmFycqBMkya0CkrderKrLTne9nrJf1--uA33CY-rLLSiaWitkODe-QXHDwZgMuRTC9H7wxZo_B01VNorJK1IAwDnOd3ki1OEQCszx2uBKsR8NAnzfjUORElDCwWQ9ITzmY_DVONNn8dkJZ2p9v874i3yKZHnPRqPkW2yUpe7JBmxeZA_eLeJT24pUu6CFpmN37RoaNv4LJThZfGwrCgGilGsZd7uHRQUIWZWfhVLO1pqY_2glYve-Spe_N4fcs82wIzPOZTloY2jbUKTZyo0OrYaljvTihQl7F14JVoGwsFGqATOWsiExiTx2DLnFRSWMCJ-6RRDIv8gFClQqm401Z0ckAAOuFOCS6NBOxihBQtElS_OjO-FDkyYrxmdRFlFE8G4slK8WSzFjlbtBnNC3EsfbtdySTzi3KS1QJpkfNKqvXjv3s7XN7bEdlAEvp5kEubNKbjj_yYrJvP6WAyPimn5Df43ube priority: 102 providerName: ProQuest
Title	Combining theory of mind and abductive reasoning in agent-oriented programming
URI	https://link.springer.com/article/10.1007/s10458-023-09613-w https://www.proquest.com/docview/3254230579
Volume	37
WOSCitedRecordID	wos001049203000001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1573-7454 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016261 issn: 1387-2532 databaseCode: P5Z dateStart: 20230601 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1573-7454 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016261 issn: 1387-2532 databaseCode: K7- dateStart: 20230601 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1573-7454 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016261 issn: 1387-2532 databaseCode: M7S dateStart: 20230601 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: Proquest Central customDbUrl: eissn: 1573-7454 dateEnd: 20241207 omitProxy: false ssIdentifier: ssj0016261 issn: 1387-2532 databaseCode: BENPR dateStart: 20230601 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1573-7454 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0016261 issn: 1387-2532 databaseCode: RSV dateStart: 19980301 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8JAEJ4IePAiPiOKzR686SbQbrvtUQ3ERNMQUEK8NPvoGhIFAyjx3ztbWlCjJnpoD-3uppndeXVmvgE4ERJlvpARtVAslAlbrNwUinLlGqG5jExWlda_4XEcDgZRJy8KmxbZ7kVIMpPUH4rdmB9S1DHUtinx6LwEFVR3oWXHbq-_jB2gib5ws0KLQeC5eanM92t8VkcrG_NLWDTTNu3q_75zCzZz65KcL47DNqylox2oFp0bSM7IuxDjI5m1hiBZJeMbGRvyhO45EfaSFgQWxSCxGevZ_1oyHBFhq7Do2AIjo5lK8swunPWwB3ft1u3lFc07K1DlBd6MRq6OAilcFYTC1TLQEnnbMIGiMdAGPRCpAyaQ2xu-0cpXTaXSAPWW4YIzjTbhPpRH41F6AEQIlwvPSM0aKWp7GXpGMI8rjnaKYpzVoFkQOFE57LjtfvGYrACTLcESJFiSESyZ1-B0Oed5Abrx6-h6sW9JzoDTxEPHF70rn0c1OCv2afX659UO_zb8CDZsA_pFgksdyrPJS3oM6-p1NpxOHKhctOJO14HSNaeOzSvt4b3j3zvZkX0HFXfiXQ
linkProvider	Springer Nature
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT-MwEB4hFgkusLxEWRZ8gBNYUMeNkwNCiIdAlAqJh7gFP2JUaTcttGzFn9rfyIybUIEENw4cckliS4k_f56xZ74BWNcGOV-blJMUC5eakpXr2nJlhddOmdSHrLSbpmq1ktvb9GIM_le5MBRWWXFiIGrXsbRHvh2hJ4PmckOle90HTlWj6HS1KqExhMVZ_jxAl623e3qI47shxPHR1cEJL6sKcBvFUZ-nwqWx0cLGiRbOxM4grr3USAux82h9GxdLjUjfaXhnG7ZubR4jZ3ullXQpCR0g5f-QxP4hVPDy9dQCnYOhg5eQ-kEkyiSdMlVPNhKOKySnIisRH7xdCEfW7bsD2bDOHc98tz_0E6ZLi5rtD6fALIzlxRzMVNUqWEle89DCWyaUw2Ahe_OZdTz72y4c03QZEr5F6mcUpR_2qFm7YJoyz-grSbrUsTKaDVvdL8D1l3zVIowXnSJfAqa1UDryxsmdHC0ck0Rey0hZhbaZlUrWoF4NbWZLqXWq-PEnG4lEExwyhEMW4JANarD52qY7FBr59O2VCgNZSTq9bASAGmxVKBo9_ri35c97W4PJk6vzZtY8bZ39gilBIA4BPSsw3n98yn_DhP3Xb_ceV8N0YHD31eh6ATMFRSk
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1bS8MwFD7oFPHFecXp1Dz4pmFbmzbto6hDcYyBOvZWcmlkoN3YpsN_70kv2xQVxIe-tEkoJ8m5JOf7DsCpkKjzhQyppWKhTFiwckMoypVjhOYyNCkqrdvi7XbQ64WdBRR_mu1eXElmmAbL0pRMakNtagvAN-YFFO0NtSVLXDpdhhVmiwbZeP2-O7tHQHc9C7kCy0fgOjls5vsxPpumub_55Yo0tTzN8v__eRM2cq-TXGTLZAuW4mQbykVFB5Jv8B1o4yuZlowgKcLxnQwMecGwnQj7SEsOi-qR2Ez29ByX9BMiLDqLDixhMrqvJM_4wl5Pu_DYvH64vKF5xQWqXN-d0NDRoS-Fo_xAOFr6WuKeN0ygyvS1wchEap8J1AJ1z2jlqYZSsY_2zHDBmUZfcQ9KySCJ94EI4XDhGqlZPUYvQAauEczliqP_ohhnFWgUwo5UTkduq2I8R3MiZSuwCAUWpQKLphU4m_UZZmQcv7auFnMY5RtzHLkYEGPU5fGwAufFnM0__zzawd-an8Ba56oZtW7bd4ewbmvUZzkwVShNRq_xEayqt0l_PDpO1-sHJOPpww
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Combining+theory+of+mind+and+abductive+reasoning+in+agent-oriented+programming&rft.jtitle=Autonomous+agents+and+multi-agent+systems&rft.au=Montes%2C+Nieves&rft.au=Luck%2C+Michael&rft.au=Osman%2C+Nardine&rft.au=Rodrigues%2C+Odinaldo&rft.date=2023-12-01&rft.pub=Springer+US&rft.issn=1387-2532&rft.eissn=1573-7454&rft.volume=37&rft.issue=2&rft_id=info:doi/10.1007%2Fs10458-023-09613-w&rft.externalDocID=10_1007_s10458_023_09613_w
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1387-2532&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1387-2532&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1387-2532&client=summon