Premium
Toward logical analysis of tabular rule‐based systems *
Author(s) -
Ligęza Antoni
Publication year - 2001
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/1098-111x(200103)16:3<333::aid-int1011>3.0.co;2-r
Subject(s) - computer science , knowledge representation and reasoning , decision table , algebraic number , knowledge based systems , theoretical computer science , representation (politics) , rule based system , expert system , data mining , artificial intelligence , mathematics , rough set , mathematical analysis , politics , political science , law
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.