Paraconsistent Inference from Data Using Existential Omega-Entailment
Autor: | Michael R. Genesereth, Michael Kassoff |
---|---|
Rok vydání: | 2011 |
Předmět: |
TheoryofComputation_MISCELLANEOUS
Theoretical computer science Relation (database) Programming language Computer science TheoryofComputation_GENERAL Inference Paraconsistent logic Semantic property computer.software_genre Semantics Logical consequence Set (abstract data type) Mathematics::Logic TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Computer Science::Logic in Computer Science Data integrity computer Logic programming |
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 |
Externí odkaz: |
načítá se...