Abstract
In this paper, we discuss the dynamics of multi-agent belief change in the framework of linear algebra. We regard an epistemic state of each agent as an element in the vector space spanned by the basis of possible worlds, so that belief change corresponds to a linear transformation on this vector space. The compound belief states of multi-agents are treated by using the product tensor of the vector for each agent. In this formulation, the reasoning in the process of belief change can be reduced to the matrix and tensor calculation.
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
Alchourròn, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contraction and revision. J. Symbolic Logic 50, 510–530 (1985)
Baltag, A., Moss, L.S., Solecki, S.: The Logic of Public Announcements, Common Knowledge, and Private Suspicions. In: Proc. 13th Int. Joint Conf. on Artificial Intelligence, pp. 519–525 (1999)
Cantwell, J.: A formal model of multi-agent belief-interaction. Journal of Logic, Language and Information 14, 397–422 (2005)
Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence 89, 1–29 (1997)
Engesser, K., Gabbay, D.M.: Quantum logic, Hilbert space, Revision theory. Artificial Intelligence 136, 61–100 (2002)
Fagin, F., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
Fusaoka, A.: On a Linear Representation Theory for Quantitative Belief Revision. In: Proc. 15th Australian.Conf.on Artificial Intelligence, pp. 48–59 (2002)
Gärdenfors, P.: Knowledge in flux. MIT Press, Cambridge (1988)
Gertbrandy, J., Groeneveld, W.: Reasoning about Information Change. Journal of Logic, Language and Information 23, 267–306 (1997)
Herzig, A., Lang, J., Marquis, P.: Revision and update in multi-agent belief structure. In: 5th Conf.on Logic and the Foundation of Game and Decision Theory(Loft 6), Leipzig (2004)
Katsuno, H., Mendelzon, A.: Propositional knowledge base revision and minimal change. Artificial Intelligence 52, 263–294 (1991)
Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Proc. 2nd Inter.Conf.on Principles of Knowledge Representation and reasoning, pp. 383–394 (1991)
Lewis, D.K.: Probabilities of conditionals and conditional probabilities. The Philosophical Review 85, 297–315 (1976)
Lindström, S., Rabinowicz, W.: DDL unlimited: Dynamic Doxastic Logic for introspective agents. Erkenntnis 50, 353–385 (1999)
Ruiz-Tolosa, J.R., Castillo, E.: From Vectors to Tensors. Springer, Heidelberg (2005)
Smith, L.: Linear algebra. Springer, Heidelberg (1984)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Fusaoka, A., Nakamura, K., Sato, M. (2007). On a Linear Framework for Belief Dynamics in Multi-agent Environments. In: Inoue, K., Satoh, K., Toni, F. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2006. Lecture Notes in Computer Science(), vol 4371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69619-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-69619-3_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69618-6
Online ISBN: 978-3-540-69619-3
eBook Packages: Computer ScienceComputer Science (R0)