Paper Info
Title
Meta many-valued logic programming for incomplete and locally inconsistent databases
Abstract
We present a 2-valued logic obtained by ontological Encapsulation of Many-Valued Logic Programming, for data integration of different source databases which can be incomplete and inconsistent. This new approach introduces the trilattice of interpretations with the new meta-truth dimension. We defined a Model theoretic approach for Herbrand interpretations of an encapsulated logic program: they constitute a complete semilattice under knowledge preorder, so that is possible to apply the Knaster-Tarski theorem for monotonic ýimmediate consequence operatorý in order to define the least fixpoint semantics for encapsulated logic programs, that is a unique 4-valued Herbrand model for datbases.
Year
DOI
Venue
2004
10.1109/IDEAS.2004.1319821
IDEAS
Keywords
Field
DocType
database theory,logic programming,meta data,multivalued logic,4-valued Herbrand model,Knaster-Tarski theorem,data integration,encapsulated logic program,meta many-valued logic programming,monotonic immediate consequence operator
Computational logic,Horn clause,Autoepistemic logic,Computer science,Multimodal logic,Herbrand's theorem,Theoretical computer science,Logic programming,Predicate logic,Database,Higher-order logic
Conference
ISSN
ISBN
Citations 
1098-8068
0-7695-2168-1
4
PageRank 
References 
Authors
0.47
11
1
Name
Order
Citations
PageRank
Zoran Majkic140.47