
Building Problem Solvers
MIT Press
Published on 19. November 1993
Book
Hardback
706 pages
978-0-262-06157-5 (ISBN)
Description
For nearly two decades, Kenneth Forbus and Johan de Kleer have
accumulated a substantial body of knowledge about the principles and practice of
creating problem solvers. In some cases they are the inventors of the ideas or
techniques described, and in others, participants in their
development.
Building Problem Solvers
communicates this knowledge in a focused, cohesive manner. It is unique among
standard artificial intelligence texts in combining science and engineering, theory
and craft to describe the construction of AI reasoning systems, and it includes code
illustrating the ideas.
After working through Building
Problem Solvers, readers should have a deep understanding of pattern
directed inference systems, constraint languages, and truth maintenance systems. The
diligent reader will have worked through several substantial examples, including
systems that perform symbolic algebra, natural deduction, resolution, qualitative
reasoning, planning, diagnosis, scene analysis, and temporal reasoning.
accumulated a substantial body of knowledge about the principles and practice of
creating problem solvers. In some cases they are the inventors of the ideas or
techniques described, and in others, participants in their
development.
Building Problem Solvers
communicates this knowledge in a focused, cohesive manner. It is unique among
standard artificial intelligence texts in combining science and engineering, theory
and craft to describe the construction of AI reasoning systems, and it includes code
illustrating the ideas.
After working through Building
Problem Solvers, readers should have a deep understanding of pattern
directed inference systems, constraint languages, and truth maintenance systems. The
diligent reader will have worked through several substantial examples, including
systems that perform symbolic algebra, natural deduction, resolution, qualitative
reasoning, planning, diagnosis, scene analysis, and temporal reasoning.
More details
Series
Language
English
Place of publication
Cambridge, Mass.
United States
Publishing group
MIT Press Ltd
Target group
College/higher education
Professional and scholarly
Illustrations
138
Dimensions
Height: 203 mm
Width: 178 mm
Thickness: 0 mm
Weight
1361 gr
ISBN-13
978-0-262-06157-5 (9780262061575)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Kenneth D. Forbus | Johan de Kleer
Building Problem Solvers
Book
11/1993
Bradford Books
€86.90
Shipment within 10-20 days
Persons
Kenneth D. Forbus is Professor of Computer Science and Education at Northwestern University. He is the author of Building Problem Solvers (MIT Press, 1993).
Johan de Kleer directs the Systems and Practices Laboratory at the Xerox Palo Alto Research Center.
Johan de Kleer directs the Systems and Practices Laboratory at the Xerox Palo Alto Research Center.