Tab-Trees: A CASE Tool for the Design of Extended Tabular Systems
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
The HeKatE methodology. Hybrid engineering of intelligent systems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
| Hi-index | 0.00 |
Rule-based systems constitute the most popular tool for specification of operational knowledge in 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, multi-level knowledge-based system. An algebraic knowledge representation form is proposed and algebraic bases for rules verification are outlined.