000 03116nam a22005055i 4500
001 978-3-658-14407-4
003 DE-He213
005 20200421111203.0
007 cr nn 008mamaa
008 160601s2016 gw | s |||| 0|eng d
020 _a9783658144074
_9978-3-658-14407-4
024 7 _a10.1007/978-3-658-14407-4
_2doi
050 4 _aQA76.9.M35
072 7 _aUYA
_2bicssc
072 7 _aUYAM
_2bicssc
072 7 _aCOM018000
_2bisacsh
072 7 _aMAT003000
_2bisacsh
082 0 4 _a004.0151
_223
100 1 _aHubauer, Thomas.
_eauthor.
245 1 0 _aRelaxed Abduction
_h[electronic resource] :
_bRobust Information Interpretation for Industrial Applications /
_cby Thomas Hubauer.
264 1 _aWiesbaden :
_bSpringer Fachmedien Wiesbaden :
_bImprint: Springer Vieweg,
_c2016.
300 _aXVII, 134 p. 11 illus., 1 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aFormalizing Diagnostics Using Description Logics -- Formalization and Properties of Relaxed Abduction -- Solving Diagnostic Problems Using Relaxed Abduction -- Incremental Diagnostics.
520 _aThomas 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 Target Groups Researchers and students of computer science, knowledge management, and applied mathematics Practitioners in the area of industrial diagnostics and maintenance The Author Thomas Hubauer is a Research Scientist at the R&D department of a large German engineering company. His topics of interest range from ontologies and reasoning to machine learning and data analytics.
650 0 _aComputer science.
650 0 _aComputer science
_xMathematics.
650 0 _aComputers.
650 0 _aApplied mathematics.
650 0 _aEngineering mathematics.
650 1 4 _aComputer Science.
650 2 4 _aMathematics of Computing.
650 2 4 _aComputing Methodologies.
650 2 4 _aAppl.Mathematics/Computational Methods of Engineering.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783658144067
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-658-14407-4
912 _aZDB-2-SCS
942 _cEBK
999 _c53985
_d53985