Logical Foundations for Rule-Based Systems

1. Front Matter

   Pages I-XX

   PDF

2. Logical Foundations of Rule-Based Systems

   1. Front Matter

      Pages 1-1

      PDF

   2. Propositional Logic

      Pages 3-35

   3. Predicate Calculus

      Pages 37-50

   4. Attribute Logic

      Pages 51-63

   5. Resolution

      Pages 65-72

   6. Dual Resolution

      Pages 73-88

3. Principles of Rule-Based Systems

   1. Front Matter

      Pages 89-89

      PDF

   2. Basic Structure of Rule-Based Systems

      Pages 91-96

   3. Rule-Based Systems in Propositional Logic

      Pages 97-127

   4. Rule-Based Systems in Attributive Logic

      Pages 129-153

   5. Rule-Based Systems in First-Order Logic

      Pages 155-162

   6. Inference Control in Rule-Based Systems

      Pages 163-171

   7. Logic Programming and Prolog

      Pages 173-188

4. Verification of Rule-Based Systems

   1. Front Matter

      Pages 189-189

      PDF

   2. Principles of Verification of Rule-Based Systems

      Pages 191-198

   3. Analysis of Redundancy

      Pages 199-206

   4. Analysis of Indeterminism and Inconsistency

      Pages 207-211

   5. Reduction of Rule-Based Systems

      Pages 213-218

   6. Analysis of Completeness

      Pages 219-228

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.

• Prolog
• Rule-Based Systems
• artificial intelligence
• calculus
• computational intelligence
• control
• intelligence
• knowledge
• knowledge representation
• logic programming
• programming
• verification

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)

• Institute of Automatics AGH, University of Science and Technology, Cracow, Poland

  Antoni Ligêza

Policies and ethics