Building Problem Solvers, Volume 1

Front Cover
MIT Press, 1993 - Computers - 702 pages
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.

Kenneth D. Forbus is Professor of Computer Science and Education at the Institute for Learning Sciences, Northwestern University. Johan de Kleer directs the Systems and Practices Laboratory at the Xerox Palo Alto Research Center.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Classical Problem Solving
19
PatternDirected Inference Systems
69
Extending PatternDirected Inference Systems
109
Introduction to Truth Maintenance Systems
151
JustificationBased Truth Maintenance Systems
171
Putting the JTMS to Work
197
LogicBased Truth Maintenance Systems
265
Putting an LTMS to Work
309
Improving the Completeness of Truth Maintenance Systems
455
Putting the ATMS to Work
495
Antecedent Constraint Languages
535
AssumptionBased Constraint Languages
589
A Tiny Diagnosis Engine
619
Symbolic Relaxation Systems
647
Some Frontiers
681
Index
695

Implementing Qualitative Process Theory
347
AssumptionBased Truth Maintenance Systems
425

Other editions - View all

Common terms and phrases

About the author (1993)

Kenneth D. Forbus is Professor of Computer Science and Education at Northwestern University. He is the author of Building Problem Solvers (MIT Press, 1993).

Bibliographic information