A Formal Model of Multi-Agent Belief-Interaction
- John Cantwell
- … show all 1 hide
Rent the article at a discountRent now
* Final gross prices may vary according to local VAT.Get Access
A semantics is presented for belief revision in the face of common announcements to a group of agents that have beliefs about each other’s beliefs. The semantics is based on the idea that possible worlds can be viewed as having an internal-structure, representing the belief independent features of the world, and the respective belief states of the agents in a modular fashion. Modularity guarantees that changing one aspect of the world (a belief independent feature or a belief state) has no effect on any other aspect of the world. This allows us to employ an AGM-style selection function to represent revision. The semantics is given a complete axiomatisation (identical to the axiomatisation found by Gerbrandy and Groeneveld for a semantics based on non-wellfounded set theory) for the special case of expansion.
- Alchourrón, C., Gärdenfors, P., and Makinson, D., 1985, “On the logic of theory change: Partial meet functions for contraction and revision”, Journal of Symbolic Logic 50, 510–530. CrossRef
- Baltag, A. and Moss, L.S., 2004, “Logics for epistemic programs”, Knowledge, Rationality and Action 1–60.
- Baltag, A., Moss, L.S., and Solecki, S., 1999, “The logic of public announcements, common knowledge, and private suspicions”, Technical report CWI.
- Cantwell, J., 1999, “Some logics of iterated revision”, Studia Logica 7, 49–84. CrossRef
- Fagin, R., Halpern, J.Y., Moses, Y., and Vardi, M.Y., 1995, Reasoning About Knowledge. MIT Press.
- Fuhrmann, A., 1989, “Reflective modalities and theory change”, Synthese 81, 115–134. CrossRef
- Furhmann, A., 1990, “On the modal logic of theory change”, in A. Furhmann, and M. Morreau (eds.), Lecture Notes in Artificial Intelligence 465, pp. 258–281. Springer Verlag.
- Gerbrandy, J., 1999, Bisimulations on Planet Kripke. Ph.D dissertation, University of Amsterdam, ILLC dissertation series, Amsterdam.
- Gerbrandy, J. and Groeneveld, W., 1997, “Reasoning about information change”, Journal of Logic, Language and Information 6, 147–169. CrossRef
- Grove, A., 1988, “Two modellings for theory change”, Journal of Philosophical Logic 17, 157–170. CrossRef
- Katsuno, H. and Mendelzon, A., 1992, “On the difference between updating a knowledge base and revising it”, in P. Gärdenfors (ed.), Belief Revision, pp. 183–203. Cambridge University Press, Cambridge.
- Kooi, B.P., 2003, Knowledge, Chance and Change. PhD dissertation, University of Groningen, ILLC Dissertation Services, Amsterdam.
- Lindström, S. and Rabinowicz, W., 1999, “DDL unlimited: Dynamic doxastic logic for introspective agents”, Erkenntnis 50, 353–385. CrossRef
- Moss, L.S., 1999, “From hypersets to Kripke models in logics of announcements”, in J. Gerbrandy, et al., (eds.), JFAK. Essay Dedicated to Johan van Benthem on the Occasion of his Fiftieth Birthday. Amsterdam University Press.
- Plaza, J., 1989, “Logics of public communications”, in Proceedings, 4th International Symposium on Methodologies for Intelligent Systems.
- Segerberg, K., 1998, “Irrevocable belief revision in dynamic doxastic logic”, Notre Dame Journal of Formal Logic 39, 287–306. CrossRef
- Sen, A.K., 1971, “Choice functions and revealed preference”, Review of Economic Studies 38, 307–317. CrossRef
- Veltman, F., 1996, “Defaults in update semantics”, Journal of Philosophical Logic 25, 221–261. CrossRef
- A Formal Model of Multi-Agent Belief-Interaction
Journal of Logic, Language and Information
Volume 15, Issue 4 , pp 303-329
- Cover Date
- Print ISSN
- Online ISSN
- Kluwer Academic Publishers
- Additional Links
- common announcements
- dynamic logic
- epistemic logic
- common knowledge
- belief revision
- John Cantwell (1)
- Author Affiliations
- 1. The Philosophy Unit, The Royal Institute of Technology, Teknikringen 78b, 100 44, Stockholm, Sweden