|
![]() |
|||
|
||||
OverviewThe 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 DetailsAuthor: Antoni LigezaPublisher: 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: 9783642067099ISBN 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 ![]() We will order this item for you from a manufatured on demand supplier. Table of ContentsLogical 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.ReviewsFrom 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 InformationTab Content 6Author Website:Countries AvailableAll regions |