Building Problem Solvers

Name: Building Problem Solvers
Price: 223.74 USD
Availability: InStock
ISBN: 9780262061575

ISBN-10: 0262061570

ISBN-13: 9780262061575

Edition: 1993

Authors: Kenneth D. Forbus, Johan De Kleer

List price: $90.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $223.74

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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…

Book details

List price: $90.00
Copyright year: 1993
Publisher: MIT Press
Publication date: 11/19/1993
Binding: Hardcover
Pages: 706
Size: 8.50" wide x 9.50" long x 1.75" tall
Weight: 3.894
Language: English



Series Foreword



Preface



Introduction



Classical Problem Solving



Pattern-Directed Inference Systems



Extending Pattern-Directed Inference Systems



Introduction to Truth Maintenance Systems



Justification-Based Truth Maintenance Systems



Putting the JTMS to Work



Logic-Based Truth Maintenance Systems



Putting an LTMS to Work



Implementing Qualitative Process Theory



Assumption-Based Truth Maintenance Systems



Improving the Completeness of Truth Maintenance Systems



Putting the ATMS to Work



Antecedent Constraint Languages



Assumption-Based Constraint Languages



A Tiny Diagnosis Engine



Symbolic Relaxation Systems



Some Frontiers


A: Putting the Programs to Work


Index