Abstract
A most crucial problem in knowledge representation is the revision of knowledge when new, possibly contradictory, information is obtained (belief revision). In this paper, this problem is addressed for propositional knowledge bases. A new, more expressive representation of propositional expressions is introduced, which uses 2-dimensional complex matrices to store knowledge. The increased expressiveness of this representation can be exploited for devising a solution to the problem of belief revision. A simple method for belief revision is proposed, and the new problems and opportunities arising for query answering under this new representation are addressed. Finally, some results regarding matrices are presented as well as their connection with logic.
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
Alchourron C., Gärdenfors P. and Makinson D.:“On the Logic of Theory Change: Partial Meet Contraction and Revision Functions”, The Journal of Symbolic Logic, Vol.50, pp.510–530, 1985. 113
Bertino E., Catania B. and Zarri G.P.: “Intelligent Database Systems”, ACM Press, 2001. 100
Dalal M.: “Investigations Into a Theory of Knowledge Base Revision: Preliminary Report”, Proceedings 7th National Conference on Artificial Intelligence, pp.475–479, 1988. 111, 112, 115
Dalal M.: “Updates in Propositional Databases”, Technical Report, DCS-TR-222, Department of Computer Science, Rutgers University, February 1988. 111, 112, 115
Darwiche A. and Pearl J.: “On the Logic of Iterated Belief Revision”, Artificial Intelligence, Vol.89, No.1–2, pp.1–29, 1997. 115
Flouris G. and Plexousakis D.: “Belief Revision in Propositional Knowledge Bases”, Proceedings 8th Panhellenic Conference on Informatics, Nicosia, Cyprus, November 2001. 101
Flouris G. and Plexousakis D.: “Belief Revision using Table Transformation”, Technical Report TR-290, ICS-FORTH, July 2001. 104, 106, 107, 109, 113
Gärdenfors P.: “Belief Revision: An introduction”, pp.1–20 in “Belief Revision”, by P. Gärdenfors (ed.), Cambridge University Press, 1992. 113, 115
Gärdenfors P.: “The Dynamics of Knowledge and Belief: Foundational vs. Coherence Theories”, Revue Internationale de Philosophie, Vol.44, pp.24–46. Reprinted in “Knowledge, Belief and Strategic Interaction”, by Bicchieri and M. L. dalla Chiara (eds.), Cambridge University Press, Cambridge, pp.377–396, 1992. 110, 111
Harman G.: “Change in View: Principles of Reasoning”, Bradford Books, MIT Press, Cambridge, MA, 1986. 110
Hansson S.O.: “In Defense of Base Contraction”, Synthese, Vol.91, pp.239–245, 1992. 111
Katsuno H. and Mendelzon A.: “On the Difference Between Updating a Logical Database and Revising it”, in “Belief Revision”, by Gärdenfors P. (ed.), Cambridge University Press, 1992. 113, 115
Katsuno H. and Mendelzon A.: “Propositional Knowledge Base Revision and Minimal Change”, KRR-TR-90-3, Technical Reports on Knowledge Representation and Reasoning, University of Toronto, March 1990. 113
Konieczny S. and Marquis P.: “Three-valued Logics for Inconsistency Handling”, Proceedings 8th European Conference in Artificial Intelligence (JELIA02), 2002. 111
Levesque H. J. and Lakemeyer G.:“The Logic of Knowledge Bases”, MIT Press, 2000. 100
Liberatore P.: “The Complexity of Iterated Belief Revision”, Proceedings 6th ICDT Conference, pp.276–290, 1997. 115
Makinson D.: “How to Give it up: a Survey of some Formal Aspects of the Logic of Theory Change”, Synthese, Vol.62, pp.347–363, 1985. 113, 115
Nebel B.: “A Knowledge Level Analysis of Belief Revision”, Proceedings 1st International Conference on Principles of Knowledge Representation and Reasoning, pp.301–311, 1989. 111, 113
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Flouris, G., Plexousakis, D. (2003). On the Use of Matrices for Belief Revision. In: Manolopoulos, Y., Evripidou, S., Kakas, A.C. (eds) Advances in Informatics. PCI 2001. Lecture Notes in Computer Science, vol 2563. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-38076-0_7
Download citation
DOI: https://doi.org/10.1007/3-540-38076-0_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07544-8
Online ISBN: 978-3-540-38076-4
eBook Packages: Springer Book Archive