Abstract
This paper proposes a family of logics for reasoning about the dynamic activities and informational attitudes, i.e. the beliefs and knowledge, of agents. The logics are based on a new formalisations and semantics of the test operator of propositional dynamic logic and a representation of actions which distinguishes abstract actions from concrete actions. The new test operator, called informational test, can be used to formalise the beliefs and knowledge of particular agents as dynamic modalities. This approach is consistent with the formalisation of the agents’ beliefs and knowledge as K(D)45 and S5 modalities. Properties concerning the preservation of informativeness, truthfulness and belief are proved for a derivative of the informational test operator. It is shown that common belief and common knowledge can be expressed in these logics. As a consequence, these logics are more expressive than propositional dynamic logic with an extra modality for belief or knowledge. However, the logics are still decidable and in 2EXPTIME. Versions of the considered logics express natural additional properties of beliefs or knowledge and interaction of beliefs or knowledge with actions. A simulation of PDL is constructed in one of these extensions.
We thank C. Dixon, M Fisher and U. Hustadt for valuable discussions. This research is supported by EPSRC Research Grants GR/M88761 and GR/R92035.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge Univ. Press, 2001.
P. R. Cohen and H. J. Levesque. Teamwork. Noûs, 25(4):487–512, 1991.
R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. MIT Press, 1995.
M. J. Fischer and R. E. Ladner. Propositional dynamic logic of regular programs. J. Comput. Syst. Sci., 18(2):194–211, 1979.
D. Gabbay and V. Shehtman. Products of modal logics, part 1. Logic J. IGPL, 6(1):73–146, 1998.
J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319–379, 1992.
J. Y. Halpern and M. Y. Vardi. The complexity of reasoning about knowledge and time. I Lower bounds. J. Computer and System Sci., 38:195–237, 1989.
D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. MIT Press, 2000.
A. Herzig, 2002. Personal communication.
A. Herzig, J. Lang, D. Longin, and T. Polacsek. A logic for planning under partial observability. In Proc. AAAI’2000, pp. 768–773. AAAI Press/MIT Press, 2000.
A. Herzig, J. Lang, and T. Polacsek. A modal logic for epistemic tests. In Proc. ECAI’2000, Berlin, 2000. IOS Press.
A. Herzig and D. Longin. Belief dynamics in cooperative dialogues. J. Semantics, 17(2), 2000.
M. Kracht. Highway to the danger zone. J. Logic Computat., 5(1):93–109, 1995.
A. R. Lomiscio, R. van der Meyden, and M. Ryan. Knowledge in multi-agent systems: Initial configurations and broadcast. ACM Trans. Computational Logic, 1(2):247–284, 2000.
J.-J. C. Meyer, W. van der Hoek, and B. van Linder. A logical approach to the dynamics of commitments. Artificial Intelligence, 113(1–2):1–40, 1999.
R. C. Moore. A formal theory of knowledge and action. In J. R. Hobbs and R. C. Moore, editors, Formal Theories of the Commonsense World. Ablex, 1985.
A. S. Rao. Decision procedures for propositional linear-time belief-desire-intention logics. In Proc. ATAL’95, vol. 1037 of LNAI, pp. 102–118. Springer, 1996.
A. S. Rao and M. P. George.. Modeling rational agents within a BDI-architecture. In Proc. KR’91, pp. 473–484. Morgan Kaufmann, 1991.
R. A. Schmidt and D. Tishkovsky. On Axiomatic Products of PDL and S5: Substitution, Tests and Knowledge. Bull. the Section of Logic, 31(1):27–36, 2002.
W. van der Hoek. Logical foundations of agent-based computing. In Multi-Agent Systems and Applications, vol. 2086 of LNAI, pp. 50–73. Springer, 2001.
B. van Linder, W. van der Hoek, and J.-J. C. Meyer. Formalizing abilities and opportunities of agents. Fundamenta Informaticae, 34(1, 2):53–101, 1998.
B. van Linder, W. van der Hoek, and J.-J.Ch. Meyer. Tests as epistemic updates. In Proc. ECAI’94, pp. 331–335. John Wiley & Sons, 1994.
M. Wooldridge. Agent-based computing. Interoperable Comm. Networks, 1(1):71–97, 1998.
M. Zakharyaschev, F. Wolter, and A. Chagrov. Advanced Modal Logic. Kluwer, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schmidt, R.A., Tishkovsky, D. (2002). Multi-agent Logics of Dynamic Belief and Knowledge. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds) Logics in Artificial Intelligence. JELIA 2002. Lecture Notes in Computer Science(), vol 2424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45757-7_4
Download citation
DOI: https://doi.org/10.1007/3-540-45757-7_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44190-8
Online ISBN: 978-3-540-45757-2
eBook Packages: Springer Book Archive