Skip to main content
SpringerLink
Log in
Book cover

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty

ECSQARU 1995: Symbolic and Quantitative Approaches to Reasoning and Uncertainty pp 125–132Cite as

Automated reasoning with merged contradictory information whose reliability depends on topics

  • Conference paper
  • First Online:

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

Abstract

This paper presents a theorem prover for reasoning with information which is provided by several information sources and which may be contradictory.

This prover allows the user to assume that the different sources are more or less reliable, depending on the topics of the information.

Theorems which can be proved by this prover are of the form: if the sources were ordered in such a way for such a topic, then such a formula would be deducible.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and G. Grahne. Update semantics for incomplete databases. In Proceedings of VLDB, pages 1–12, 1985.

    Google Scholar 

  2. J. Minker C. Baral, S. Kraus and V.S. Subrahmanian. Combining multiple knowledge bases. IEEE Trans. on Knowledge and Data Engineering, 3(2), 1991.

    Google Scholar 

  3. J. Minker C. Baral, S. Kraus and V.S. Subrahmanian. Combining knowledge bases consisting of first order theories. Computational Intelligence, 8(1), 1992.

    Google Scholar 

  4. S. Cazalens and R. Demolombe. Intelligent access to data and knowledge bases via users' topics of interest. In Proceedings of IFIP Conference, pages 245–251, 1992.

    Google Scholar 

  5. L. Cholvy. Proving theorems in a multi-sources environment. In Proceedings of IJCAI, pages 66–71, 1993.

    Google Scholar 

  6. L. Cholvy. A logical approach to multi-sources reasoning. In Lecture notes in Artificial Intelligence, number 808, pages 183–196. Springer-Verlag, 1994.

    Google Scholar 

  7. L. Cholvy and R. Demolombe. Reasoning with information sources ordered by topics. In Proc of AIMSA, 1994.

    Google Scholar 

  8. F. Cuppens and R. Demolombe. Cooperative Answering: a methodology to provide intelligent access to Databases. In Proc of Eexpert Database Systems, 1988.

    Google Scholar 

  9. J. Lang D. Dubois and H. Prade. Dealing with multi-source information in possibilistic logic. In Proceedings of ECAI, pages 38–42, 1992.

    Google Scholar 

  10. L. G. Demichiel. Resolving database incompatibility: an approach to performing relational operations over mismatched domains. IEEE Transactions on Knowledge and Data Engineering, 1(4), 1989.

    Google Scholar 

  11. R. Demolombe and A. Jones. Deriving answers to safety queries. In Proc of International workshop on nonstandard queries and answers (Toulouse), 1991.

    Google Scholar 

  12. R.L. Epstein. The Semantic Foundations of Logic, Volume1: Propositional Logic. Kluwer Academic, 1990.

    Google Scholar 

  13. Y. Breitbart et al. Panel: interoperability in multidatabases: semantic and systems issues. In Proc of VLDB, pages 561–562, 1991.

    Google Scholar 

  14. L. Farinas and A. Herzig. Reasoning about database updates. In Workshop of Foundations of deductive databases and logic programming.

    Google Scholar 

  15. P. Gardenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press, 1988.

    Google Scholar 

  16. H. Katsuno and A. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52, 1991.

    Google Scholar 

  17. G.M. Kupper, J.D. Ullman, and M. Vardi. On the equivalence of logical databases. In Proc of ACM-PODS, 1984.

    Google Scholar 

  18. G. Lakemeyer. All they know about. In Proc. of AAAI-93, 1993.

    Google Scholar 

  19. A. Motro. A formal framework for integrating inconsistent answers from multiple information sources. Technical Report ISSE-TR-93-106, George Mason University.

    Google Scholar 

  20. A. Motro. Integrity=validity+completeness. In ACM TODS, volume 14(4).

    Google Scholar 

  21. B. Nebel. A knowledge level analysis of belief revision. In Proc of KR '89.

    Google Scholar 

  22. R. Demolombe S. Cazalens and A. Jones. A logic for reasoning about is about. Technical report, ESPRIT Project MEDLAR, 1992.

    Google Scholar 

  23. M. Siegel and S. E. Madnick. A metadata approach to resolving semantic conflicts. In Proceedings of VLDB, pages 133–146, 1991.

    Google Scholar 

  24. M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.

    Google Scholar 

  25. M. Winslett-Wilkins. A model theoretic approach to updating logical databases. In Proceedings of International Conference on Database Theory, Rome, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ONERA-CERT, 2 avenue Edouard Belin, 31055, Toulouse, France

    Laurence Cholvy

Authors
  1. Laurence Cholvy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Christine Froidevaux Jürg Kohlas

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cholvy, L. (1995). Automated reasoning with merged contradictory information whose reliability depends on topics. In: Froidevaux, C., Kohlas, J. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1995. Lecture Notes in Computer Science, vol 946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60112-0_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-60112-0_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60112-8

  • Online ISBN: 978-3-540-49438-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation