Some Adaptive Logics for Diagnosis

A logic of diagnosis proceeds in terms of a set of data and one or more (prioritized) sets of expectancies. In this paper we generalize the logics of diagnosis from [27] and present some alternatives. The former operate on the premises and expectancies themselves, the latter on their consequences.

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

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

[3]  D. Batens,et al.  On Classical Adaptive Logics of Induction , 2003 .

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

[5]  Newton C. A. da Costa,et al.  A coherence theory of truth , 2005 .

[6]  Diderik Batens,et al.  Zero logic adding up to classical logic , 1999 .

[7]  Diderik Batens.  Minimally Abnormal Models In Some Adaptive Logics , 2004, Synthese.

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

[9]  Diderik Batens,et al.  Dialectical dynamics within formal logics , 1986 .

[10]  N. Rescher,et al.  The coherence theory of truth , 1973 .

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

[12]  Diderik Batens,et al.  The Adaptive Logic of Compatibility , 2000, Stud Logica.

[13]  Diderik Batens,et al.  On a Logic of Induction , 2005 .

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

[15]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[16]  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.

[17]  Diderik Batens,et al.  Blocks: the clue to dynamic aspects of logic , 1997 .

[18]  Dagmar Provijn,et al.  A Formal Analysis of Diagnosis and Diagnostic Reasoning. , 1999 .

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

[20]  Nicholas Rescher.  Plausible reasoning : an introduction to the theory and practice of plausibilistic inference , 1976 .

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

[22]  Liza Verhoeven.  Changing one’s position in a discussion — some adaptive approaches , 2003 .

[23]  Diderik Batens,et al.  Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics , 2001, Stud Logica.

[24]  L. R. Harris.  Hypothetical reasoning , 1989 .