Academic Journals Database
Disseminating quality controlled scientific knowledge

Knowledge Representation and Inference for Analysis and Design of Database and Tabular Rule-Based Systems

ADD TO MY LIST
 
Author(s): Antoni Ligeza

Journal: Computer Science
ISSN 1508-2806

Volume: 3;
Issue: 1;
Start page: 13;
Date: 2001;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: Knowledge engineering

ABSTRACT
Rulebased systems constitute a powerful tool for specification 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 operational knowledge encoding. In order to assure safe and reliable performance, such system should satisfy certain formal requirements, including completeness and consistency. This paper addresses the issue of analysis and verification of selected properties of a class of such system in a systematic way. A uniform, tabular scheme of single-level rule-based systems is considered. Such systems can be applied as a generalized form of databases for specification of data pattern (unconditional knowledge), or can be used for defining attributive decision tables (conditional knowledge in form of rules). They can also serve as lower-level components of a hierarchical multi-level control and decision support knowledge-based systems. An algebraic knowledge representation paradigm using extended tabular representation, similar to relational database tables is presented and algebraic bases for system analysis, verification and design support are outlined.
Why do you need a reservation system?      Affiliate Program