Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Besnard P.: “Logics for automated reasoning in the presence of contradictions,” in: Proceedings of Artificial Intelligence: Methodology, systems and applications. North Holland, 1990.
Bauval A., and L. Cholvy: “Automated reasoning in case of inconsistency,” in: Proceedings of the First World Conference on Fundamentals of AI 1991.
Baral C., S. Kraus, J. Minker, and V.S. Subrahmanian: “Combining knowledge bases consisting of first order theories,” in: Computational Intelligence 8-1 (1992).
Cayrol C., R. Royer, and C. Saurel: “Management of preferences in assumption-based reasoning,” in: Proceedings of (IPMU) Conference. Palma de Mallorca, Spain, 1992.
Cholvy L.: “Querying an inconsistent database,” in: Proceedings of Artificial Intelligence: Methodology, systems and applications. North Holland, 1990.
Cholvy, L.: “Proving theorems in a multi-source environment,” in: Proceedings of IJCAI, 1993.
Dubois D., J. Lang, and H. Prades: “Dealing with multi-source information in possibilistic logic,” in: Proceedings of ECAI, 1992.
Fagin R., J. Ullman, and M. Vardi: “On the semantics of updates in databases,” in: Proceedings of ACM TODS, 1983.
Fagin R., G. Kupper, J. Ullman, and M. Vardi: “Updating logical databases,” in: Advances in Computing Research 3 (1986).
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.
Farinas L., and A. Herzig: Constructive Minimal Changes. Report IRIT, 1992.
Gabbay D., and A. Hunter: “Making inconsistency respectable,” in: International Workshop on Fundamentals of Artificial Intelligence, 1991.
Katsuno H., and A. Mendelzon: “Propositional knowledge base revision and minimal change,” in: Artificial Intelligence 52 (1991).
Winslett M.: Updating Logical Databases. Cambridge University Press, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cholvy, L. (1994). A logical approach to multi-sources reasoning. In: Masuch, M., Pólos, L. (eds) Knowledge Representation and Reasoning Under Uncertainty. Logic at Work 1992. Lecture Notes in Computer Science, vol 808. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58095-6_13
Download citation
DOI: https://doi.org/10.1007/3-540-58095-6_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58095-9
Online ISBN: 978-3-540-48451-6
eBook Packages: Springer Book Archive