A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Qualitative Reasoning and Diagnosis. Pages 1721-1726.
Abstract
Rece nt work has point ed out that diagnosis strategies are a necessary tool for the diagnosis of comp lex systems. Nevertheless, though current diagnosis systems are able to use exp li cit 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.
@inproceedings{ijcai1995p221,
title = {A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems},
author = {Nejdl, Wolfgang and Fröhlich, Peter and Schroeder, Michael},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {1721--1726},
year = {1995},
note = {Qualitative Reasoning and Diagnosis},
url = {https://ijcai.org/proceedings/1995/221},
}
TY - CPAPER TI - A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems AU - Nejdl, Wolfgang AU - Fröhlich, Peter AU - Schroeder, Michael T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 1721 EP - 1726 UR - https://ijcai.org/proceedings/1995/221 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
