Resource-Bounded Paraconsistent Inference

In this paper, a new framework for reasoning from inconsistent propositional belief bases is presented. A family of resource-bounded paraconsistent inference relations is introduced. Such inference relations are based on S-3 entailment, an inference relation logically weaker than the classical one and parametrized by a set S of propositional variables. The computational complexity of our relations is identified, and their logical properties are analyzed. Among the strong features of our framework is the fact that tractability is ensured each time |S| is bounded and a limited amount of knowledge is taken into account within the belief base. Furthermore, binary connectives ∧, ∨ behave in a classical manner. Finally, our framework is general enough to encompass several paraconsistent multi-valued logics (including S-3, J3 and its restrictions), the standard coherence-based approach to inconsistency handling (based on the selection of consistent subbases) and some signed systems for paraconsistent reasoning as specific cases.

[1]  Jacques Carlier,et al.  SAT versus UNSAT , 1993, Cliques, Coloring, and Satisfiability.

[2]  Nicholas Rescher,et al.  On Inferences from Inconsistent Premises , 1970 .

[3]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[4]  Graham Priest,et al.  Minimally inconsistent LP , 1991, Stud Logica.

[5]  Claudette Cayrol,et al.  Non-monotonic Syntax-Based Entailment: A Classification of Consequence Relations , 1995, ECSQARU.

[6]  Rohit Parikh,et al.  An Inconsistency Tolerant Model for Belief Representation and Belief Revision , 1999, IJCAI.

[7]  Didier Dubois,et al.  How to Infer from Inconsisent Beliefs without Revising? , 1995, IJCAI.

[8]  Benjamin Kuipers,et al.  Towards a Theory of Access-limited Logic for Knowledge Representation , 2005 .

[9]  Mukesh Dalal Anytime Families of Tractable Propositional Reasoners Introduction , .

[10]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[11]  Fangzhen Lin,et al.  Reasoning in the Presence of Inconsistency , 1987, AAAI.

[12]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[13]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

[14]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.

[15]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

[16]  Anthony Hunter,et al.  Introduction to actual and potential contradictions , 1998 .

[17]  Sébastien Konieczny,et al.  On the Logic of Merging , 1998, KR.

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

[19]  Alan M. Frisch Inference without Chaining , 1987, IJCAI.

[20]  Bernhard Nebel,et al.  Base Revision Operations and Schemes: Semantics, Representation and Complexity , 1994, ECAI.

[21]  Renata Wassermann On Structured Belief Bases , 2001 .

[22]  Carl Hewitt Metacritique of McDermott and the logicist approach , 1987 .

[23]  Richard L. Epstein,et al.  The Semantic Foundations of Logic Volume 1: Propositional Logics , 1990 .

[24]  Graham Priest,et al.  Reasoning About Truth , 1989, Artif. Intell..

[25]  A.R.C.S. A. H. Loveless What is an abstract ? , 1990 .

[26]  Torsten Schaub,et al.  Signed Systems for Paraconsistent Reasoning , 1998, Journal of Automated Reasoning.

[27]  Claudette Cayrol,et al.  On the Complexity of Non-Monotonic Entailment in Syntax-Based Approaches , 1994 .

[28]  Frank van Harmelen,et al.  Computing Approximate Diagnoses By Using Approximate Entailment , 1996, KR.

[29]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[30]  Anthony Hunter,et al.  Reasoning with contradictory information using quasi-classical logic , 2000, J. Log. Comput..

[31]  Pierre Marquis,et al.  Complexity Results for Paraconsistent Inference Relations , 2002, KR.

[32]  Donald W. Loveland,et al.  A machine program for theorem-proving , 2011, CACM.

[33]  Marco Schaerf,et al.  Tractable Reasoning via Approximation , 1995, Artif. Intell..

[34]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[35]  Marco Schaerf,et al.  On the complexity of entailment in propositional multivalued logics , 1996, Annals of Mathematics and Artificial Intelligence.

[36]  Matthew L. Ginsberg The Computational Value of Nonmonotonic Reasoning , 1991, KR.

[37]  Pierre Marquis,et al.  Computational Aspects of Quasi-Classical Entailment , 2001, J. Appl. Non Class. Logics.

[38]  Jinxin Lin,et al.  Integration of Weighted Knowledge Bases , 1996, Artif. Intell..

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

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

[41]  Sarit Kraus,et al.  Combining Multiple Knowledge Bases , 1991, IEEE Trans. Knowl. Data Eng..

[42]  Bernhard Nebel,et al.  A Knowledge Level Analysis of Belief Revision , 1989, KR.

[43]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming , 1993, IJCAI.

[44]  Bart Selman,et al.  Knowledge compilation and theory approximation , 1996, JACM.

[45]  Bernhard Nebel,et al.  How Hard is it to Revise a Belief Base , 1996 .

[46]  Gadi Pinkas,et al.  Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict , 1992, KR.

[47]  Arnon Avron,et al.  The Value of the Four Values , 1998, Artif. Intell..

[48]  Hector J. Levesque,et al.  A Knowledge-Level Account of Abduction , 1989, IJCAI.

[49]  Peter Z. Revesz,et al.  On the Semantics of Arbitration , 1997, Int. J. Algebra Comput..

[50]  Claudette Cayrol,et al.  On the Acceptability of Arguments in Preference-based Argumentation , 1998, UAI.

[51]  Sébastien Konieczny,et al.  On the Difference between Merging Knowledge Bases and Combining them , 2000, KR.

[52]  Hector J. Levesque,et al.  Knowledge Representation and Reasoning , 2004 .

[53]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[54]  Anthony Hunter,et al.  Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information , 1995, ECSQARU.

[55]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

[56]  James M. Crawford,et al.  A Non-Deterministic Semantics for Tractable Inference , 1998, AAAI/IAAI.

[57]  D. Kayser Une étude du « raisonnement par approximation » de Schaerf et Cadoli , 1997 .

[58]  Bernhard Nebel,et al.  Belief Revision and Default Reasoning: Syntax-Based Approaches , 1991, KR.

[59]  Torsten Schaub,et al.  Circumscribing Inconsistency , 1997, IJCAI.

[60]  Salem Benferhat Computing Specificity in Default Reasoning , 2000 .

[61]  Thomas Schiex,et al.  Nonmonotonic reasoning: from complexity to algorithms , 1998, Annals of Mathematics and Artificial Intelligence.