Dynamic domain abstraction through meta-diagnosis
One of the most powerful tools designers have at their disposal is abstraction. By abstracting from the detailed properties of a system the complexity of the overall design task becomes manageable. Unfortunately, faults in a system do not obey the neat abstraction levels of the designer. This paper presents an approach for identifying the abstraction level which is as simple as possible yet is sufficient to address the task at hand. The approach chooses the desired abstraction level through applying model-based diagnosis at the meta-level, i.e., to the abstraction assumptions themselves.
de Kleer, J. Dynamic domain abstraction through meta-diagnosis. QR07: 21st Annual International Workshop on Qualitative Reasoning; 2007 June 27-29; Aberystwyth; UK.