Abstract
The present paper describes the empirical evaluation of a linear algebra approach to model-based diagnosis, in case the behavioral model of the device under examination is described through a Petri net model. In particular, we show that algebraic analysis based on P-invariants of the net model, can significantly improve the performance of a model-based diagnostic system, while keeping the integrity of a general framework defined from a formal logical theory. A system called Invads is described and experimental results, performed on a car fault domain and involving the comparison of different implementations of P-invariant based diagnosis, are then discussed.
Lingua originale | Inglese |
---|---|
Pagine | 952-958 |
Numero di pagine | 7 |
Stato di pubblicazione | Pubblicato - 1996 |
Pubblicato esternamente | Sì |
Evento | Proceedings of the 1996 13th National Conference on Artificial Intelligence. Part 2 (of 2) - Portland, OR, USA Durata: 4 ago 1996 → 8 ago 1996 |
???event.eventtypes.event.conference???
???event.eventtypes.event.conference??? | Proceedings of the 1996 13th National Conference on Artificial Intelligence. Part 2 (of 2) |
---|---|
Città | Portland, OR, USA |
Periodo | 4/08/96 → 8/08/96 |