Title :
Integration of information in four-valued logics under non-uniform assumptions
Author :
Loyer, Yann ; Spyratos, Nicolas ; Stamate, Daniel
Author_Institution :
Lab. de Physique des Solides, Univ. de Paris-Sud, Orsay, France
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
Keywords :
logic programming; multivalued logic; central server; distributed environment; four-valued logics; inconsistency; integrating information; logics of knowledge; Logic programming; Multivalued logic;
Conference_Titel :
Multiple-Valued Logic, 2000. (ISMVL 2000) Proceedings. 30th IEEE International Symposium on
Conference_Location :
Portland, OR
Print_ISBN :
0-7695-0692-5
DOI :
10.1109/ISMVL.2000.848618
