Abstract
The Logic of “Inferable” L-DINF has been recently proposed as a declarative framework to formally model via epistemic logic (aspects of) the group dynamics of cooperative agents. The framework permits to model groups of cooperative agents that can jointly perform actions. Various aspects of Multi-Agent Systems can be formalized in L-DINF, such as costs of actions, agents’ preferences, and roles of agents within groups. In this paper we extend the framework by introducing the possibility of cooperation among different groups: if a group has not an agent with the right role for performing an action, the group can ask another group in order to have the action performed.
Research partially supported by Action COST CA17124 “DigForASP” and by project INDAM GNCS-2022 InSANE (CUP_E55F22000270001).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Note that we are only defining \(T([G_I:\alpha ]\varphi )\) for the specific forms of \(\alpha \) and \(\varphi \) that will come into play when defining the semantics of inferential actions (cf., Sect. 2.3).
References
Balbiani, P., Duque, D.F., Lorini, E.: A logical theory of belief dynamics for resource-bounded agents. In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, AAMAS 2016, pp. 644–652. ACM (2016)
Balbiani, P., Fernández-Duque, D., Lorini, E.: The dynamics of epistemic attitudes in resource-bounded agents. Stud. Logica 107(3), 457–488 (2019)
Costantini, S., Formisano, A., Pitoni, V.: An epistemic logic for multi-agent systems with budget and costs. In: Faber, W., Friedrich, G., Gebser, M., Morak, M. (eds.) JELIA 2021. LNCS (LNAI), vol. 12678, pp. 101–115. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-75775-5_8
Costantini, S., Formisano, A., Pitoni, V.: An epistemic logic for modular development of multi-agent systems. In: Alechina, N., Baldoni, M., Logan, B. (eds.) EMAS 2021. LNCS, vol. 13190, pp. 72–91. Springer, Cham (2022). https://doi.org/10.1007/978-3-030-97457-2_5
Costantini, S., Formisano, A., Pitoni, V.: Temporalizing epistemic logic L-DINF. In: Calegari, R., Ciatto, G., Omicini, A. (eds.) Proceedings of CILC 2022, CEUR Workshop Proceedings. CEUR-WS.org (2022)
Costantini, S., Pitoni, V.: Towards a logic of “inferable” for self-aware transparent logical agents. In: Musto, C., Magazzeni, D., Ruggieri, S., Semeraro, G. (eds.) Proceedings of the Italian Workshop on Explainable Artificial Intelligence Co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020. CEUR Workshop Proceedings, vol. 2742, pp. 68–79. CEUR-WS.org (2020)
Ditmarsch, H.V., Halpern, J.Y., Hoek, W.V.D., Kooi, B.: Handbook of Epistemic Logic. College Publications, Norcross (2015)
Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255–299 (1990)
Pitoni, V., Costantini, S.: A temporal module for logical frameworks. In: Bogaerts, B., et al. (eds.) Proceedings of ICLP 2019 (Tech. Comm.). EPTCS, vol. 306, pp. 340–346 (2019)
Rao, A.S., Georgeff, M.: Modeling rational agents within a BDI architecture. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann (1991)
Weyhrauch, R.W.: Prolegomena to a theory of mechanized formal reasoning. Artif. Intell. 13(1–2), 133–170 (1980)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Costantini, S., Formisano, A., Pitoni, V. (2022). Cooperation Among Groups of Agents in the Epistemic Logic L-DINF. In: Governatori, G., Turhan, AY. (eds) Rules and Reasoning. RuleML+RR 2022. Lecture Notes in Computer Science, vol 13752. Springer, Cham. https://doi.org/10.1007/978-3-031-21541-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-031-21541-4_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-21540-7
Online ISBN: 978-3-031-21541-4
eBook Packages: Computer ScienceComputer Science (R0)