Full Description
Thomas Hubauer addresses the challenge of providing reasonable interpretations of incomplete observational data in the context of imperfect domain models - a situation often encountered in the context of industrial diagnostics. To tackle this problem, the author proposes a novel approach called Relaxed Abduction, which is able to derive pragmatic interpretations in situations where existing methods either fail or provide overly complex solutions. To strengthen the link to applications in industrial diagnostics, he develops a methodology to structure diagnosis problems according to ISO 13379 and express it using multiple description logic knowledge bases.
Contents
Formalizing Diagnostics Using Description Logics.- Formalization and Properties of Relaxed Abduction.- Solving Diagnostic Problems Using Relaxed Abduction.- Incremental Diagnostics.
