DocumentCode
2024535
Title
Paraconsistent Inference from Data Using Existential Omega-Entailment
Author
Kassoff, Michael ; Genesereth, Michael R.
fYear
2011
fDate
Aug. 29 2011-Sept. 2 2011
Firstpage
315
Lastpage
319
Abstract
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.
Keywords
inference mechanisms; existential Omega-entailment; integrity constraints Omega; para consistent entailment relation; paraconsistent inference; Cognition; Databases; Educational institutions; Logic programming; Maintenance engineering; Semantics; Syntactics; deductive databases; logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Database and Expert Systems Applications (DEXA), 2011 22nd International Workshop on
Conference_Location
Toulouse
ISSN
1529-4188
Print_ISBN
978-1-4577-0982-1
Type
conf
DOI
10.1109/DEXA.2011.64
Filename
6059836
Link To Document