Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/33311
Title: Epistemic logics for modeling group dynamics of cooperative agents, and aspects of Theory of Mind
Authors: Costantini, Stefania
Keywords: Epistemic logicagents and multi-agent systemstheory of mind
Issue Date: 2021
Publisher: EUT Edizioni Università di Trieste
Source: Stefania Costantini, "Epistemic logics for modeling group dynamics of cooperative agents, and aspects of Theory of Mind" in: "Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics vol.53 (2021)", EUT Edizioni Università di Trieste, Trieste, 2021. pp.
Journal: Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics 
Abstract: 
Logic has been proved useful to model various aspects of the reasoning process of agents and Multi-Agent Systems (MAS). In this paper, we report about a line of work carried on in cooperation with Andrea Formisano (former Eugenio’s Ph.D. student) and Valentina Pitoni, to explore some social aspects of such systems. The aim is to formally model (aspects of ) the group dynamics of cooperative agents. We have proposed a particular logical framework (the Logic of “Inferable” L-DINF), where a group of cooperative agents can jointly perform actions. I.e., at least one agent of the group can perform the action, either with the approval of the group or on behalf of the group. We have been able to take into consideration actions’ cost, and the preferences that each agent may have for what concerns performing each action. Our focus is on: (i) explainability, i.e., the syntax of our logic is especially devised to make it possible to transpose a proof into a natural language explanation, in the perspective of trustworthy Artificial Intelligence (AI); (ii) the capability to construct and execute joint plans within a group of agents; (iii) the formalization of aspects of the Theory of Mind, which is an important social-cognitive skill that involves the ability to attribute mental states, including emotions, desires, beliefs, and knowledge both one’s own and those of others, and to reason about the practical consequences of such mental states; this capability is very relevant when agents have to interact with humans, and in particular in robotic applications; (iv) connection between theory and practice, so as to make our logic actually usable by systems’ designers. In this paper, we summarize our past work and propose some discussions, possible extensions and considerations.
Type: Article
URI: http://hdl.handle.net/10077/33311
ISSN: 0049-4704
eISSN: 2464-8728
DOI: 10.13137/2464-8728/33311
Rights: Attribution-NonCommercial-NoDerivatives 4.0 Internazionale
Appears in Collections:Rendiconti dell’Istituto di Matematica dell’Università di Trieste: an International Journal of Mathematics vol.53 (2021)

Files in This Item:
File Description SizeFormat
25_Costantini.pdf469.68 kBAdobe PDFThumbnail
View/Open
Show full item record


CORE Recommender

Page view(s)

65
checked on May 21, 2022

Download(s)

6
checked on May 21, 2022

Google ScholarTM

Check

Altmetric

Altmetric


This item is licensed under a Creative Commons License Creative Commons