Relaxed Abduction



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.


Migration Transportation Sorting 


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