{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T04:28:09Z","timestamp":1729052889876},"reference-count":153,"publisher":"Oxford University Press (OUP)","issue":"6","license":[{"start":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T00:00:00Z","timestamp":1683504000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,11,27]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Since the early days of artificial intelligence (AI), many logics have been explored as tools for knowledge representation and reasoning. In the spirit of the Crossley Festscrift and recognizing John Crossley\u2019s diverse interests and his legacy in both mathematical logic and computer science, I discuss examples from my own research that sit in the overlap of logic and AI, with a focus on supporting human\u2013AI interactions.<\/jats:p>","DOI":"10.1093\/jigpal\/jzad006","type":"journal-article","created":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T23:04:01Z","timestamp":1683587041000},"page":"1024-1046","source":"Crossref","is-referenced-by-count":0,"title":["Logics and collaboration"],"prefix":"10.1093","volume":"31","author":[{"given":"Liz","family":"Sonenberg","sequence":"first","affiliation":[{"name":"The University of Melbourne, Australia For the 85th birthday of John N. Crossley"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2023,5,8]]},"reference":[{"article-title":"A world of intelligent software agents","year":"2021","author":"AOS","key":"2023112820224923200_ref1"},{"volume-title":"Predictably Irrational: The Hidden Forces That Shape Our Decisions","year":"2008","author":"Ariely","key":"2023112820224923200_ref2"},{"key":"2023112820224923200_ref3","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1016\/0005-1098(83)90046-8","article-title":"Ironies of automation","volume":"19","author":"Bainbridge","year":"1983","journal-title":"Automatica"},{"key":"2023112820224923200_ref4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1038\/s41562-017-0064","article-title":"Rational quantitative attribution of beliefs, desires and percepts in human mentalizing","volume":"1","author":"Baker","year":"2017","journal-title":"Nature Human Behaviour"},{"key":"2023112820224923200_ref5","doi-asserted-by":"crossref","first-page":"103216","DOI":"10.1016\/j.artint.2019.103216","article-title":"The Hanabi challenge: A new frontier for AI research","volume":"280","author":"Bard","year":"2020","journal-title":"Artificial Intelligence"},{"key":"2023112820224923200_ref6","first-page":"1","article-title":"The what, the why, and the how of artificial explanations in automated decision-making","author":"Besold","year":"2018"},{"key":"2023112820224923200_ref7","doi-asserted-by":"crossref","first-page":"648","DOI":"10.1145\/3351095.3375624","article-title":"Explainable machine learning in deployment","volume-title":"Proceedings of the 2020 Conference on Fairness, Accountability, and Transparency","author":"Bhatt","year":"2020"},{"key":"2023112820224923200_ref8","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3166\/jancl.21.9-34","article-title":"Epistemic planning for single and multi-agent systems","volume":"21","author":"Bolander","year":"2011","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2023112820224923200_ref9","doi-asserted-by":"crossref","first-page":"103304","DOI":"10.1016\/j.artint.2020.103304","article-title":"Del-based epistemic planning: Decidability and complexity","volume":"287","author":"Bolander","year":"2020","journal-title":"Artificial Intelligence"},{"key":"2023112820224923200_ref10","first-page":"exac010","article-title":"Parameterized complexity of dynamic belief updates: A complete map","volume":"03","author":"Bolander","year":"2022","journal-title":"Journal of Logic and Computation"},{"volume-title":"Intention, Plans, and Practical Reason","year":"1987","author":"Bratman","key":"2023112820224923200_ref11"},{"key":"2023112820224923200_ref12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","article-title":"Plans and resource-bounded practical reasoning","volume":"4","author":"Bratman","year":"1988","journal-title":"Computational Intelligence"},{"key":"2023112820224923200_ref13","doi-asserted-by":"crossref","DOI":"10.6028\/NIST.IR.8367","article-title":"Psychological foundations of explainability and interpretability in artificial intelligence","volume-title":"Technical Report, NIST Interagency\/Internal Report","author":"Broniatowski","year":"2021"},{"volume-title":"JACK Intelligent Agents - Components for Intelligent Agents in Java","year":"1999","author":"Busetta","key":"2023112820224923200_ref14"},{"key":"2023112820224923200_ref15","doi-asserted-by":"crossref","DOI":"10.1145\/3397481.3450644","article-title":"I think I get your point, AI! the illusion of explanatory depth in explainable AI","volume-title":"26th International Conference on Intelligent User Interfaces","author":"Chromik","year":"2021"},{"key":"2023112820224923200_ref16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511620539","volume-title":"Using Language","author":"Clark","year":"1996"},{"key":"2023112820224923200_ref17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1609\/aimag.v40i3.4814","article-title":"The case for teamwork","volume":"40","author":"Cohen","year":"2019","journal-title":"AI Magazine"},{"key":"2023112820224923200_ref18","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","article-title":"Intention is choice with commitment","volume":"42","author":"Cohen","year":"1990","journal-title":"Artificial Intelligence"},{"key":"2023112820224923200_ref19","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1037\/0033-295X.96.2.187","article-title":"Folk psychology of mental activities","volume":"96","author":"Conrad","year":"1989","journal-title":"Psychological Review"},{"volume-title":"The Nature of Explanation","year":"1943","author":"Craik","key":"2023112820224923200_ref20"},{"key":"2023112820224923200_ref21","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0062849","volume-title":"Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia","author":"Crossley","year":"1975"},{"key":"2023112820224923200_ref22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0062850","article-title":"Reminiscences of logicians","volume-title":"Algebra and Logic","author":"Crossley","year":"1975"},{"volume-title":"What is Mathematical Logic?","year":"1990","author":"Crossley","key":"2023112820224923200_ref23"},{"key":"2023112820224923200_ref24","first-page":"jzac057","article-title":"What is mathematical logic? An Australian odyssey","volume":"07","author":"Crossley","year":"2022","journal-title":"Logic Journal of the IGPL"},{"key":"2023112820224923200_ref25","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.1017\/S0033291720000835","article-title":"Knowing me, knowing you: theory of mind in AI","volume":"50","author":"Cuzzolin","year":"2020","journal-title":"Psychological Medicine"},{"key":"2023112820224923200_ref26","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/3271625","article-title":"Human-level intelligence or animal-like abilities?","volume":"61","author":"Darwiche","year":"2018","journal-title":"Communications of the ACM"},{"key":"2023112820224923200_ref27","doi-asserted-by":"crossref","DOI":"10.24963\/ijcai.2020\/684","article-title":"BDI agent architectures: A survey","volume-title":"Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI)","author":"De Silva","year":"2020"},{"key":"2023112820224923200_ref28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10458-022-09558-6","article-title":"Higher-order theory of mind is especially useful in unpredictable negotiations","volume":"36","author":"de Weerd","year":"2022","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"2023112820224923200_ref29","first-page":"4","article-title":"Introduction to a special section on the use of logic in agent-based social simulation","volume":"7","author":"Dignum","year":"2004","journal-title":"Journal of Artificial Societies and Social Simulation"},{"key":"2023112820224923200_ref30","first-page":"111","article-title":"Towards socially sophisticated BDI agents","volume-title":"4th International Conference on Multi-Agent Systems, ICMAS 2000","author":"Dignum","year":"2000"},{"key":"2023112820224923200_ref31","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/B:AGNT.0000019688.11109.19","article-title":"The dMARS architecture: A specification of the distributed multi-agent reasoning system","volume":"1","author":"D\u2019Inverno","year":"2004","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"volume-title":"Teamwork in Multi-Agent Systems: A Formal Approach","year":"2011","author":"Dunin-Keplicz","key":"2023112820224923200_ref32"},{"key":"2023112820224923200_ref33","doi-asserted-by":"crossref","first-page":"3075","DOI":"10.1007\/s10462-021-10064-6","article-title":"Modal context restriction for multiagent BDI logics","volume":"55","author":"Dziubi\u0144ski","year":"2022","journal-title":"Artificial Intelligence Review"},{"key":"2023112820224923200_ref34","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1037\/h0053870","article-title":"The theory of decision making","volume":"51","author":"Edwards","year":"1954","journal-title":"Psychological Bulletin"},{"key":"2023112820224923200_ref35","article-title":"Practical specification of belief manipulation in games","volume-title":"Proceedings of the Thirteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE\u201917)","author":"Eger","year":"2017"},{"key":"2023112820224923200_ref36","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1109\/TG.2020.3009359","article-title":"Operationalizing intentionality to play Hanabi with human players","volume":"13","author":"Eger","year":"2021","journal-title":"IEEE Transactions on Games"},{"key":"2023112820224923200_ref37","first-page":"1","article-title":"Expanding explainability: Towards social transparency in AI systems","volume-title":"Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems","author":"U.","year":"2021"},{"key":"2023112820224923200_ref38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3290607.3312787","article-title":"The impact of placebic explanations on trust in intelligent systems","volume-title":"Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems","author":"Eiband","year":"2019"},{"key":"2023112820224923200_ref39","first-page":"18","article-title":"Implementing industrial multi-agent systems using $JAC{K}^{TM}$","volume-title":"International Workshop on Programming Multi-Agent Systems","author":"Evertsz","year":"2003"},{"key":"2023112820224923200_ref40","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"Fagin","year":"1995"},{"key":"2023112820224923200_ref41","first-page":"2978","article-title":"Computing social behaviours using agent models","volume-title":"Proceedings of the 24th International Joint Conference on Artificial Intelligence IJCAI","author":"Felli","year":"2015"},{"key":"2023112820224923200_ref42","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1016\/j.cogpsych.2015.08.004","article-title":"Why some surprises are more surprising than others: Surprise as a metacognitive sense of explanatory difficulty","volume":"81","author":"Foster","year":"2015","journal-title":"Cognitive Psychology"},{"key":"2023112820224923200_ref43","first-page":"794","article-title":"Do people engage cognitively with AI? Impact of AI assistance on incidental learning","volume-title":"27th International Conference on Intelligent User Interfaces, IUI \u201922","author":"Gajos","year":"2022"},{"volume-title":"Dai Vernon\u2019s Inner Secrets of Card Magic","year":"1959","author":"Ganson","key":"2023112820224923200_ref44"},{"volume-title":"Matching the Cards, Ganson\u2019s Magic Teach-In Series","year":"1977","author":"Ganson","key":"2023112820224923200_ref45"},{"key":"2023112820224923200_ref46","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/978-3-662-03678-5_8","article-title":"Rational software agents: From theory to practice","volume-title":"Agent Technology: Foundations, Applications, and Markets","author":"Georgeff","year":"1998"},{"key":"2023112820224923200_ref47","article-title":"A system for reasoning in dynamic domains: Fault diagnosis on the space shuttle","volume-title":"Technical Note 375","author":"Georgeff","year":"1986"},{"key":"2023112820224923200_ref48","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-49057-4_1","article-title":"The belief-desire-intention model of agency","volume-title":"Intelligent Agents V: Agents Theories, Architectures, and Languages","author":"Georgeff","year":"1999"},{"key":"2023112820224923200_ref49","first-page":"677","article-title":"Reactive reasoning and planning","volume-title":"Proceedings of the Sixth National Conference on Artificial Intelligence Volume 2","author":"Georgeff","year":"1987"},{"key":"2023112820224923200_ref50","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/MEX.1996.546590","article-title":"A profile of the Australian Artificial Intelligence Institute","volume":"11","author":"Georgeff","year":"1996","journal-title":"IEEE Expert"},{"key":"2023112820224923200_ref51","doi-asserted-by":"crossref","first-page":"1363","DOI":"10.1111\/tops.12480","article-title":"How to explain behavior?","volume":"12","author":"Gigerenzer","year":"2020","journal-title":"Topics in Cognitive Science"},{"key":"2023112820224923200_ref52","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/BF00485446","article-title":"Modelling collective belief","volume":"73","author":"Gilbert","year":"1987","journal-title":"Synthese"},{"key":"2023112820224923200_ref53","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/978-3-030-91699-2_13","article-title":"The future of AI: Neat or scruffy?","volume-title":"Intelligent Systems: 10th Brazilian Conference, BRACIS 2021","author":"Gon\u00e7alves","year":"2021"},{"key":"2023112820224923200_ref54","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-3-030-51890-5_15","article-title":"Computational models of mentalizing","volume-title":"The Neural Basis of Mentalizing","author":"Gonzalez","year":"2021"},{"key":"2023112820224923200_ref55","first-page":"39","article-title":"Formal approaches to teamwork","volume":"1","author":"Grant","year":"2005","journal-title":"We Will Show Them: Essays in Honour of Dov Gabbay"},{"key":"2023112820224923200_ref56","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1162\/COLI_a_00313","article-title":"Smart enough to talk with us? Foundations and challenges for dialogue capable AI systems","volume":"44","author":"Grosz","year":"2018","journal-title":"Computational Linguistics"},{"key":"2023112820224923200_ref57","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1609\/aimag.v40i2.2850","article-title":"DARPA\u2019s explainable artificial intelligence (XAI) program","volume":"40","author":"Gunning","year":"2019","journal-title":"AI Magazine"},{"key":"2023112820224923200_ref58","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1016\/j.cogsys.2005.11.013","article-title":"Group beliefs and the distinction between belief and acceptance","volume":"7","author":"Hakli","year":"2006","journal-title":"Cognitive Systems Research"},{"key":"2023112820224923200_ref59","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/79147.79161","article-title":"Knowledge and common knowledge in a distributed environment","volume":"37","author":"Halpern","year":"1990","journal-title":"Journal of the ACM"},{"key":"2023112820224923200_ref60","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","article-title":"A guide to completeness and complexity for modal logics of knowledge and belief","volume":"54","author":"Halpern","year":"1992","journal-title":"Artificial Intelligence"},{"key":"2023112820224923200_ref61","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","article-title":"The complexity of reasoning about knowledge and time. I. Lower bounds","volume":"38","author":"Halpern","year":"1989","journal-title":"Journal of Computer and System Sciences"},{"key":"2023112820224923200_ref62","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0010-0277(02)00054-9","article-title":"What do you think I think you think?: Strategic reasoning in matrix games","volume":"85","author":"Hedden","year":"2002","journal-title":"Cognition"},{"key":"2023112820224923200_ref63","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s13218-016-0457-5","article-title":"BDI logics for BDI architectures: Old problems, new perspectives","volume":"31","author":"Herzig","year":"2017","journal-title":"KI-K\u00fcnstliche Intelligenz"},{"volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","year":"1962","author":"Hintikka","key":"2023112820224923200_ref64"},{"volume-title":"A Treatise of Human Nature: Being an Attempt to Introduce the Experimental Method of Reasoning into Moral Subjects","year":"1739","author":"Hume","key":"2023112820224923200_ref65"},{"key":"2023112820224923200_ref66","doi-asserted-by":"crossref","first-page":"101222","DOI":"10.1016\/j.cogpsych.2019.05.004","article-title":"Simplicity and complexity preferences in causal explanation: An opponent heuristic account","volume":"113","author":"Johnson","year":"2019","journal-title":"Cognitive Psychology"},{"key":"2023112820224923200_ref67","first-page":"27","article-title":"Grounding: Sharing information in social interaction","volume-title":"Social Communication","author":"Kashima","year":"2007"},{"key":"2023112820224923200_ref68","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1111\/1467-839X.00019","article-title":"The category of the mind: Folk psychology of belief, desire, and intention","volume":"1","author":"Kashima","year":"1998","journal-title":"Asian Journal of Social Psychology"},{"key":"2023112820224923200_ref69","doi-asserted-by":"crossref","DOI":"10.1145\/3531146.3533135","article-title":"Sensible AI: Re-imagining interpretability and explainability using sensemaking theory","author":"Kaur","year":"2022"},{"key":"2023112820224923200_ref70","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1038\/s41746-022-00737-z","article-title":"AI in the hands of imperfect users","volume":"5","author":"Kostick-Quenet","year":"2022","journal-title":"npj Digital Medicine"},{"key":"2023112820224923200_ref71","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/11227.001.0001","volume-title":"Experiencing the Impossible: The Science of Magic","author":"Kuhn","year":"2019"},{"key":"2023112820224923200_ref72","doi-asserted-by":"crossref","first-page":"1358","DOI":"10.3389\/fpsyg.2016.01358","article-title":"Editorial: The psychology of magic and the magic of psychology","volume":"7","author":"Kuhn","year":"2016","journal-title":"Frontiers in Psychology"},{"key":"2023112820224923200_ref73","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1080\/08839514.2014.875679","article-title":"Mining surprising patterns and their explanations in clinical data","volume":"28","author":"Kuo","year":"2014","journal-title":"Applied Artificial Intelligence"},{"key":"2023112820224923200_ref74","doi-asserted-by":"crossref","first-page":"e253","DOI":"10.1017\/S0140525X16001837","article-title":"Building machines that learn and think like people","volume":"40","author":"Lake","year":"2017","journal-title":"Behavioral and Brain Sciences"},{"key":"2023112820224923200_ref75","doi-asserted-by":"crossref","first-page":"e281","DOI":"10.1017\/S0140525X17001224","article-title":"Ingredients of intelligence: From classic debates to an engineering roadmap","volume":"40","author":"Lake","year":"2017","journal-title":"Behavioral and Brain Sciences"},{"key":"2023112820224923200_ref76","first-page":"498","article-title":"Efficient reasoning in multiagent epistemic logics","volume-title":"ECAI 2012 - 20th European Conference on Artificial Intelligence","author":"Lakemeyer","year":"2012"},{"key":"2023112820224923200_ref77","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1017\/S0022481200118742","article-title":"Meeting of the Association for Symbolic Logic, Leeds 1962","volume":"27","author":"L\u00f6b","year":"1962","journal-title":"Journal of Symbolic Logic"},{"key":"2023112820224923200_ref78","article-title":"Improving model understanding and trust with counterfactual explanations of model confidence","volume-title":"Proceedings of AAAI","author":"Le","year":"2023"},{"key":"2023112820224923200_ref79","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1037\/bul0000324","article-title":"How experimental methods shaped views on human competence and rationality","volume":"147","author":"Lejarraga","year":"2021","journal-title":"Psychological Bulletin"},{"key":"2023112820224923200_ref80","first-page":"1","volume-title":"Implicit Communication of Actionable Information in Human-AI Teams","author":"Liang","year":"2019"},{"key":"2023112820224923200_ref81","doi-asserted-by":"crossref","first-page":"e1","DOI":"10.1017\/S0140525X1900061X","article-title":"Resource-rational analysis: Understanding human cognition as the optimal use of limited computational resources","volume":"43","author":"Lieder","year":"2020","journal-title":"Behavioral and Brain Sciences"},{"key":"2023112820224923200_ref82","doi-asserted-by":"crossref","first-page":"103233","DOI":"10.1016\/j.artint.2020.103233","article-title":"Rethinking epistemic logic with belief bases","volume":"282","author":"Lorini","year":"2020","journal-title":"Artificial Intelligence"},{"key":"2023112820224923200_ref83","article-title":"Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation","volume-title":"Technical Report","author":"L\u00f6we","year":"2009"},{"key":"2023112820224923200_ref84","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1093\/jamia\/ocw105","article-title":"Automation bias and verification complexity: A systematic review","volume":"24","author":"Lyell","year":"2017","journal-title":"Journal of the American Medical Informatics Association"},{"volume-title":"Sleights of Mind: What the Neuroscience of Magic Reveals about our Brains","year":"2011","author":"Macknik","key":"2023112820224923200_ref85"},{"key":"2023112820224923200_ref86","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s11023-021-09570-x","article-title":"AI, explainability and public reason: The argument from the limitations of the human mind","volume":"31","author":"Maclure","year":"2021","journal-title":"Minds and Machines"},{"key":"2023112820224923200_ref87","doi-asserted-by":"crossref","first-page":"2493","DOI":"10.1609\/aaai.v34i03.5631","article-title":"Explainable reinforcement learning through a causal lens","volume":"34","author":"Madumal","year":"2020","journal-title":"Proceedings of the AAAI Conference on Artificial Intelligence"},{"key":"2023112820224923200_ref88","first-page":"871","article-title":"Extended goal recognition: A planning-based model for strategic deception","volume-title":"Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems","author":"Masters","year":"2021"},{"key":"2023112820224923200_ref89","doi-asserted-by":"crossref","first-page":"17","DOI":"10.3389\/frai.2021.730990","article-title":"Extended goal recognition: Lessons from magic","volume":"4","author":"Masters","year":"2021","journal-title":"Frontiers Artificial Intelligence"},{"key":"2023112820224923200_ref90","first-page":"489","article-title":"BDI logics","volume-title":"Handbook of Logics for Knowledge and Belief","author":"Meyer","year":"2015"},{"article-title":"Explainable AI: Beware of inmates running the asylum or: How I learnt to stop worrying and love the social and behavioural sciences","year":"2017","author":"Miller","key":"2023112820224923200_ref91"},{"key":"2023112820224923200_ref92","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1613\/jair.5381","article-title":"Logics of common ground","volume":"58","author":"Miller","year":"2017","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2023112820224923200_ref93","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1201\/9780429458330-2","article-title":"Human decision makers and automated decision aids: A match made in heaven?","volume-title":"Human Performance in Automated and Autonomous Systems","author":"Mosier","year":"2019"},{"key":"2023112820224923200_ref94","first-page":"201","article-title":"Human decision makers and automated decision aids: Made for each other?","volume-title":"Automation and Human Performance: Theory and Applications","author":"Mosier","year":"1996"},{"key":"2023112820224923200_ref95","doi-asserted-by":"crossref","first-page":"103605","DOI":"10.1016\/j.artint.2021.103605","article-title":"Efficient multi-agent epistemic planning: Teaching planners about nested belief","volume":"302","author":"Muise","year":"2022","journal-title":"Artificial Intelligence"},{"key":"2023112820224923200_ref96","first-page":"3206","article-title":"Planning for a single agent in a multi-agent environment using FOND","volume-title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI","author":"Muise","year":"2016"},{"volume-title":"Complex Operational Decision Making in Networked Systems of Humans and Machines: A Multidisciplinary Approach","year":"2014","author":"NAP","key":"2023112820224923200_ref97"},{"key":"2023112820224923200_ref98","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/3397481.3450639","article-title":"Anchoring bias affects mental model formation and user reliance in explainable AI systems","volume-title":"26th International Conference on Intelligent User Interfaces","author":"Nourani","year":"2021"},{"key":"2023112820224923200_ref99","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/j.evolhumbehav.2015.01.004","article-title":"The ease and extent of recursive mindreading, across implicit and explicit tasks","volume":"36","author":"O\u2019Grady","year":"2015","journal-title":"Evolution and Human Behavior"},{"key":"2023112820224923200_ref100","first-page":"106","article-title":"Surprisingness and expectation failure: What\u2019s the difference?","volume-title":"Proceedings of the 10th International Joint Conference on Artificial Intelligence","author":"Ortony","year":"1987"},{"volume-title":"Developing Intelligent Agent Systems: A Practical Guide","year":"2005","author":"Padgham","key":"2023112820224923200_ref101"},{"key":"2023112820224923200_ref102","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1518\/001872097778543886","article-title":"Humans and Automation: Use, Misuse, Disuse, Abuse","volume":"39","author":"Parasuraman","year":"1997","journal-title":"Human Factors"},{"key":"2023112820224923200_ref103","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-94-007-7759-0_8","article-title":"Epistemic reasoning in life and literature","volume-title":"David Makinson on Classical Methods for Non-Classical Problems","author":"Parikh","year":"2014"},{"key":"2023112820224923200_ref104","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-15648-8_21","article-title":"Distributed processes and the logic of knowledge","volume-title":"Workshop on Logic of Programs","author":"Parikh","year":"1985"},{"key":"2023112820224923200_ref105","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1037\/h0024722","article-title":"Man as an intuitive statistician","volume":"68","author":"Peterson","year":"1967","journal-title":"Psychological Bulletin"},{"key":"2023112820224923200_ref106","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1017\/S0140525X00076512","article-title":"Does the chimpanzee have a theory of mind?","volume":"1","author":"Premack","year":"1978","journal-title":"Behavioral and Brain Sciences"},{"key":"2023112820224923200_ref107","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3540608052_57","article-title":"Decision procedures for prepositional linear-time belief-desire-intention logics","volume-title":"Intelligent Agents II Agent Theories, Architectures, and Languages","author":"Rao","year":"1996"},{"key":"2023112820224923200_ref108","first-page":"473","article-title":"Modeling rational agents within a BDI-architecture","volume":"91","author":"Rao","year":"1991","journal-title":"KR"},{"key":"2023112820224923200_ref109","first-page":"1","article-title":"BDI agents: From theory to practice","volume-title":"Proceedings of the First International Conference on Multiagent Systems","author":"Rao","year":"1995"},{"key":"2023112820224923200_ref110","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","article-title":"Decision procedures for BDI logics","volume":"8","author":"Rao","year":"1998","journal-title":"Journal of Logic and Computation"},{"article-title":"RealSAM Pocket","year":"2022","author":"RealthingAI","key":"2023112820224923200_ref111"},{"key":"2023112820224923200_ref112","doi-asserted-by":"crossref","first-page":"1508","DOI":"10.3389\/fpsyg.2014.01508","article-title":"A framework for using magic to study the mind","volume":"5","author":"Rensink","year":"2015","journal-title":"Frontiers in Psychology"},{"key":"2023112820224923200_ref113","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","article-title":"A machine-oriented logic based on the resolution principle","volume":"12","author":"Robinson","year":"1965","journal-title":"Journal of the ACM"},{"key":"2023112820224923200_ref114","doi-asserted-by":"crossref","first-page":"107488","DOI":"10.1016\/j.neuropsychologia.2020.107488","article-title":"Theory of mind and decision science: Towards a typology of tasks and computational models","volume":"146","author":"Rusch","year":"2020","journal-title":"Neuropsychologia"},{"volume-title":"Meaning","year":"1972","author":"Schiffer","key":"2023112820224923200_ref115"},{"key":"2023112820224923200_ref116","doi-asserted-by":"crossref","first-page":"561510","DOI":"10.3389\/fpsyg.2020.561510","article-title":"Personalizing human-agent interaction through cognitive models","volume":"11","author":"Sch\u00fcrmann","year":"2020","journal-title":"Frontiers in Psychology"},{"key":"2023112820224923200_ref117","doi-asserted-by":"crossref","first-page":"99","DOI":"10.2307\/1884852","article-title":"A behavioral model of rational choice","volume":"69","author":"Simon","year":"1955","journal-title":"The Quarterly Journal of Economics"},{"key":"2023112820224923200_ref118","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3579363","article-title":"Directive explanations for actionable explainability in machine learning applications","author":"Singh","year":"2023","journal-title":"ACM Trans. Interact. Intell. Syst."},{"key":"2023112820224923200_ref119","doi-asserted-by":"crossref","first-page":"103275","DOI":"10.1016\/j.artint.2020.103275","article-title":"Combining gaze and AI planning for online human intention recognition","volume":"284","author":"Singh","year":"2020","journal-title":"Artificial Intelligence"},{"key":"2023112820224923200_ref120","doi-asserted-by":"crossref","DOI":"10.1145\/3544548.3581075","article-title":"Ignore, trust, or negotiate: Understanding clinician acceptance of AI-based treatment recommendations in health care","volume-title":"Proceedings of CHI 2023","author":"Sivaraman","year":"2023"},{"key":"2023112820224923200_ref121","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1093\/oso\/9780190860974.003.0012","article-title":"Are humans intuitive philosophers","volume-title":"Varieties of Understanding: New Perspectives from Philosophy","author":"Sloman","year":"2019"},{"key":"2023112820224923200_ref122","first-page":"31","article-title":"How do we believe?","volume-title":"Topics in Cognitive Science","author":"Sloman","year":"2021"},{"key":"2023112820224923200_ref123","doi-asserted-by":"crossref","first-page":"748","DOI":"10.3389\/fpsyg.2016.00748","article-title":"The construction of impossibility: A logic-based analysis of conjuring tricks","volume":"7","author":"Smith","year":"2016","journal-title":"Frontiers in Psychology"},{"author":"Smith","key":"2023112820224923200_ref124","article-title":"Deceptive AI: Project home page"},{"key":"2023112820224923200_ref125","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-030-91779-1_2","article-title":"The role of environments in affording deceptive behaviour: Some preliminary insights from stage magic","volume-title":"Deceptive AI","author":"Smith","year":"2021"},{"article-title":"Raymond Smullyan and Jorge Luengo - closeup magic","year":"2012","author":"Smullyan","key":"2023112820224923200_ref126"},{"key":"2023112820224923200_ref127","first-page":"1","article-title":"Explainability is in the mind of the beholder: Establishing the foundations of explainable artificial intelligence","author":"Sokol","year":"2022"},{"author":"SoMA","key":"2023112820224923200_ref128","article-title":"Science of Magic Association"},{"key":"2023112820224923200_ref129","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1016\/j.ins.2021.12.121","article-title":"Scenario-based analysis for discovering relations among interestingness measures","volume":"590","author":"Somyanonthanakul","year":"2022","journal-title":"Information Sciences"},{"key":"2023112820224923200_ref130","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1023\/A:1020867916902","article-title":"Common ground","volume":"25","author":"Stalnaker","year":"2002","journal-title":"Linguistics and Philosophy"},{"key":"2023112820224923200_ref131","first-page":"18","volume-title":"Fifty Years of AI: From Symbols to Embodiment - and Back","author":"Steels","year":"2007"},{"key":"2023112820224923200_ref132","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7682.001.0001","volume-title":"The Art of Agent-Oriented Modeling","author":"Sterling","year":"2009"},{"key":"2023112820224923200_ref133","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1109\/THMS.2017.2732506","article-title":"Ironies of automation: Still unresolved after all these years","volume":"48","author":"Strauch","year":"2017","journal-title":"IEEE Transactions on Human-Machine Systems"},{"volume-title":"Plan, Activity, and Intent Recognition: Theory and Practice","year":"2014","author":"Sukthankar","key":"2023112820224923200_ref134"},{"key":"2023112820224923200_ref135","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF00126653","article-title":"Requirements for belief models in cooperative dialogue","volume":"6","author":"Taylor","year":"1996","journal-title":"User Modeling and User-Adapted Interaction"},{"volume-title":"Raymond Smullyan","author":"The Raymond Smullyan Society","key":"2023112820224923200_ref136"},{"key":"2023112820224923200_ref137","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1023\/A:1008271016283","article-title":"Flying together: Modelling air mission teams","volume":"8","author":"Tidhar","year":"1998","journal-title":"Applied Intelligence"},{"key":"2023112820224923200_ref138","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1017\/CBO9780511610721.011","article-title":"Communicating and collaborating with robotic agents","volume-title":"Cognition and Multi-Agent Interaction: From Cognitive Modeling to Social Simulation","author":"Gregory Trafton","year":"2005"},{"issue":"1","key":"2023112820224923200_ref139","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1111\/1536-7150.t01-1-00005","article-title":"Collective acceptance, social institutions, and social reality","volume":"62","author":"Tuomela","year":"2003","journal-title":"American Journal of Economics and Sociology"},{"key":"2023112820224923200_ref140","doi-asserted-by":"crossref","first-page":"1124","DOI":"10.1126\/science.185.4157.1124","article-title":"Judgment under uncertainty: Heuristics and biases","volume":"185","author":"Tversky","year":"1974","journal-title":"Science"},{"key":"2023112820224923200_ref141","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/s10849-018-9268-4","article-title":"Parameterized complexity of theory of mind reasoning in dynamic epistemic logic","volume":"27","author":"van de Pol","year":"2018","journal-title":"Journal of Logic, Language, and Information"},{"key":"2023112820224923200_ref142","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"Van Ditmarsch","year":"2008"},{"key":"2023112820224923200_ref143","doi-asserted-by":"crossref","first-page":"643010","DOI":"10.3389\/frobt.2021.643010","article-title":"Activity, plan, and goal recognition: A review","volume":"8","author":"Van-Horenbeke","year":"2021","journal-title":"Frontiers in Robotics and AI"},{"key":"2023112820224923200_ref144","first-page":"1","article-title":"Explanations can reduce overreliance on AI systems during decision-making","volume-title":"Proc. 26th ACM Conference on Computer-Supported Cooperative Work and Social Computing","author":"Vasconcelos","year":"2020"},{"key":"2023112820224923200_ref145","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1007\/s10992-009-9115-9","article-title":"Logic and social cognition - the facts matter, and so do computational models","volume":"38","author":"Verbrugge","year":"2009","journal-title":"Journal of Philosophical Logic"},{"key":"2023112820224923200_ref146","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1109\/THMS.2020.2988859","article-title":"Demand-driven transparency for monitoring intelligent agents","volume":"50","author":"Vered","year":"2020","journal-title":"IEEE Transactions on Human-Machine Systems"},{"key":"2023112820224923200_ref147","doi-asserted-by":"crossref","DOI":"10.1016\/j.artint.2023.103952","article-title":"The effects of explanations on automation bias","author":"Vered","year":"2023"},{"author":"Vincent","key":"2023112820224923200_ref148","article-title":"Deceptive AI: Project home page"},{"key":"2023112820224923200_ref149","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780195322989.001.0001","volume-title":"A Science of Decision Making: The Legacy of Ward Edwards","author":"Weiss","year":"2008"},{"key":"2023112820224923200_ref150","doi-asserted-by":"crossref","first-page":"107714","DOI":"10.1016\/j.chb.2023.107714","article-title":"Decision control and explanations in human-AI collaboration: Improving user perceptions and compliance","volume":"144","author":"Westphal","year":"2023","journal-title":"Computers in Human Behavior"},{"key":"2023112820224923200_ref151","article-title":"Bounded rationality","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Wheeler","year":"2020"},{"key":"2023112820224923200_ref152","doi-asserted-by":"crossref","first-page":"750763","DOI":"10.3389\/frai.2022.750763","article-title":"Supporting artificial social intelligence with theory of mind","volume":"5","author":"Williams","year":"2022","journal-title":"Frontiers in Artificial Intelligence"},{"key":"2023112820224923200_ref153","doi-asserted-by":"crossref","first-page":"e37","DOI":"10.1002\/ail2.37","article-title":"Abstraction, validation, and generalization for explainable artificial intelligence","volume":"2","author":"Yang","year":"2021","journal-title":"Applied AI Letters"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/6\/1024\/53896013\/jzad006.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/jigpal\/article-pdf\/31\/6\/1024\/53896013\/jzad006.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,15]],"date-time":"2024-10-15T23:18:15Z","timestamp":1729034295000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/31\/6\/1024\/7148508"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,8]]},"references-count":153,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2023,5,8]]},"published-print":{"date-parts":[[2023,11,27]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzad006","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"type":"print","value":"1367-0751"},{"type":"electronic","value":"1368-9894"}],"subject":[],"published-other":{"date-parts":[[2023,12]]},"published":{"date-parts":[[2023,5,8]]}}}