Skip to main content
SpringerLink
Log in
Book cover

Logical Foundations for Rule-Based Systems

  • Book
  • © 2006

Overview

Authors:
  1. Antoni Ligêza

    1. Institute of Automatics AGH, University of Science and Technology, Cracow, Poland

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Very good exposition of logical approaches to model and handle rule based representation in intelligent systems
  • Includes supplementary material: sn.pub/extras

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 chapters)

  1. Front Matter

    Pages I-XX
    Download chapter PDF

  2. Logical Foundations of Rule-Based Systems

    1. Front Matter

      Pages 1-1
      Download chapter 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

  4. Verification of Rule-Based Systems

    1. Front Matter

      Pages 189-189
      Download chapter 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
Back to top

Keywords

About this book

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

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)

Authors and Affiliations

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

    Antoni Ligêza

Bibliographic Information

  • Book Title: Logical Foundations for Rule-Based Systems

  • Authors: Antoni Ligêza

  • Series Title: Studies in Computational Intelligence

  • DOI: https://doi.org/10.1007/3-540-32446-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2006

  • Hardcover ISBN: 978-3-540-29117-6Published: 10 January 2006

  • Softcover ISBN: 978-3-642-06709-9Published: 12 February 2010

  • eBook ISBN: 978-3-540-32446-1Published: 25 January 2006

  • Series ISSN: 1860-949X

  • Series E-ISSN: 1860-9503

  • Edition Number: 2

  • Number of Pages: XX, 309

  • Number of Illustrations: 33 b/w illustrations

  • Additional Information: Originally published in Poland by AGH University of Science and Technology Press, Kraków, Poland.

  • Topics: Mathematical and Computational Engineering, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation