Paraconsistent Inference from Data Using Existential Omega-Entailment

Autor: Michael R. Genesereth, Michael Kassoff
Rok vydání: 2011
Předmět:
Zdroj: DEXA Workshops
DOI: 10.1109/dexa.2011.64
Popis: Existential Omega-entailment is a para consistent entailment relation designed to show the consequences of data which is inconsistent with a set of integrity constraints Omega. In this paper, we prove semantic properties of existential Omega-entailment and give an algorithm for computing it.
Databáze: OpenAIRE
načítá se...