Hypothesis Support for Information Integration in Four-Valued Logics

Authors:
Yann Loyer;Nicolas Spyratos;Daniel Stamate
Affiliations:
-;-;-
Venue:
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Year:
2000

Citing 5
Cited 0

Negation by default and unstratifiable logic programs

Selected papers of the workshop on Deductive database theory
Bilattices and the semantics of logic programming

Journal of Logic Programming
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Unfounded sets and well-founded semantics for general logic programs

Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Computing and Comparing Semantics of Programs in Four-Valued Logics

MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We address the problem of integrating information coming from different sources. The information consists of facts that a central server collects and tries to combine using (a) a set of logical rules, i.e. a logic program, and (b) a hypothesis representing the server's own estimates. In such a setting incomplete information from a source or contradictory information from different sources necessitate the use of many-valued logics in which programs can be evaluated and hypotheses can be tested. To carry out such activities we propose a formal framework based on Belnap's four-valued logic. In this framework we work with the class of programs defined by Fitting and we develop a theory for information integration. We also establish an intuitively appealing connection between our hypothesis testing mechanism on the one hand, and the well-founded semantics and Kripke-Kleene semantics of Datalog programs with negation, on the other hand.