Logical foundations for rule-based systems.
type: Item
instance of: scholarly article
title: Logical foundations for rule-based systems.
zbMATH Open document ID: 1095.68113
author: Antoni Ligȩza
published in: Studies in Computational Intelligence
publication date: 2006-03-27T00:00:00Z
review text: Rule-Based Systems (RBSs) constitute a powerful tool for specification of knowledge in design and implementation of knowledge-based systems in applied artificial intelligence and knowledge engineering. The aim of this book is to present RBSs from the logical perspective, in a relatively complete methodology. The author's concepts and his personal experience with RBSs support the original contents on the theoretical and practical approach to RBSs. The main topics exposed within this special monograph on RBSs are: logical foundations of RBSs (including knowledge representation and inference with proportional, attribute-based and first-order logic), knowledge representation, inference and inference control in RBSs (including extended forms of rules and specialized reference control mechanisms), definitions and verification of formal properties of RBSs assuring their correct work, and finally, RBS design issues (covering a systematic RBS design approach combined with on-line verification). The RBS analysis is presented at a conceptual level; the logical definitions are systematically introduced and supported by practical implementation-oriented solutions. In several cases, the discussion is continued into details of implementation, and illustrated by working solutions in PROLOG. The special feature of this book on RBSs is that, in contrast to the majority of textbooks on AI, KE and RBSs (which attempt to present a mixture of different approaches), the present RBS monograph follows a unitary line of formalism, namely the propositional calculus, defines and explains the technical issues in detail, and provides practical solutions illustrated with PROLOG code. The novelty of theoretical aspects on RBSs focuses on three issues: knowledge algebraizations, hierarchical organization of knowledge, and the formalization of design and verification. These issues are supported by the following original approaches: (a) Four types of logical languages are presented for encoding RBSs,…
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68-01
zbMATH DE Number: 5015433
zbMATH Keywords: rule-based systems
zbMATH Keywords: knowledge-based systems
zbMATH Keywords: logic programming
zbMATH Keywords: PROLOG-based systems
zbMATH Keywords: attribute-based languages
zbMATH Keywords: backward dual resolution
zbMATH Keywords: extended tabular systems
zbMATH Keywords: knowledge engineering
reviewed by: Neculai Curteanu
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 5015433