Adaptive Logics for Non-Explanatory and Explanatory Diagnostic Reasoning

  • Dagmar Provijn
  • Erik Weber
Part of the Applied Logic Series book series (APLS, volume 25)


In this paper we discuss diagnosis of faults in systems. The latter are understood as structured wholes of components. Three types of diagnosis can be distinguished and are defined: non-explanatory, weak explanatory and strong explanatory. After the analysis of the reasoning process that leads to non-explanatory diagnosis, we argue that the predicative adaptive logic D* is an adequate tool for modeling this kind of diagnostic reasoning. Subsequently, we follow the same pattern for weak and strong diagnosis and describe the logic D* which adequately formalizes weak diagnostic reasoning, even when underlying theoretical knowledge is taken into account. Finally it is argued that the same logic can be applied in the case of strong diagnostic reasoning whenever a number of conditions are fulfilled.


Line Number Reasoning Process Closed Formula Diagnostic Reasoning Limit Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Batens, D., 2000, A survey of inconsistency-adaptive logics, in: Frontiers of Paracon-sistent Logic, D. Batens, C. Mortensen, G. Priest, and J.P. Van Bendegem, eds., Kings College Publications, London, pp. 49–73.Google Scholar
  2. Batens, D., 1998, Inconsistency-adaptive logics, in: Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, E. Orłowska, ed., Springer Verlag, Heidelberg, New York, pp. 445–472.Google Scholar
  3. Batens, D., Meheus, J., Provijn, D., and Verhoeven, L., Some adaptive logics for diagnosis (to appear).Google Scholar
  4. Batens, D. and Meheus, J., 2000, The adaptive logic of compatibility, Studia Logica 66:327–348.CrossRefGoogle Scholar
  5. Magnani, L., 2001, Abduction, Reason and Science. Processes of Discovery and Explanation, Kluwer Academic/Plenum Publishers, New York.CrossRefGoogle Scholar
  6. Meheus, J., Erotetic arguments from inconsistent premises (to appear).Google Scholar
  7. Reiter, R., 1980, A logic for default reasoning, Artificial Intelligence 13:81–132.CrossRefGoogle Scholar
  8. Reiter, R., 1987, A theory of diagnosis first principles, Artificial Intelligence 32:57–95.CrossRefGoogle Scholar
  9. Weber, E. and De Clercq, K., 2002, Why the logic of explanation is inconsistencyadaptive, in: Inconsistency in Science, J. Meheus, ed., Kluwer Academic/Plenum Publishers, Dordrecht, pp. 165–184.Google Scholar
  10. Weber, E. and Provijn, D., A formal analysis of diagnosis and diagnostic reasoning, Logique & Analyse (in print).Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2002

Authors and Affiliations

  • Dagmar Provijn
    • 1
  • Erik Weber
  1. 1.Centre for Logic and Philosophy of ScienceGhent UniversityGhentBelgium

Personalised recommendations