Strategies in model-based diagnosis

被引：0

作者：

Froehlich, Peter ^{[1
]}

Nejdl, Wolfgang ^{[1
]}

Schroeder, Michael ^{[1
]}

机构：

[1] Inst fuer Rechnergestuetzte, Wissensverarbeitung, Hannover, Germany

来源：

| 1998年 / Kluwer Academic Publishers, Dordrecht, Netherlands卷 / 20期

关键词：

Theoretical; (THR);

D O I：

暂无

中图分类号：

学科分类号：

摘要：

The ability to select suitable diagnostic assumptions and models extends the power of model-based diagnosis for complex systems and can explicitly be modeled by diagnostic strategies. We discuss a framework that allows one to express these strategies as formulas of a meta-language and present a method for designing strategy knowledge bases as well as an efficient straightforward operational semantics for exploiting them.

引用

页码：1 / 2