Studies in Computational Intelligence

Logical Foundations for Rule-Based Systems

Authors: Ligeza, Antoni

Free Preview

Buy this book

eBook 154,69 €
price for Spain (gross)
  • ISBN 978-3-540-32446-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 207,99 €
price for Spain (gross)
  • ISBN 978-3-540-29117-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 194,38 €
price for Spain (gross)
  • ISBN 978-3-642-06709-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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.

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)


Table of contents (21 chapters)

  • Propositional Logic

    Pages 3-35

  • Predicate Calculus

    Pages 37-50

  • Attribute Logic

    Pages 51-63

  • Resolution

    Pages 65-72

  • Dual Resolution

    Pages 73-88

Buy this book

eBook 154,69 €
price for Spain (gross)
  • ISBN 978-3-540-32446-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 207,99 €
price for Spain (gross)
  • ISBN 978-3-540-29117-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 194,38 €
price for Spain (gross)
  • ISBN 978-3-642-06709-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logical Foundations for Rule-Based Systems
Authors
Series Title
Studies in Computational Intelligence
Series Volume
11
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-32446-1
DOI
10.1007/3-540-32446-1
Hardcover ISBN
978-3-540-29117-6
Softcover ISBN
978-3-642-06709-9
Series ISSN
1860-949X
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