Process algebras for systems diagnosis

• Published in: Artificial intelligence Vol. 142; no. 1; pp. 19 - 51
• Main Authors: Console, Luca, Picardi, Claudia, Ribaudo, Marina
• Format: Journal Article
• Language: English
• Published: Elsevier B.V 01.11.2002
• Subjects: Artificial intelligence; Characterization of diagnosis; Component-centered qualitative models; Model-based reasoning; Process algebras; Model-based reasoning; Characterization of diagnosis; Component-centered qualitative models; Process algebras

In this paper we propose a new characterization of model-based diagnosis based on process algebras, a framework which is widely used in several areas of computer science. We show that process algebras provide a powerful modelling language which allows us to capture, in an uniform way, different type...