Luca Console, Claudia Picardi, Marina Ribaudo
In this paper we propose the use of process algebras (and specifically PEPA) as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented models, for characterizing and computing diagnoses, and for analyzing properties such as the diagnosability of the system under investigation.
Keywords: Diagnosis, Model-based reasoning
Citation: Luca Console, Claudia Picardi, Marina Ribaudo: Diagnosis and Diagnosability Analysis Using PEPA. In W.Horn (ed.): ECAI2000, Proceedings of the 14th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2000, pp.131-135.