Paraconsistency in hybrid logic

As in standard knowledge bases, hybrid knowledge bases (i.e., sets of information specified by hybrid formulas) may contain inconsistencies arising from different sources, namely from the many mechanisms used to collect relevant information. Being a fact, rather than a queer anomaly, inconsistency also needs to be addressed in the context of hybrid logic applications. This paper introduces a paraconsistent version of hybrid logic which is able to accommodate inconsistencies at local points without implying global failure. A main feature of the resulting logic, crucial to our approach, is the fact that every hybrid formula has an equivalent formula in negation normal form. The paper also provides a measure to quantify the inconsistency of a hybrid knowledge base, useful as a possible basis for comparing knowledge bases. Finally, the concepts of extrinsic and intrinsic inconsistency of a theory are discussed.

[1]  Itala M. Loffredo D'Ottaviano,et al.  Paraconsistency: The Logical Way to the Inconsistent , 2002 .

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

[3]  Ullrich Hustadt,et al.  Resolution-Based Methods for Modal Logics , 2000, Log. J. IGPL.

[4]  Manuel A. Martins,et al.  Inconsistencies in health care knowledge , 2014, 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom).

[5]  Patrick Blackburn,et al.  Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto , 2000, Log. J. IGPL.

[6]  Anna Zamansky,et al.  Distance-based non-deterministic semantics for reasoning with uncertainty , 2009, Log. J. IGPL.

[7]  Torben Braüner,et al.  Axioms for classical, intuitionistic, and paraconsistent hybrid logic , 2006, J. Log. Lang. Inf..

[8]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[9]  B. T. Cate,et al.  Model theory for extended modal languages , 2005 .

[10]  Anthony Hunter,et al.  On the measure of conflicts: Shapley Inconsistency Values , 2010, Artif. Intell..

[11]  Kees Middelburg,et al.  A Survey of Paraconsistent Logics , 2011, ArXiv.

[12]  Sandra de Amo,et al.  A paraconsistent logic programming approach for querying inconsistent databases , 2007, Int. J. Approx. Reason..

[13]  João Marcos.  Modality and Paraconsistency , 2005 .

[14]  N. Costa,et al.  Remarks on the applications of paraconsistent logic to physics , 2003 .

[15]  Dov M. Gabbay,et al.  Handbook of paraconsistency , 2007 .

[16]  Jørgen Villadsen,et al.  Paraconsistent Query Answering Systems , 2002, FQAS.

[17]  S. Jaskowski.  A propositional calculus for inconsistent deductive systems , 2004 .

[18]  Anna Zamansky,et al.  A framework for reasoning under uncertainty based on non-deterministic distance semantics , 2011, Int. J. Approx. Reason..

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

[20]  John Grant,et al.  Analysing inconsistent first-order knowledgebases , 2008, Artif. Intell..

[21]  Francesco Paoli,et al.  Paraconsistency: Logic and Applications , 2013, Logic, Epistemology, and the Unity of Science.

[22]  D. Holdstock.  Past, present--and future? , 2005, Medicine, conflict, and survival.

[23]  Mohd Kamir Yusof,et al.  Comparative Study of Techniques in Reducing Inconsistent Data , 2012 .

[24]  Shahid Rahman,et al.  Logic, Epistemology, and the Unity of Science , 2004, Logic, Epistemology, and the Unity of Science.

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

[26]  Germano Lambert-Torres,et al.  Uncertainty Treatment Using Paraconsistent Logic - Introducing Paraconsistent Artificial Neural Networks , 2010, Frontiers in Artificial Intelligence and Applications.

[27]  John Grant,et al.  Measuring inconsistency in knowledgebases , 2006, Journal of Intelligent Information Systems.

[28]  Patrick Blackburn,et al.  Internalizing labelled deduction , 2000, J. Log. Comput..

[29]  Neil A. Ernst,et al.  Agile requirements engineering via paraconsistent reasoning , 2014, Inf. Syst..