Design and Diagnosis Problem Solving with Multifunctional Technical KnowledgeBases

摘要

The research goal for the project reported here has been to develop enablingtechnology for building large knowledge bases designed to support automated and semi-automated problem solving for scientific and engineering domains. The work on analyzing problem-solving tasks, much of it preceding the project reported here, has led to the view that there are distinct, analyzable Generic Tasks (GT's) that occur naturally in problem-solving activity. The Functional Representation Language (FR), was originally introduced by Sembugamoorthy and Chandrasekaran (1986) as a device representation from which diagnosis-specific knowledge could be derived by a process of knowledge compilation. It was subsequently applied to support other tasks besides diagnosis (most notably forms of qualitative simulation), and used to represent a wide variety of device types.