Cantitate/Preț
Produs

Logical Foundations for Rule-Based Systems: Studies in Computational Intelligence, cartea 11

Autor Antoni Ligeza
en Limba Engleză Paperback – 12 feb 2010
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.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 91039 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 12 feb 2010 91039 lei  6-8 săpt.
Hardback (1) 91618 lei  6-8 săpt.
  Springer Berlin, Heidelberg – 10 ian 2006 91618 lei  6-8 săpt.

Din seria Studies in Computational Intelligence

Preț: 91039 lei

Preț vechi: 111024 lei
-18% Nou

Puncte Express: 1366

Preț estimativ în valută:
17424 18381$ 14520£

Carte tipărită la comandă

Livrare economică 02-16 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642067099
ISBN-10: 3642067093
Pagini: 332
Ilustrații: XX, 309 p. 33 illus.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.47 kg
Ediția:Softcover reprint of hardcover 2nd ed. 2006
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Studies in Computational Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Recenzii

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)

Textul de pe ultima copertă

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.

Caracteristici

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