DocumentCode
2089805
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
fYear
2000
fDate
2000
Firstpage
185
Lastpage
190
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2000. (ISMVL 2000) Proceedings. 30th IEEE International Symposium on
Conference_Location
Portland, OR
ISSN
0195-623X
Print_ISBN
0-7695-0692-5
Type
conf
DOI
10.1109/ISMVL.2000.848618
Filename
848618
Link To Document