Integration of Information in Four-Valued Logics under Non-Uniform Assumptions

  • Authors:
  • Yann Loyer;Nicolas Spyratos;Daniel Stamate

  • Affiliations:
  • -;-;-

  • Venue:
  • ISMVL '00 Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study the problem of integrating information coming from different sources in a distributed environment. We assume a central server that collects facts from sources and tries to combine them using a set of logical rules, i.e. a logic program. We provide a formal framework for the integration of information in such a setting, under non-uniform assumptions on the missing information.