Logical Foundations for Rule-Based Systems

Author:   Antoni Ligeza
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Edition:   Softcover reprint of hardcover 2nd ed. 2006
Volume:   11
ISBN:  

9783642067099


Pages:   309
Publication Date:   12 February 2010
Format:   Paperback
Availability:   Out of print, replaced by POD   Availability explained
We will order this item for you from a manufatured on demand supplier.

Our Price $630.96 Quantity:  
Add to Cart

Share |

Logical Foundations for Rule-Based Systems


Add your own review!

Overview

The book presents logical foundations for rule-based systems. 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 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.

Full Product Details

Author:   Antoni Ligeza
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   Softcover reprint of hardcover 2nd ed. 2006
Volume:   11
Dimensions:   Width: 15.50cm , Height: 1.70cm , Length: 23.50cm
Weight:   0.510kg
ISBN:  

9783642067099


ISBN 10:   3642067093
Pages:   309
Publication Date:   12 February 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of print, replaced by POD   Availability explained
We will order this item for you from a manufatured on demand supplier.

Table of Contents

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.

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)


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)


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)


Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List