Knowledge-based inference methods for modeling technical systems

Author

Kamp, Gerd ; Neumann, Bernd

Author_Institution

Hamburg Univ., Germany

Volume

5

fYear

1997

fDate

7-10 Jan 1997

Firstpage

297

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

Keywords

inference mechanisms; knowledge based systems; systems analysis; attributes; consistency-based diagnosis; faulty behavior; general engineering workbench; knowledge-based inference; physical laws; representation language; technical systems modelling; Acoustical engineering; Assembly; Catalogs; Concrete; Design engineering; Knowledge representation; Libraries; Logic devices; Object oriented modeling; Virtual prototyping;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on

Conference_Location

Wailea, HI

ISSN

1060-3425

Print_ISBN

0-8186-7743-0

Type

conf

DOI

10.1109/HICSS.1997.663186

Filename

663186