论文信息 - Paraconsistent Inference from Data Using Existential Omega-Entailment

Paraconsistent Inference from Data Using Existential Omega-Entailment

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.

Michael R. Genesereth | Michael Kassoff

[1] Didier Dubois,et al. Argumentative inference in uncertain and inconsistent knowledge bases , 1993, UAI.

[2] Timothy L. Hinrichs. Extensional Reasoning , 2007, ESARLT.

[3] N. Rescher,et al. On inference from inconsistent premisses , 1970 .

[4] George Boolos,et al. Computability and logic , 1974 .

[5] Michael R. Genesereth,et al. PrediCalc: a logical spreadsheet management system , 2005, The Knowledge Engineering Review.

[6] Morten Elvang-Gøransson,et al. Argumentative Logics: Reasoning with Classically Inconsistent Information , 1995, Data Knowl. Eng..

[7] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[8] Anthony Hunter,et al. Algorithms for generating arguments and counterarguments in propositional logic , 2011, Int. J. Approx. Reason..

[9] Michael R. Genesereth,et al. Inconsistency-Tolerant Reasoning with Classical Logic and Large Databases , 2009, SARA.

[10] Jan Chomicki,et al. Consistent query answers in inconsistent databases , 1999, PODS '99.

[11] Guillermo Ricardo Simari,et al. Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.

[12] Timothy L. Hinrichs. Plato: A Compiler for Interactive Web Forms , 2011, PADL.

[13] Anthony Hunter,et al. Paraconsistent logics , 1998 .

[14] Michael R. Genesereth,et al. Logical foundations of artificial intelligence , 1987 .