학술논문
Knowledge-based inference methods for modeling technical systems
Document Type
Conference
Author
Source
Proceedings of the Thirtieth Hawaii International Conference on System Sciences System sciences System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on. 5:297-306 vol.5 1997
Subject
Language
ISSN
1060-3425
Abstract
Description Logics with concrete domains present an approach to realize a general engineering workbench. They provide a representation language that enables us to describe in a uniform way devices, assemblies and components along with their structure, constraints on attributes and physical laws as well as models of their correct and faulty behavior. Furthermore, sound and complete algorithm can be given for a set of basic inferences. These basic inferences render it possible to simulate the behavior of the devices and provide the basic building blocks for consistency-based diagnosis. In addition they enable us to devise procedures for finding errors, omissions and inconsistencies in model libraries.