Abstract
We argue that diagnosis should not be seen as solving a problem with a unique definition, but rather that there exists a whole space of reasonable notions of diagnosis. These notions can be seen as mutual approximations. We present a number of reasons for choosing among different notions of diagnosis. We also present an exhaustive categorisation of techniques that can be employed to obtain approximations, as well as a number of specific example techniques for each category. We also show that it is possible to characterise the relations between the approximations obtained by these techniques.
Original language | English |
---|---|
Title of host publication | Proceedings of the Symposium on Abstraction, Reformulation and Approximation, (\uc{SARA}'95) |
Publication status | Published - 1995 |