A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems
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.
Cite
Text
Nejdl et al. "A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems." International Joint Conference on Artificial Intelligence, 1995.Markdown
[Nejdl et al. "A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/nejdl1995ijcai-formal/)BibTeX
@inproceedings{nejdl1995ijcai-formal,
title = {{A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems}},
author = {Nejdl, Wolfgang and Fröhlich, Peter and Schroeder, Michael},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1995},
pages = {1721-1727},
url = {https://mlanthology.org/ijcai/1995/nejdl1995ijcai-formal/}
}