Towards logical analysis of tabular rule-based systems

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.