Toward logical analysis of tabular rule-based systems
ANTONI LIGE ̧ZA · International Journal of Intelligent Systems · 2001
Rule-based systems constitute the most popular tool for specification of operational knowledge in the majority of knowledge-based systems. This 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, multilevel control and decision support knowledge-based system. An algebraic knowledge representation form is proposed and algebraic bases for system verification are outlined. © 2001 John Wiley & Sons, Inc.