Technical University of Munich, Department of Computer
MQM Paper: [Beschta/Struss 92]
Anton Beschta, Peter Struss
Discriminating Between Diagnoses - Controlling "Physical Negation" and Beyond.
In: Proceedings of the Third International Workshop on Principles of Diagnosis (DX-92), Rosario, Washington, USA, Oct. 12 - 14, pp. 192-198, 1992.
Discriminating between diagnoses is one of the central tasks in automated diagnostic systems. The problem solver hence may be forced to further exploit principled knowledge about the system's components. In the GDE+ diagnostic system, [Struss and Dressler 1989], "physical negation" has been introduced, i.e. gaining information in favor of the correctness of a component by exploiting knowledge about its possible faults. Here we present a control strategy for the automated application of physical negation. It is based upon a search in an AND/OR-graph guided by a heuristic function which aims at minimizing the required reasoning of the problem solver by means of focusing techniques. Finally, the search is extended in a way to exploit the cost saving effect of abstraction. The resulting model graph is incorporated directly in the discrimination graph.