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.
KeywordsMigration Transportation Sorting
Unable to display preview. Download preview PDF.