Towards logical analysis of tabular rule-based systems

Author

Ligeza, Antoni

Author_Institution

Inst. of Autom. AGH, Krakow, Poland

fYear

1998

fDate

25-28 Aug 1998

Firstpage

30

Lastpage

35

Abstract

Rule based systems constitute the most popular tool for specification of operational knowledge in majority of knowledge based systems. The paper addresses the issue of analysis and verification of selected properties of such systems in a systematic way. A uniform, tabular form of single level rule based systems is put forward. Such systems can be used independently as a generalized form of decision tables, or as the lower level components of a hierarchical, multi level knowledge based system. An algebraic knowledge representation form is proposed and algebraic bases for rule verification are outlined

Keywords

knowledge based systems; knowledge representation; knowledge verification; program verification; algebraic bases; algebraic knowledge representation form; decision tables; generalized form; knowledge based systems; logical analysis; multi level knowledge based system; operational knowledge specification; rule verification; single level rule based systems; tabular rule based systems; verification; Artificial intelligence; Buildings; Communication system control; Context; Design methodology; Electronic switching systems; Explosions; Input variables; Knowledge based systems; Logic;

fLanguage

English

Publisher

ieee

Conference_Titel

Database and Expert Systems Applications, 1998. Proceedings. Ninth International Workshop on

Conference_Location

Vienna

Print_ISBN

0-8186-8353-8

Type

conf

DOI

10.1109/DEXA.1998.707376

Filename

707376