Car traffic is one of the widespread applications where domain experts need to employ different kinds of knowledge for diagnosing a single fault. The application provides application-oriented kinds like fault trees, heuristics, fault models, and functional models. Hence, for knowledge based diagnosis, a problem solving method is needed which is able to evaluate multiple kinds of knowledge. The presented approach uses knowledge compilation to transpose knowledge of different kinds to one target kind. The required method is developed as a method using the target kind. The problem of specifying a target kind which overlaps with application-oriented kinds, however, is approached by starting from the task of diagnosis which defines a task- oriented kind covering knowledge necessary for solving the task. Since necessary knowledge must be available in application-oriented kinds, the task- oriented kind overlaps with each of them, and its problem solving method serves as the required method.
展开▼