Skip to main content
SpringerLink
Log in
Book cover

Integration of Reusable Systems pp 285–297Cite as

About Handling Non-conflicting Additional Information

  • Chapter
  • First Online:

  • 668 Accesses

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 263))

Abstract

The focus in this chapter is on logic-based Artificial Intelligence (A.I.) systems that must accommodate some incoming symbolic knowledge that is not inconsistent with the initial beliefs but that however requires a form of belief change. First, we investigate situations where the incoming knowledge is both more informative and deductively follows from the preexisting beliefs: the system must get rid of the existing logically subsuming information. Likewise, we consider situations where the new knowledge must replace or amend some previous beliefs. When the A.I. system is equipped with standard-logic inference capabilities, merely adding this incoming knowledge into the system is not appropriate. In the chapter, this issue is addressed within a Boolean standard-logic representation of knowledge and reasoning. Especially, we show that a prime implicates representation of beliefs is an appealing specific setting in this respect.

This chapter extends a preliminary version published in IEEE-IRI’2013.

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 EPUB and 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

Notes

  1. 1.

    Since no distinction between belief, knowledge and information is actually needed for the purpose of this chapter, we use all these words interchangeably.

References

  1. Fermé, E., Hansson, S.: AGM 25 years. Twenty-five years of research in belief change. J. Philos. Logic. 40, 295–331 (2011)

    Google Scholar 

  2. Alchourrón, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Logic. 50(2), 510–530 (1985)

    Article  MATH  Google Scholar 

  3. Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Proceedings of KR’91, pp. 387–394 (1991)

    Google Scholar 

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

    MATH  Google Scholar 

  5. Hansson, S.O.: A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer Academic Publishers, Dordrecht (1999)

    Book  MATH  Google Scholar 

  6. Konieczny, S., Pino Pérez, R.: On the logic of merging. In: Proceedings of KR’98, pp. 488–498 (1998)

    Google Scholar 

  7. Konieczny, S., Grégoire, É.: Logic-based information fusion in artificial intelligence. Inf. Fusion. 7(1), 4–18 (2006)

    Article  Google Scholar 

  8. Doyle, J.: A truth maintenance system. Artif. Intell. 12, 231–272 (1979)

    Article  MathSciNet  Google Scholar 

  9. Dalal, M.: Investigations into a theory of knowledge base revision (preliminary report). In: Proceedings of AAAI’88, vol. 2, pp. 475–479 (1988)

    Google Scholar 

  10. Revesz, P.Z.: On the semantics of theory change: arbitration between old and new information. In: Proceedings of PODS’93, pp. 71–82 (1993)

    Google Scholar 

  11. Subrahmanian, V.S.: Amalgamating knowledge bases. ACM Trans. Database Syst. 19, 291–331 (1994)

    Article  MathSciNet  Google Scholar 

  12. Fagin, R., Ullman, J.D, Vardi, M.Y.: On the semantics of updates in databases. In: Proceedings of PODS’83, pp. 352–365 (1983)

    Google Scholar 

  13. Besnard, Ph., Grégoire, É., Ramon, S.: Enforcing logically weaker knowledge in classical logic. In: 5th International Conference on Knowledge Science Engineering and Management (KSEM’11), pp. 44–55. LNAI 7091, Springer (2011)

    Google Scholar 

  14. Besnard, Ph., Grégoire, É., Ramon, S.: Preemption operators. In: Proceedings of ECAI 2012, pp. 893–894 (2012)

    Google Scholar 

  15. Besnard, Ph., Grégoire, É., Ramon, S.: Overriding subsuming rules. In: Proceedings of ECSQARU’11, pp. 532–544. LNAI 6717, Springer (2011)

    Google Scholar 

  16. Besnard, Ph., Grégoire, É., Ramon, S.: Logic-based fusion of legal knowledge. In: Proceeings of Fusion 2012, pp. 587–592. IEEE Press, Singapore (2012)

    Google Scholar 

  17. http://www.satlive.org satlive is a main website of the research community on SAT

  18. Zhuang, Z.Q., Pagnucco, M., Meyer, T.: Implementing iterated belief change via prime implicates. In: Orgun, M.A., Thornton, J. (eds) Australian Conference on Artificial Intelligence, volume 4830 of Lecture Notes in Computer Science, pp. 507–518. Springer (2007)

    Google Scholar 

  19. Bienvenu, M., Herzig, A., Qi, G.: Prime implicate-based belief revision operators. In: 20th European Conference on Artificial Intelligence (ECAI 2012), pp. 741–742 (2008)

    Google Scholar 

  20. Darwiche, A., Marquis, P.: A knowledge compilation map. J. Artif. Intell. Res. (JAIR) 17, 229–264 (2002)

    MATH  MathSciNet  Google Scholar 

  21. Eiter, T., Makino, K.: Generating all abductive explanations for queries on propositional horn theories. In: Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25–30, pp. 197–211 (2003)

    Google Scholar 

  22. Besnard, Ph., Grégoire, É.: Handling incoming beliefs. In: 6th International Conference on Knowledge Science Engineering and Management (KSEM’13), LNAI, Springer (2013)

    Google Scholar 

  23. Grégoire, É., Mazure, B., Piette, C.: Using local search to find MSSes and MUSes. Eur. J. Oper. Res. 199(3), 640–646 (2009)

    Article  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CRIL Université d’Artois, CNRS UMR 8188 rue Jean Souvraz SP18, F-62307, Lens Cedex, France

    Éric Grégoire

Authors
  1. Éric Grégoire
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Éric Grégoire .

Editor information

Editors and Affiliations

  1. Laboratoire de Communication dans les Systèmes Informatiques, Ecole Nationale Supérieure d’Informatique, Algiers, Algeria

    Thouraya Bouabana-Tebibel

  2. SPAWAR Systems Center Pacific, San Diego, USA

    Stuart H. Rubin

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Grégoire, É. (2014). About Handling Non-conflicting Additional Information. In: Bouabana-Tebibel, T., Rubin, S. (eds) Integration of Reusable Systems. Advances in Intelligent Systems and Computing, vol 263. Springer, Cham. https://doi.org/10.1007/978-3-319-04717-1_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-04717-1_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-04716-4

  • Online ISBN: 978-3-319-04717-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation