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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2024535
بازگشت