Abstract
It has become customary to use epistemic modal logic for the formal study of knowledge and beliefs of agents. Based on the concept of logical fibering, which is briefly summarized, we present so-called fibered global modal logics for the logical modeling of multiagent systems (MAS). Considering a simple multi-robot scenario we show that our global logical models allow to study the knowledge and beliefs of the agents, taking into account the communication between the agents.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Fagin, R., Halpern, J.Y., Moses, Y., Vardin, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
Gabbay, D.M.: Fibring Logics. Oxford University Press, Oxford (1999)
Günther, G.: Cybernetic Ontologie and Transjunctional Operations, Urbana, Ill, vol. 68, pp. 313–392. Biological Computer Lab. Publ. (1962)
Günther, G.: Beiträge zur Grundlegung einer operationsfähigen Dialektik, vol. 3. Felix Meiner Verlag, Hamburg (1980)
Pfalzgraf, J.: Logical Fiberings and Polycontextural Systems. In: Jorrand, P., Kelemen, J. (eds.) FAIR 1991. LNCS, vol. 535. Springer, Heidelberg (1991)
Pfalzgraf, J.: On logical fiberings and automated deduction in many-valued logics using Gröbner Bases. In: Revista Real Academia de Ciencias, RACSAM, vol. 98 (2004)
Pfalzgraf, J., Edtmayr, J.: The concept of logical fiberings: Distributed logics for multiagent systems. In: Cybernetics and Systems (EMCSR 2004), vol. 1, pp. 58–63 (2004)
Pfalzgraf, J., Sofronie, V., Stokkermans, K.: On semantics for cooperative agents scenarios. In: Cybernetics and Systems (EMCSR 1996), vol. 1, pp. 201–206 (1996)
Porter, T.: Geometric aspects of multiagent systems. Electronic Notes in Theoretical Computer Science 81 (2003)
Wang, D., Pfalzgraf, J.: Automated Practical Reasoning. Springer, Heidelberg (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Edtmayr, J. (2005). Global Modal Logics for Multiagent Systems: A Logical Fibering Approach. In: Moreno Díaz, R., Pichler, F., Quesada Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2005. EUROCAST 2005. Lecture Notes in Computer Science, vol 3643. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11556985_80
Download citation
DOI: https://doi.org/10.1007/11556985_80
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29002-5
Online ISBN: 978-3-540-31829-3
eBook Packages: Computer ScienceComputer Science (R0)