Process algebras for systems diagnosis

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...

Full description

Saved in:
Bibliographic Details
Published inArtificial intelligence Vol. 142; no. 1; pp. 19 - 51
Main Authors Console, Luca, Picardi, Claudia, Ribaudo, Marina
Format Journal Article
LanguageEnglish
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
Online AccessGet full text

Cover

More Information
Summary: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 types of models of physical systems, including models of time-varying and dynamic behavior. Then we provide a characterization of diagnosis which is equivalent to the “classical” abductive one. This suggests new interesting opportunities for research on relations between model-based reasoning and process algebras.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ObjectType-Article-1
ObjectType-Feature-2
ISSN:0004-3702
1872-7921
DOI:10.1016/S0004-3702(02)00292-8