Abstract
Model-based reasoning in general and model-based diagnosis (MBD) in particular has become a very important technique for providing solutions to real-world problems. However, modeling has become a problem making the use of MBD in companies difficult or even preventing it from being considered. Reasons are the lack of modeling principles and a general accepted language for modeling. In this paper we propose a programming language AD2L specially tailored for describing systems to be diagnosed. In addition, we discuss guidelines a modeling language should or even must fulfill, give some properties of the language, and an overview about further extensions increasing the applicability of AD2L.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 11th International Workshop on Principles of Diagnosis (DX-00), Morelia, Mexico, June 8-10, 2000 |
| Publication status | Published - Jun 2000 |
Fields of science
- 102 Computer Sciences
- 102015 Information systems