Skip to main content
SpringerLink
Log in
Book cover

Panhellenic Conference on Informatics

PCI 2001: Advances in Informatics pp 100–117Cite as

On the Use of Matrices for Belief Revision

  • Conference paper
  • First Online:

  • 451 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2563))

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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

    Article  MATH  MathSciNet  Google Scholar 

  2. Bertino E., Catania B. and Zarri G.P.: “Intelligent Database Systems”, ACM Press, 2001. 100

    Google Scholar 

  3. 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

    Google Scholar 

  4. Dalal M.: “Updates in Propositional Databases”, Technical Report, DCS-TR-222, Department of Computer Science, Rutgers University, February 1988. 111, 112, 115

    Google Scholar 

  5. Darwiche A. and Pearl J.: “On the Logic of Iterated Belief Revision”, Artificial Intelligence, Vol.89, No.1–2, pp.1–29, 1997. 115

    Article  MATH  MathSciNet  Google Scholar 

  6. Flouris G. and Plexousakis D.: “Belief Revision in Propositional Knowledge Bases”, Proceedings 8th Panhellenic Conference on Informatics, Nicosia, Cyprus, November 2001. 101

    Google Scholar 

  7. Flouris G. and Plexousakis D.: “Belief Revision using Table Transformation”, Technical Report TR-290, ICS-FORTH, July 2001. 104, 106, 107, 109, 113

    Google Scholar 

  8. Gärdenfors P.: “Belief Revision: An introduction”, pp.1–20 in “Belief Revision”, by P. Gärdenfors (ed.), Cambridge University Press, 1992. 113, 115

    Google Scholar 

  9. 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

    Google Scholar 

  10. Harman G.: “Change in View: Principles of Reasoning”, Bradford Books, MIT Press, Cambridge, MA, 1986. 110

    Google Scholar 

  11. Hansson S.O.: “In Defense of Base Contraction”, Synthese, Vol.91, pp.239–245, 1992. 111

    Article  MATH  MathSciNet  Google Scholar 

  12. 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

    Google Scholar 

  13. 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

    Google Scholar 

  14. Konieczny S. and Marquis P.: “Three-valued Logics for Inconsistency Handling”, Proceedings 8th European Conference in Artificial Intelligence (JELIA02), 2002. 111

    Google Scholar 

  15. Levesque H. J. and Lakemeyer G.:“The Logic of Knowledge Bases”, MIT Press, 2000. 100

    Google Scholar 

  16. Liberatore P.: “The Complexity of Iterated Belief Revision”, Proceedings 6th ICDT Conference, pp.276–290, 1997. 115

    Google Scholar 

  17. 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

    Article  MathSciNet  Google Scholar 

  18. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, FO.R.T.H., P.O. Box 1385, 71110, GR, Heraklion, Greece

    Giorgos Flouris & Dimitris Plexousakis

Authors
  1. Giorgos Flouris
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dimitris Plexousakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Informatics, Aristotle University, 54006, Thessaloniki, Greece

    Yannis Manolopoulos

  2. Dept. of Computer Science, University of Cyprus, P.O. Box 20537, 1678, Nicosia, Cyprus

    Skevos Evripidou  & Antonis C. Kakas  & 

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation