Skip to main content
SpringerLink
Log in

Reasoning About Merged Information

  • Chapter
  • First Online:
Belief Change

Part of the book series: Handbook of Defeasible Reasoning and Uncertainty Management Systems ((HAND,volume 3))

Abstract

More and more, computer science applications need to use information which is not provided by a single source of information but by several.

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

Access this chapter

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Alchourrón, P. Gärdenfors and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(2), 1985.

    Google Scholar 

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

    Google Scholar 

  3. A. Bauval and L. Cholvy. Automated reasoning in case of inconsistency. In Proceedings of the first World Conference on Fundamentals of AI (WOCFAI), Paris, July 1991.

    Google Scholar 

  4. P. Besnard. Logics for automated reasoning in the presence of contradictions. In Proc of Artificial Intelligence: Methodology, systems and applications, North Holland, 1990.

    Google Scholar 

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

    Google Scholar 

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

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

    Google Scholar 

  8. B. F. Chellas. Modal Logic. An Introduction. Cambridge University Press, 1980.

    Google Scholar 

  9. L. Cholvy. Querying an inconsistent database. In Proceedings of Artificial Intelligence: Methodology, systems and applications (AIMSA). North Holland, 1990.

    Google Scholar 

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

    Google Scholar 

  11. L. Cholvy. Updates and topics of information. In Proceedings of IJCAI′93 Workshop on Reasoning about Action and Change, 1993.

    Google Scholar 

  12. L. Cholvy. A logical approach to multi-sources reasoning. In Lecture notes in Artificial Intelligence, number 808. Springer-Verlag, 1994.

    Google Scholar 

  13. L. Cholvy. Automated reasoning with merged contradictory information whose reliability depends on topics. In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU), Fribourg, July 1995.

    Google Scholar 

  14. L. Cholvy. Flexible query-answering in a group of databases. In Flexible Query Answering Systems, T. Andreasen, H. Christiansen and H. L. Larsen, eds. pp. 141–161. Kluwer Academic Publishers, 1997.

    Google Scholar 

  15. L. Cholvy. Reasoning with data provided by federated deductive databases. To appear in Journal of Intelligent Information Systems, Kluwer Academic Publishers, 1998.

    Google Scholar 

  16. L. Cholvy and F. Cuppens. Etude des règlements de sécurité: formalisation et développement d’une maquette. Technical Report DERI/1/3521, ONERA-CERT-DERI, mai 1995 1995.

    Google Scholar 

  17. L. Cholvy and F. Cuppens. Solving normative conflicts by merging roles. In Proceedings of the fifth International Conference on Artificial Intelligence and Law, Washington, May 1995.

    Google Scholar 

  18. L. Cholvy and R. Demolombe. Reasoning with information sources ordered by topics. In Proceedings of Artificial Intelligence: Methods, Systems and Applications (AIMSA). World Scientific, Sofia, September 1994.

    Google Scholar 

  19. L. Cholvy, R. Demolombe and A. Jones. Reasoning about the safety of information: from logical formalization to operational definition. In Lecture notes in Artificial Intelligence, number 869. Springer-Verlag, 1994.

    Google Scholar 

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

    Google Scholar 

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

  22. R. L. Epstein. The Semantic Foundations of Logic, Volumel: Propositional Logic. Kluwer Academic, 1990.

    Google Scholar 

  23. R. Fagin, J. D. Ullman and M. Vardi. On the semantics of updates in databases. In ACM TODS, pages 352–365, 1983.

    Google Scholar 

  24. L. Farinas del Cerro and A. Herzig. Reasoning about database updates. In Workshop of Foundations of deductive databases and logic programming, 1986.

    Google Scholar 

  25. L. Farinas del Cerro and A. Herzig. Constructive minimal changes. In Report IRIT, 1992.

    Google Scholar 

  26. D. Gabbay and A. Hunter. Making inconsistency respectable. In International workshop on fundamentals of Artificial Intelligence, 1991.

    Google Scholar 

  27. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press, 1988.

    Google Scholar 

  28. M. L. Ginsberg and D. E. Smith. Reasoning about action: a possible worlds approach. Artificial Intelligence, 35: 165–195, 1988.

    Article  MathSciNet  Google Scholar 

  29. G. Grahne. Updates and contrafactuals. In Principles of knowledge representation and reasoning. Morgan and Kaufmann, 1991.

    Google Scholar 

  30. J. Horty. Moral dilemnas and nonmotonic logic. In Proc of the First International Workshp on Deontic Logic ic Computer Science, Amsterdam, The Nederlands, 1991.

    Google Scholar 

  31. A. Jones and R. Demolombe. Deriving answers to safety queries. In R. Demolombe and T. Imielinski, editors, Non standard queries and answers. Oxford University Press, 1994.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  37. B. Nebel. A knowledge level analysis of belief revision. In Proc of KR′89, 1989.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ONER-CERT, Toulouse, France

    Laurence Cholvy

Authors
  1. Laurence Cholvy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Université Paul Sabatier, Toulouse, France

    Didier Dubois  & Henri Prade  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Cholvy, L. (1998). Reasoning About Merged Information. In: Dubois, D., Prade, H. (eds) Belief Change. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-5054-5_6

Download citation

  • DOI: https://doi.org/10.1007/978-94-011-5054-5_6

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-010-6123-0

  • Online ISBN: 978-94-011-5054-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation