Logical Foundations for Rule-Based Systems

Häftad, Engelska, 2010

Av Antoni Ligeza

2 069 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

2 129 kr

Skickas inom 10-15 vardagar

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.

Produktinformation

Utgivningsdatum2010-02-12
Mått155 x 235 x 19 mm
Vikt505 g
FormatHäftad
SpråkEngelska
SerieStudies in Computational Intelligence
Antal sidor309
Upplaga2
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642067099

Tillhör följande kategorier

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.

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)