Logical Foundations for Rule-Based Systems

  • Antoni Ligêza

Part of the Studies in Computational Intelligence book series (SCI, volume 11)

Table of contents

  1. Front Matter
    Pages I-XX
  2. Logical Foundations of Rule-Based Systems

    1. Front Matter
      Pages 1-1
    2. Pages 3-35
    3. Pages 37-50
    4. Pages 51-63
    5. Pages 65-72
    6. Pages 73-88
  3. Principles of Rule-Based Systems

  4. Verification of Rule-Based Systems

  5. Design of Rule-Based Systems

  6. Back Matter
    Pages 282-309

About this book


The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mechanisms, inference control, design and verification. The ultimate goal was to provide a deeper theoretical insight into the nature of rule-based systems and put together the most complete presentation including details so frequently skipped in typical textbooks. The main parts present material on: • logical foundations of rule-based systems (Part I); • principles of rule-based systems structures, knowledge representation languages, inference and inference control (Part II); • verification of formal properties of rule-based systems (Part III); • design methodology for efficient development of such systems (Part IV).

The book may be useful to potentially wide audience, but it is aimed at providing specific knowledge for graduate, post-graduate and Ph.D. students, as well as knowledge engineers and research workers involved in the domain of AI. It also constitutes a summary of the Author’s research and experience gathered through several years of his research work.


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

Authors and affiliations

  • Antoni Ligêza
    • 1
  1. 1.Institute of Automatics AGHUniversity of Science and TechnologyCracowPoland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Engineering
  • Print ISBN 978-3-540-29117-6
  • Online ISBN 978-3-540-32446-1
  • Series Print ISSN 1860-949X
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Oil, Gas & Geosciences