Logical Foundations for Rule-Based Systems
2nd Edition
Published on 25. January 2006
XX, 309 pages
978-3-540-32446-1 (ISBN)
Description
Thinking in terms of facts and rules is perhaps one of the most common ways of approaching problem de?nition and problem solving both in everyday life and under more formal circumstances. The best known set of rules, the Ten Commandments have been accompanying us since the times of Moses; the Decalogue proved to be simple but powerful, concise and universal. It is logically consistent and complete. There are also many other attempts to impose rule-based regulations in almost all areas of life, including professional work, education, medical services, taxes, etc. Some most typical examples may include various codes (e.g. legal or tra?c code), regulations (especially military ones), and many systems of customary or informal rules. The universal nature of rule-based formulation of behavior or inference principles follows from the concept of rules being a simple and intuitive yet powerful concept of very high expressive power. Moreover, rules as such encode in fact functional aspects of behavior and can be used for modeling numerous phenomena.
Reviews / Votes
From the reviews of the second edition:
"Rule-Based Systems (RBSs) constitute a powerful tool for specification of knowledge in design and implementation of knowledge-based systems . . The aim of this book is to present RBSs from the logical perspective . . The special feature of this book on RBSs is that . the present RBS monograph follows a unitary line of formalism . . The book is addressed to researchers, students and engineers interested in RBS technology . a source of inspiration for knowledge engineering theory and practice." (Neculai Cureanu, Zentralblatt MATH, Vol. 1095 (21), 2006)
More details
Series
Edition
2nd ed. 2006
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Edition type
Revised edition
Illustrations
XX, 309 p. 33 illus.
ISBN-13
978-3-540-32446-1 (9783540324461)
DOI
10.1007/3-540-32446-1
Schweitzer Classification
Other editions
Additional editions
Antoni Ligeza
Logical Foundations for Rule-Based Systems
Book
01/2006
2nd Edition
Springer
€160.49
Shipment within 7-9 days
Content
Logical Foundations of Rule-Based Systems.- Propositional Logic.- Predicate Calculus.- Attribute Logic.- Resolution.- Dual Resolution.- Principles of Rule-Based Systems.- Basic Structure of Rule-Based Systems.- Rule-Based Systems in Propositional Logic.- Rule-Based Systems in Attributive Logic.- Rule-Based Systems in First-Order Logic.- Inference Control in Rule-Based Systems.- Logic Programming and Prolog.- Verification of Rule-Based Systems.- Principles of Verification of Rule-Based Systems.- Analysis of Redundancy.- Analysis of Indeterminism and Inconsistency.- Reduction of Rule-Based Systems.- Analysis of Completeness.- Design of Rule-Based Systems.- An Introduction to Design of Rule-Based Systems.- Logical Foundations: the ?-Trees Based Approach.- Design of Tabular Rule-Based Systems with XTT.- Design Example: Thermostat.- Concluding Remarks.
