KNOWLEDGE REPRESENTATION AND INFERENCE FOR ANALYSIS AND DESIGN OF DATABASES AND TABULAR RULE-BASED SYSTEMS
DOI:
https://doi.org/10.7494/csci.2001.3.1.3586Abstract
Rulc-based Systems constitute a powerful tool for speciftcation of knowledge in design and implementation of knowledge-based Systems. They provide also a universal programming paradigm for domains such as intelligent control, decision support, situation classification and opcrational knowledge encoding. In order to assure safe and reliable performance, such Systems should satisfy certain format reąuirements, including completeness and consistency. This paper addresses the issue of analysis and verification of selected properties of a class of such Systems in a systematic way. A uniform, tabular scheme of single-levcl rule-bascd Systems is considered. Such systcms can be applied as a generalized form of databases for speciftcation of data pattems (unconditional knowledge), or can be used for deftning attributive decision tables (conditional knowledge in form of rules). They can also serve as lower-level componcnts of a hierarchical, multi-lcvcl control and decision support knowledge-based systcms. An algebraic knowledge rcprescntation paradigm using extcnded tabular rcprcsentation, similar to relational databasc tables is prcsentcd and algebraic bascs for system analysis, vcrification and design support arc outlined.
Downloads
References
Andert E.P.: Integrated knowledge-based system design and validation for solving problems in uncertain environments. Int. J. of Man-Machine Studies, 36, 1992,
-373
Bendou A., Ayel M.: Yalidation o f rule bases containig constrains. ECAI ‘96. Work- shop on Validation, Verification and Refinement of Knowledge-Based Systems, 1996,120-125
Cragun B.J., Steudel H.J.: A decision-table-based porcessor fo r checking complet- ness and consistency in rule-based expert systems. Int. J. of Man-Machine Studies, 26,1987,633-648
Ligęza A. et al.: Supervision systems. http://eia.udg.es/iitap/monografia/index-eng.html Geneserth M.R., Nilsson N.J.: Logical Foundations o f Artifical Intelligence. Los Altos, Califomia, M. Kaufmann Publ. Inc. 1987
Gottlob G.: Subsumption and implication. Information Processing Letters, 24, 1987,
-111
Gouyon J.-P.: Kheops users'guide. Report of Laboratoire d'Automatique et d'Analyse des Systemes, 92503, 1994
AITECH Katowice: Sphinx 2.3. http://www.aitech.gliwice.pl
Laffey T. et al.: Real-time knowledge-based system. Al Magazine, Spring: 1998, 27-45
Lamb N., Preece A.: Yerification o f multi-agent knowledge-based system. ECAI'96 Workshop on Validation, Verification and Refinement of Knowledge-Based Sys tems, 1996,114-119
Ligęza A.: Towards design o f complete rule-based control systems. In: Karba R., Ko- cijan J., (Eds), IFAC/IMACS International Workshop on Artificial Intelligence in Real-Time Control, Bied, Slovenia, 1995, 189-194
Ligęza A: Logical suportfor design of rule -based systems, realability and ąuality issues. In: Rouset M.C., (Ed.), ECAI-96 Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, Budapest, 1996, vol. W 2,28-34
Ligęza A.: Logical foundations for knowledge-based control control systems - knowledge representation, reasoning and theoretical properties. Scientific Bulletins of AGH, Automatics 63(1529), 1993, 144
Ligęza A.: A notę on backward dual resolution and its application to proving com- pleteness o f rule-based systems. Proceedings of the 13th Int. Joint conference on Ar tificial Intelligence (IJCAI), Chambery, France, 1, 1993, 132-137
Ligęza A.: Backward dual resolution, direct proving o f generalization. Information Modeling and Knowledge Bases. V, 1994, Principles and formal techniąues, 336-349
Ligęza A.: Logicalfoundationsfor knowledge-based control systems, part. i: Langu- age and reasoning. Archives of Control Sciences, 3 (XXXIX) (3-4), 1994, 289-315 Ligęza A.: Logicalfoundationsfor knowledge-based control systems, part ii: Repre sentation o f States, transformations, and analysis o f theoretical properties. Archives of Control Sciences, 4 (XL) (1-2), 1994, 129-166
