Title :
Towards logical analysis of tabular rule-based systems
Author_Institution :
Inst. of Autom. AGH, Krakow, Poland
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;
Conference_Titel :
Database and Expert Systems Applications, 1998. Proceedings. Ninth International Workshop on
Conference_Location :
Vienna
Print_ISBN :
0-8186-8353-8
DOI :
10.1109/DEXA.1998.707376
