Relaxed Abduction

  • Thomas Hubauer


In this chapter we introduce relaxed abduction, a novel inference method designed specifically for the requirements posed by flexible information interpretation as presented in Section 1.2. As a starting point, Section 3.1 presents a formal framework for diagnostics of technical systems based on established ISO-standardised terminology, providing a basis for the examples used throughout this chapter. Next, Section 3.2 addresses the main theoretical contributions of this chapter by motivating and formalising relaxed abduction, analysing its relation to standard abduction, and presenting several concrete instantiations of the general framework including a mapping to the diagnostic tasks introduced in Section 3.1.


Description Logic Fault Mode Markov Logic Network Information Interpretation Abduction Problem 
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.

Copyright information

© Springer Fachmedien Wiesbaden 2016

Authors and Affiliations

  1. 1.Siemens AGMünchenGermany

Personalised recommendations