Some adaptive logics for diagnosis

Diderik Batens, Joke Meheus, Dagmar Provijn, Liza Verhoeven



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.

Full Text:



Diderik Batens, ‘Dialectical dynamics within formal logics’, Logique et Analyse, 114:161–173, 1986.

Diderik Batens, ‘Dynamic dialectical logics’, in Graham Priest, Richard Routley, and Jean Norman, (eds.), Paraconsistent Logic, Essays on the Inconsistent, pp. 187–217, Philosophia Verlag, M¨unchen, 1989.

Diderik Batens, ‘Blocks. The clue to dynamic aspects of logic’, Logique et Analyse, 150–152:285–328, 1995. Appeared 1997.

Diderik Batens, ‘Inconsistency-adaptive logics’, in Or lowska [20], pp. 445–472.

Diderik Batens, ‘Zero logic adding up to classical logic’, Logical Studies, 2:15, 1999, (Electronic Journal:

Diderik Batens, ‘Minimally abnormal models in some adaptive logics’, Synthese, 125: 5–18, 2000.

Diderik Batens, ‘Towards the unification of inconsistency handling mechanisms’, Logic and Logical Philosophy, 8:5–31, 2000. Appeared 2002.

Diderik Batens, ‘On some remarkable relations between paraconsistent logics, modal logics, and ambiguity logics’, in Walter A. Carnielli, Marcelo E. Coniglio, and Itala M. Loffredo D’Ottaviano, (eds.), Paraconsistency. The Logical Way to the Inconsistent, pp. 275–293, Marcel Dekker, New York / Basel, 2002.

Diderik Batens, ‘On a logic of induction’, in Roberto Festa, Atocha Aliseda, and Jeanne Peijnenburg, (eds.), Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers, volume 1. Poznan Studies in the Philosophy of the Sciences and the Humanities, Rodopi, Amsterdam, 2003. In print.

Diderik Batens, ‘A strengthening of the Rescher–Manor consequence relations’, Logique et Analyse. To appear.

Diderik Batens and Lieven Haesaert, ‘On classical adaptive logics of induction’, Logique et Analyse, 173–175:255–290, 2001. Appeared 2003.

Diderik Batens and Joke Meheus, ‘The adaptive logic of compatibility’, Studia Logica, 66: 327–348, 2000.

Diderik Batens and Joke Meheus, ‘Shortcuts and dynamic marking in the tableau method for adaptive logics’, Studia Logica, 69:221–248, 2001.

Diderik Batens and Timothy Vermeir, ‘Direct dynamic proofs for the Rescher–Manor consequence relations: The flat case’, Journal of Applied Non-Classical Logics, 12:63–84, 2002.

Salem Benferhat, Didier Dubois, and Henri Prade, ‘Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 1: The flat case’, Studia Logica, 58:17–45, 1997.

Salem Benferhat, Didier Dubois, and Henri Prade, ‘Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 2: The prioritized case’, in Orłowska [20], pp. 473–511.

G. E. Hughes and M. J. Cresswell, A Companion to Modal Logic, Methuen, London, 1984.

Joke Meheus, ‘Erotetic arguments from inconsistent premises’, Logique et Analyse, 165–166: 49–80, 1999. Appeared 2002.

Joke Meheus, ‘An adaptive logic based on Jaśkowski’s D2’, To appear.

Ewa Orłowska, (ed.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica Verlag (Springer), Heidelberg, New York, 1999.

Nicholas Rescher, Hypothetical Reasoning, North-Holland, Amsterdam, 1964.

Nicholas Rescher, The Coherence Theory of Truth, Clarendon, Oxford, 1973.

Nicholas Rescher, Plausible Reasoning. An Introduction to the Theory and Practice of Plausibilistic Inference, Van Gorcum, Assen/Amsterdam, 1976.

Nicholas Rescher and Ruth Manor, ‘On inference from inconsistent premises’, Theory and Decision, 1: 179–217, 1970.

Liza Verhoeven, ‘Changing one’s position in discussions. Some adaptive approaches’, Logic and Logical Philosophy, 11:201–222, 2003.

Liza Verhoeven, ‘Proof theories for some prioritized consequence relations’. To appear.

Erik Weber and Dagmar Provijn, ‘A formal analysis of diagnosis and diagnostic reasoning’, Logique et Analyse, 165–166:161–180, 1999. Appeared 2002.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism