On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit

For Tarski logics, there are simple criteria that enable one to conclude that two premise sets are equivalent. We shall show that the very same criteria hold for adaptive logics, which is a major advantage in comparison to other approaches to defeasible reasoning forms. A related property of Tarski logics is that the extensions of equivalent premise sets with the same set of formulas are equivalent premise sets. This does not hold for adaptive logics. However a very similar criterion does. We also shall show that every monotonic logic weaker than an adaptive logic is weaker than the lower limit logic of the adaptive logic or identical to it. This highlights the role of the lower limit for settling the adaptive equivalence of extensions of equivalent premise sets.

[1]  Diderik Batens,et al.  Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case , 2002, J. Appl. Non Class. Logics.

[2]  Lou Goble.  A Proposal for Dealing with Deontic Dilemmas , 2004, DEON.

[3]  Witold Łukaszewicz.  Non-monotonic reasoning : formalization of commonsense reasoning , 1990 .

[4]  Giuseppe Primiero,et al.  Majority merging by adaptive counting , 2008, Synthese.

[5]  Diderik Batens,et al.  An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning , 2006 .

[6]  Diderik Batens.  Inconsistency-adaptive logies and the foundation of non-monotonic logic , 1994 .

[7]  Kristof de Clercq,et al.  Two new strategies for inconsistency-adaptive logics , 2004 .

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

[9]  Christian Straßer.  An adaptive logic framework for conditional obligations and deontic dilemmas , 2010 .

[10]  H. Rasiowa,et al.  Logic at work : essays dedicated to the memory of Helena Rasiowa , 1999 .

[11]  Lorenzo Magnani,et al.  Logical and Computational Aspects of Model-Based Reasoning , 2002 .

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

[13]  D. Batens.  TOWARDS THE UNIFICATION OF INCONSISTENCY HANDLING MECHANISMS , 2004 .

[14]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[15]  Maarten Van Dyck,et al.  Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction , 2002 .

[16]  Andrzej Wiśniewski,et al.  The posing of questions : logical foundations of erotetic inferences , 1995 .

[17]  Alejandro Ramírez Figueroa.  Abductive Reasoning. Logical Investigations into Discovery and Explanation , 2009 .

[18]  Fangzhen Lin,et al.  Epistemic Semantics for Fixed-Points Non-Monotonic Logics , 1990, TARK.

[19]  Dagmar Provijn,et al.  Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning , 2002 .

[20]  Didier Dubois,et al.  Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case , 1997, Stud Logica.

[21]  Diderik Batens,et al.  Some Adaptive Logics for Diagnosis , 2003 .

[22]  Sébastien Konieczny,et al.  Merging Information Under Constraints: A Logical Framework , 2002, J. Log. Comput..

[23]  T. Kuipers.  From Instrumentalism to Constructive Realism: On Some Relations between Confirmation, Empirical Progress, and Truth Approximation , 2000 .

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

[25]  Bert Leuridan,et al.  Causal discovery and the problem of ignorance. An adaptive logic approach , 2009, J. Appl. Log..

[26]  Yoav Shoham,et al.  A semantical approach to nonmonotonic logics , 1987, LICS 1987.

[27]  Diderik Batens,et al.  A Formal Logic for Abductive Reasoning , 2006, Log. J. IGPL.

[28]  David Makinson,et al.  Bridges from classical to nonmonotonic logic , 2005, Texts in computing.

[29]  Newton C. A. da Costa,et al.  Pragmatic truth and approximation to truth , 1986, Journal of Symbolic Logic.

[30]  Joke Meheus.  An adaptive logic for pragmatic truth , 2002 .

[31]  J. Meheus,et al.  Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs , 2007 .

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

[33]  Stephan van der Waart van Gulik,et al.  A Generic Framework for Adaptive Vague Logics , 2008, Stud Logica.

[34]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[35]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[36]  Maarten Van Dyck,et al.  Causal Discovery Using Adaptive Logics. Towards a more realistic heuristics for human causal learning , 2004 .

[37]  Diderik Batens.  Inconsistency-Adaptive Logics , 1999 .

[38]  G. E. Hughes,et al.  An introduction to modal logic, 2e éd., 1 vol , 1973 .

[39]  D. Batens.  A General Characterization of Adaptive Logics , 2001 .

[40]  Tran Cao Son,et al.  Nonmonotonic Inheritance, Argumentation and Logic Programming , 1995, LPNMR.

[41]  Andrzej Wiśniewski,et al.  The posing of questions , 1995 .

[42]  Joke Meheus.  Adaptive Logics for Question Evocation , 2001 .

[43]  Yoav Shoham,et al.  New Results on Semantical Non-Monotonic Reasoning , 1988, NMR.

[44]  Christian Straßer,et al.  Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach , 2011, J. Log. Comput..

[45]  Liza Verhoeven.  Proof Theories for Some Prioritized Consequence Relations , 2003 .

[46]  Diderik Batens,et al.  Towards a Dialogic Interpretation of Dynamic Proofs , 2009 .

[47]  Diderik Batens.  A Strengthening of the Rescher--Manor Consequence Relations , 2003 .

[48]  Theodorus Kuipers.  Confirmation, Empirical Progress, and Truth Approximation, Essays in Debate with Theo Kuipers , 2005 .

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

[50]  Roberto Festa,et al.  Confirmation, Empirical Progress, and Truth Approximation , 2005 .

[51]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[52]  Joke Meheus,et al.  Erotetic Arguments from Inconsistent Premises. , 1999 .

[53]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

[54]  Newton C. A. da Costa,et al.  The Logic of Pragmatic Truth , 1998, J. Philos. Log..

[55]  Diderik Batens,et al.  A Universal Logic Approach to Adaptive Logics , 2007, Logica Universalis.

[56]  J. Pearl.  Causality: Models, Reasoning and Inference , 2000 .

[57]  Joke Meheus,et al.  Empirical progress and ampliative adaptive logics. , 2005 .

[58]  Yoav Shoham,et al.  A Semantical Approach to Nonmonotic Logics , 1987, LICS.

[59]  Lou Goble,et al.  A logic for deontic dilemmas , 2005, J. Appl. Log..