Skip to main content
SpringerLink
Log in
Book cover

Ibero-American Conference on Artificial Intelligence

IBERAMIA 2010: Advances in Artificial Intelligence – IBERAMIA 2010 pp 120–132Cite as

From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6433))

Abstract

We present a formal framework for theory revision that is based on a tableaux algorithm. We use a semantic tableaux system for generating the tableau of a belief base and of a revision formula. Specific revision operators can then be defined in terms of tableaux branches. Tableaux branches of a formula correspond to implicants of the formula. We define a new set of revision postulates for implicant sets and we show that they verify the AGM revision postulates. Then we consider specific distance based revision operators and in particular those based on the symmetrical difference between interpretations. We show that the minimal symmetric difference between the model sets of two implicants can be obtained by a simple binary operation on these implicants. Finally, we define three specific distance based revision operators. The representation of a formula by implicants is not unique (our approach is not based on prime implicants). We show that our implicant revision approach obtains the same revision result operated on different equivalent implicant sets for the three revision operators we propose.

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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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. Proceedings of the 7th National Conference on Artificial Intelligence (1988)

    Google Scholar 

  2. Alchourron, C.E., Gärdenfors, V., Makinson, D.: On the logic of theory change: Partial meet contradictions and revision functions. Journal of Symbolic Logic 50(2), 510–530 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  3. Allen, J.A., Fikes, R., Sandewall, E. (eds.): Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (1991)

    Google Scholar 

  4. Beth, E.W.: The Foundations of Mathematics. North Holland, Amsterdam (1959)

    MATH  Google Scholar 

  5. Bienvenu, M., Herzig, A., Qi, G.: Prime implicate-based belief revision operators. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N.M. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol. 178, pp. 741–742. IOS Press, Amsterdam (2008)

    Google Scholar 

  6. Bordiga, A.: Language features for flexible handling of exceptions in information systems. ACM Transactions on Database Systems 10, 563–603 (1985)

    Google Scholar 

  7. Dalal, M.: Investigations into a theory of knowledge base revision. In: AAAI 1988 [1], pp. 475–479 (1988)

    Google Scholar 

  8. Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artificial Intelligence 89(1-2), 1–29 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  9. Delgrande, J.P., Jin, Y., Pelletier, F.J.: Compositional belief update. J. Artif. Intell. Res. (JAIR) 32, 757–791 (2008)

    MathSciNet  MATH  Google Scholar 

  10. Eiter, T., Gottlob, G.: On the complexity of propositional knowledge base revision, updates and counterfacts. Artificial Intelligence 57, 227–270 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  11. Fitting, M.: First Order Logic and Automated Theorem Proving. Texts and Monographs in Computer Science. Springer, Heidelberg (1990)

    Book  MATH  Google Scholar 

  12. Gärdenfors: Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books. MIT Press, Cambridge (1988)

    MATH  Google Scholar 

  13. Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Allen et al. [3], pp. 387–394

    Google Scholar 

  14. Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artificial Intelligence 52, 263–294 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  15. Konieczny, S., Pérez, R.P.: On the logic of merging. In: KR 1998, pp. 488–498 (1998)

    Google Scholar 

  16. Lehmann, D.J., Magidor, M., Schlechta, K.: Distance semantics for belief revision. J. Symb. Log. 66(1), 295–317 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  17. Perrussel, L., Marchi, J., Bittencourt, G.: Une nouvelle mesure de changement minimal. In: RFIA (ed.) RFIA 2006 Proceedings Électroniques (2006)

    Google Scholar 

  18. Perrussel, L., Marchi, J., Bittencourt, G.: Prime implicants and belief update. In: Chad Lane, H., Guesgen, H.W. (eds.) FLAIRS Conference. AAAI Press, Menlo Park (2009)

    Google Scholar 

  19. Satoh, K.: Nonmonotonic reasoning by minimal belief revision. In: Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, pp. 455–462 (1988)

    Google Scholar 

  20. Schlechta, K.: Coherent Systems. Studies in Logic and Practical Reasoning, vol. (2). Elsevier, Amsterdam (2004)

    MATH  Google Scholar 

  21. Smullyan, R.M.: First Order Logic. Springer, Heidelberg (1968)

    Book  MATH  Google Scholar 

  22. Williams, M.-A.: Transmutations of knowledge systems. In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning, pp. 619–629 (1994)

    Google Scholar 

  23. Winslett, M.: Reasoning about action with a possible models approach. In: AAAI 1988 [1], pp. 89–93 (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d’Informatique Fondamentale, CNRS, Université de Marseille, 163 Avenue de Luminy, case 901, F-13288, Marseille Cedex09

    Camilla Schwind

Authors
  1. Camilla Schwind
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento Académico de Computación, Instituto Tecnológico Autónomo de México, Río Hondo No. 1, 01000, Mexico, D.F., México

    Angel Kuri-Morales

  2. Department of Computer Science and Engineering, Universidad Nacional del Sur, Alem 1253, 8000, Bahía Blanca, Argentina

    Guillermo R. Simari

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schwind, C. (2010). From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening. In: Kuri-Morales, A., Simari, G.R. (eds) Advances in Artificial Intelligence – IBERAMIA 2010. IBERAMIA 2010. Lecture Notes in Computer Science(), vol 6433. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16952-6_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-16952-6_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-16951-9

  • Online ISBN: 978-3-642-16952-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation