Abstract
This paper focuses on the problem of reasoning with information provided by a group of databases which share a common set of rules (deductive rules, integrity constraints). Each database is assumed to be consistent with the rules, but federating them may lead to contradictions.
This paper describes a logic of beliefs, based on KD logic, for reasoning with contradictory information provided by several databases. It also presents a theorem prover, associated with this logic. This prover, described as a meta-interpreter of PROLOG allows us to derive formulas of the form: given the databases and the rules, assuming an order of relative reliability between the databases, is a given formula deducible? or, what are the individuals which satisfy a given formula? When the set of rules is not recursive, we prove the correctness of this theorem-prover.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Baral, C., Kraus, S., Minker, J. and Subrahmanian, V. S. (1991). Combining multiple knowledge bases. IEEE Trans. on Knowledge and Data Engineering, 3.
Baral, C., Kraus, S., Minker, J. and V. S. Subrahmanian. (1992). Combining knowledge bases consisting of first order theories. Computational Intelligence, 8.
Cazalens, S. and Demolombe, R. (1992). Intelligent access to data and knowledge bases via users' topics of interest. Proceedings of IFIP Conference (pp. 245–251.
Cazalens, S., Demolombe, R. and Jones, A. (1992). A logic for reasoning about Is About. ESPRIT Project MEDLAR Report.
Chellas, B. F. (1980). Modal logic, an introduction. Cambridge University Press.
Cholvy, L. (1994). A logical approach to multi-sources reasoning. Lecture notes in Artificial Intelligence, Springer-Verlag.
Cholvy, L. (1993). Proving theorems in a multi-sources environment. Proceedings of IJCAI (pp. 66–71).
Cholvy, L. (1993). Updates and topics of information. Proceedings of IJCAI'93 Workshop on Reasoning about Action and Change.
Cholvy, L. (1994). Fusion de sources d'informations contradictoires ordonnées en fonction des thèmes. Revue de l'Intelligence artificielle, 8.
Cholvy, L. (1995). Automated reasoning with merged contradictory information whose reliability depends on topics. Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU). Fribourg.
Cholvy, L. and Demolombe, R. (1994). Reasoning with information sources ordered by topics. In Proceedings of Artificial Intelligence: Methods, Systems and Applications (AIMSA). World Scientific, Sofia, september 1994.
Cholvy, L., Demolombe, R. and Jones, A. (1994). Reasoning about the safety of information: from logical formalization to operational definition. Lecture notes in Artificial Intelligence. Springer-Verlag.
Cuppens, F. and Demolombe, R. (1988). Cooperative Answering: a methodology to provide intelligent access to databases. Proceedings of Expert Database Systems.
Demichiel, L. G. (1989). Resolving database incompatibility: an approach to performing relational operations over mismatched domains. IEEE Transactions on Knowledge and Data Engineering, 1, 1989.
Epstein, R. L. (1990). The Semantic Foundations of Logic, Volume1: Propositional Logic. Boston: Kluwer Academic Publishers.
Fagin, R., Kupper, G., Ullman, J. and Vardi, M. (1986). Updating logical databases. Advances in Computing Research, 3.
Fagin, R., Ullman, J. D. and Vardi, M. (1983). On the semantics of updates in databases. ACM TODS (pp. 352–365).
Gabbay, D., Giordano, L., Martelli, A. and Olivetti, N. (1995). Hypothetical updates, priority and inconsistency in a logic programming language. Proc of LPNMR'95. Springer.
Gardenfors, P. (1988). Knowledge in Flux: Modeling the Dynamics of Epistemic States. Cambridge, MA: The MIT Press.
Gardenfors, P. and Makinson, D. (1992). Nonmonotonic inference based on expectations. Artificial Intelligence, to appear.
Hughes, G. E. and Cresswell, M. J. (1972). An introduction to modal logic. London and New York: Methren.
Katsuno, H. and Mendelzon, A. (1991). Propositional knowledge base revision and minimal change. Artificial Intelligence, 52.
Lakemeyer, G. (1993). All they know about. Proceedings of AAAI-93.
Lang, J., Benferhat, S., Cayrol, C., Prade, H. and Dubois, D. (1993). Inconsistency management and prioritized syntax-based entailment. Proceedings of IJCAI-93.
Motro, A. (1993). A formal framework for integrating inconsistent answers from multiple information sources. Technical Report ISSE-TR-93-106, George Mason University.
Motro, A. (1989). Integrity = validity + completeness. ACM TODS, 14.
Nebel, B. (1989). A knowledge level analysis of belief revision. Proc of KR'89.
Pradhan, S., Minker, J. and Subrahmanian, V. S. (1995). Combining databases with prioritized information. Journal of Intelligent Information Systems, 4,231–260.
Prakken, H. and Sartor, G. (1995). On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities. Proc. Fifth Conference on Artificial Intelligence and Law. University of Maryland.
Prakken, H. and Sartor, G. (1996). A systeme for defeasible argumentation with defeasible prorities. Proc. Of FAPR'96. Springer.
Reiter, R. (1978).On closed world databases. Logic and data bases. New-York: Plenum Press.
Siegel, M. and Madnick, S. E. (1991). A metadata approach to resolving semantic conflicts. Proceedings of VLDB (pp. 133–146).
Rights and permissions
About this article
Cite this article
Cholvy, L. Reasoning About Data Provided By Federated Deductive Databases. Journal of Intelligent Information Systems 10, 49–80 (1998). https://doi.org/10.1023/A:1008637507908
Issue Date:
DOI: https://doi.org/10.1023/A:1008637507908