KNOWBEL: a hybrid expert system building tool

Author

Mylopoulos, John ; Wang, Huaiqing ; Kushniruk, Andre

Author_Institution

Dept. of Comput. Sci., Toronto Univ., Ont., Canada

fYear

1990

fDate

6-9 Nov 1990

Firstpage

864

Lastpage

870

Abstract

KNOWBEL is a tool offering the knowledge representation language Telos and the logic programming system MRS for the development of an expert system. Telos is a tightly integrated hybrid knowledge representation scheme, offering facilities for structuring a knowledge base as well as an assertional sublanguage for expressing deductive rules and integrity constraints. Unlike Prolog, MRS provides facilities for customizing an expert system inference engine. The KNOWBEL architecture clearly separates the knowledge and implementation levels for a knowledge base and its associated operations. KNOWBEL also supports temporal reasoning, extensive constraint enforcement, and a user-friendly window-based interface

Keywords

data integrity; expert systems; inference mechanisms; knowledge representation; logic programming; KNOWBEL architecture; assertional sublanguage; constraint enforcement; deductive rules; expert system inference engine; hybrid expert system building tool; implementation levels; integrity constraints; knowledge representation language Telos; logic programming system MRS; temporal reasoning; tightly integrated hybrid knowledge representation scheme; user-friendly window-based interface; Computer science; Data models; Engines; Expert systems; History; Inference mechanisms; Knowledge representation; Logic programming; Prototypes;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on

Conference_Location

Herndon, VA

Print_ISBN

0-8186-2084-6

Type

conf

DOI

10.1109/TAI.1990.130451

Filename

130451