A logical approach to multi-sources reasoning

  • Laurence Cholvy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 808)


This paper presents two logics for reasoning with information from several sources. The main problem is that the information might be contradictory; we show that ordering the different sources according to their reliability is a good way for solving this problem. The two logics which are presented, correspond to two attitudes one can take with respect to such an order.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Besnard P.: “Logics for automated reasoning in the presence of contradictions,” in: Proceedings of Artificial Intelligence: Methodology, systems and applications. North Holland, 1990.Google Scholar
  2. Bauval A., and L. Cholvy: “Automated reasoning in case of inconsistency,” in: Proceedings of the First World Conference on Fundamentals of AI 1991.Google Scholar
  3. Baral C., S. Kraus, J. Minker, and V.S. Subrahmanian: “Combining knowledge bases consisting of first order theories,” in: Computational Intelligence 8-1 (1992).Google Scholar
  4. Cayrol C., R. Royer, and C. Saurel: “Management of preferences in assumption-based reasoning,” in: Proceedings of (IPMU) Conference. Palma de Mallorca, Spain, 1992.Google Scholar
  5. Cholvy L.: “Querying an inconsistent database,” in: Proceedings of Artificial Intelligence: Methodology, systems and applications. North Holland, 1990.Google Scholar
  6. Cholvy, L.: “Proving theorems in a multi-source environment,” in: Proceedings of IJCAI, 1993.Google Scholar
  7. Dubois D., J. Lang, and H. Prades: “Dealing with multi-source information in possibilistic logic,” in: Proceedings of ECAI, 1992.Google Scholar
  8. Fagin R., J. Ullman, and M. Vardi: “On the semantics of updates in databases,” in: Proceedings of ACM TODS, 1983.Google Scholar
  9. Fagin R., G. Kupper, J. Ullman, and M. Vardi: “Updating logical databases,” in: Advances in Computing Research 3 (1986).Google Scholar
  10. Farinas Del Cerro L., and A. Herzig: Reasoning about database updates. Proceedings of the Workshop of Foundations of Deductive Databases and Logic Programming. Jack Minker Editor, 1986.Google Scholar
  11. Farinas L., and A. Herzig: Constructive Minimal Changes. Report IRIT, 1992.Google Scholar
  12. Gabbay D., and A. Hunter: “Making inconsistency respectable,” in: International Workshop on Fundamentals of Artificial Intelligence, 1991.Google Scholar
  13. Katsuno H., and A. Mendelzon: “Propositional knowledge base revision and minimal change,” in: Artificial Intelligence 52 (1991).Google Scholar
  14. Winslett M.: Updating Logical Databases. Cambridge University Press, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Laurence Cholvy
    • 1
  1. 1.ONERA-CERTToulouseFrance

Personalised recommendations