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 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. SARA 2007; 2007 July 18-21; Whistler; BC; Canada.