A formal framework for representing diagnosis strategies in model-based diagnosis systems

Authors:
Wolfgang Nejdl;Peter Frohlich;Michael Schroeder
Affiliations:
University of Hannover, Hannover, Germany;University of Hannover, Hannover, Germany;University of Hannover, Hannover, Germany
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Year:
1995

Citing 4
Cited 3

A theory of diagnosis from first principles

Artificial Intelligence
Diagnosing multiple faults

Artificial Intelligence
Diagnosis as a process

Readings in model-based diagnosis
Model-based diagnosis preferences and strategies representation with logic meta-programming

Meta-logics and logic programming

Model-Based Diagnosis and Conditional Logic

Applied Intelligence
Strategies in Model-based Diagnosis

Journal of Automated Reasoning
Problem-solving methods: understanding, description, development, and reuse

Problem-solving methods: understanding, description, development, and reuse

Quantified Score

Hi-index	0.00

Visualization

Abstract

Recent work has pointed out that diagnosis strategies are a necessary tool for the diagnosis of complex systems. Nevertheless, though current diagnosis systems are able to use explicit system models, their representation of diagnosis strategies is only implicit. In this paper we introduce a formal meta language to express strategic knowledge in an explicit way, This language is sufficient to formalize all strategies introduced in previous work, and extends previous diagnosis strategies by the integration of empirical knowledge and by explicit statements about dependencies between actions. We provide a declarative semantics for this language and an architecture for implementation.