Process algebras for systems diagnosis.
type: Item
instance of: scholarly article
title: Process algebras for systems diagnosis.
zbMATH Open document ID: 1043.68076
DOI: 10.1016/S0004-3702(02)00292-8
author: Luca Console
author: Claudia Picardi
author: Marina Ribaudo
published in: Artificial Intelligence
publication date: 2003-01-21T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1856160
zbMATH Keywords: Process algebras
zbMATH Keywords: Component-centered qualitative models
zbMATH Keywords: Model-based reasoning
zbMATH Keywords: Characterization of diagnosis
describes a project that uses: PEPA
MaRDI profile type: Publication
cites work: Q4835250
cites work: Diagnosis of large active systems
cites work: Handbook of process algebra
cites work: A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
cites work: Explanatory diagnoses and their characterization by circumscription
cites work: A spectrum of definitions for temporal model-based diagnosis
cites work: The computational complexity of abduction
cites work: Diagnosing time-varying misbehavior: An approach based on model decomposition
cites work: Q5750429
cites work: Characterizing diagnoses and systems
cites work: Q5750448
cites work: Q3777424
cites work: Analysis of notions of diagnosis
cites work: Q3992568
cites work: Q3997653
cites work: A Probabilistic Causal Model for Diagnostic Problem Solving Part I: Integrating Symbolic Causal Inference with Numeric Probabilistic Inference
cites work: Q3911403
cites work: Q5750451
cites work: Consistency-based and abductive diagnoses as generalised stable models
cites work: A theory of diagnosis from first principles
cites work: Diagnosability of discrete-event systems
Recommended article: Process algebra for hybrid systems
Recommended article: Q2779460
Recommended article: Communicating Sequential Processes. The First 25 Years
Recommended article: Process Algebra and Model Checking
Recommended article: A process algebra for interworkings.
Recommended article: Process algebra for modal transition systemses
Recommended article: Process Algebra
description: scientific article; zbMATH DE number 1856160