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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S. Abiteboul and G. Grahne. Update semantics for incomplete databases. In Proceedings of VLDB, pages 1–12, 1985.
J. Minker C. Baral, S. Kraus and V.S. Subrahmanian. Combining multiple knowledge bases. IEEE Trans. on Knowledge and Data Engineering, 3(2), 1991.
J. Minker C. Baral, S. Kraus and V.S. Subrahmanian. Combining knowledge bases consisting of first order theories. Computational Intelligence, 8(1), 1992.
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.
L. Cholvy. Proving theorems in a multi-sources environment. In Proceedings of IJCAI, pages 66–71, 1993.
L. Cholvy. A logical approach to multi-sources reasoning. In Lecture notes in Artificial Intelligence, number 808, pages 183–196. Springer-Verlag, 1994.
L. Cholvy and R. Demolombe. Reasoning with information sources ordered by topics. In Proc of AIMSA, 1994.
F. Cuppens and R. Demolombe. Cooperative Answering: a methodology to provide intelligent access to Databases. In Proc of Eexpert Database Systems, 1988.
J. Lang D. Dubois and H. Prade. Dealing with multi-source information in possibilistic logic. In Proceedings of ECAI, pages 38–42, 1992.
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.
R. Demolombe and A. Jones. Deriving answers to safety queries. In Proc of International workshop on nonstandard queries and answers (Toulouse), 1991.
R.L. Epstein. The Semantic Foundations of Logic, Volume1: Propositional Logic. Kluwer Academic, 1990.
Y. Breitbart et al. Panel: interoperability in multidatabases: semantic and systems issues. In Proc of VLDB, pages 561–562, 1991.
L. Farinas and A. Herzig. Reasoning about database updates. In Workshop of Foundations of deductive databases and logic programming.
P. Gardenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press, 1988.
H. Katsuno and A. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52, 1991.
G.M. Kupper, J.D. Ullman, and M. Vardi. On the equivalence of logical databases. In Proc of ACM-PODS, 1984.
G. Lakemeyer. All they know about. In Proc. of AAAI-93, 1993.
A. Motro. A formal framework for integrating inconsistent answers from multiple information sources. Technical Report ISSE-TR-93-106, George Mason University.
A. Motro. Integrity=validity+completeness. In ACM TODS, volume 14(4).
B. Nebel. A knowledge level analysis of belief revision. In Proc of KR '89.
R. Demolombe S. Cazalens and A. Jones. A logic for reasoning about is about. Technical report, ESPRIT Project MEDLAR, 1992.
M. Siegel and S. E. Madnick. A metadata approach to resolving semantic conflicts. In Proceedings of VLDB, pages 133–146, 1991.
M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.
M. Winslett-Wilkins. A model theoretic approach to updating logical databases. In Proceedings of International Conference on Database Theory, Rome, 1986.
Author information
Authors and Affiliations
Editor information
Rights 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