Internet-publication. โ 13 p. Inglish. (OCR-ัะปะพะน).
[Dipartimento di Informatica e Sistemistica, University of Roma โLa Sapienzaโ. Rome, Italy].
Abstract. Large databases obtained by the data integration of different source databases can be incomplete and inconsistent in many ways. The classical logic is not the appropriate formalism for reasoning about inconsistent databases. Certain local inconsistencies should not be allowed to significantly alter the intended meaning of such logic programs. The variety of semantical approaches that have been invented for logic programs is quite broad. In particular we are interested for many-valued logics with negation, based on bilattices. We present a 2-valued logic, based on an Ontological Encapsulation of Many-Valued Logic Programming, which overcome some drawbacks of the previous research approaches in many-valued logic programming. We defined a Model theory for Herbrand interpretations of ontologically encapsulated logic programs, based on a semantic reflection of the epistemic many-valued logic.
Introduction to Many-valued logic programming.
Many-valued epistemic logic based on a Bilattice.
Representation theorem.
Semantic reflection of the epistemic logic.
Ontological encapsulation programming language.
Syntax.
Semantics.
Conclusion.
References
(22 publ).