| Autor: |
Feldman, A.B., Pietersma, J., Van Gemund, A.J.C. |
| Jazyk: |
angličtina |
| Rok vydání: |
2006 |
| Zdroj: |
BNAIC 2006: 18th BeNeLux Conference on Artificial Intelligence, Namur, Belgium, 5-6 October 2006 |
| Popis: |
Model-Based Reasoning (MBR) over qualitative models of complex, real-world systems has proven succesful for automated fault diagnosis, control, and repair. Expressing a system under diagnosis in a formal model and infering a diagnosis given observations are both challenging problems. In this paper we address these challenges. By building a fault model of a realworld artifact (the fuel-system of a light aircraft), we introduce the software package for MBR LYDIA and show its applicability in practice. We demonstrate how structure exploitation and compilation can be used to attack the main challenge to MBR - its high computational cost. Last, we compare our approach to other state-of-the art techniques for MBR and analyze its performance. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
