GitHub - id2359/bps: Files from Building Problem Solvers ( Forbus)

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
atms		atms
cps		cps
ftre		ftre
gde		gde
jtms		jtms
ltms		ltms
relax		relax
tcon		tcon
tgizmo		tgizmo
tre		tre
utils		utils
compat.txt		compat.txt
directory.html		directory.html
legal-n.txt		legal-n.txt
readme.html		readme.html

Repository files navigation

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html;charset=ISO-8859-1" />
<title>BUILDING PROBLEM SOLVERS</title>
<link href="../styles.css" rel="stylesheet" type="text/css" />
</head>
<body background="#e7eafb">
<div id="bpsmain">
<div id="paperstext">
<center><h1 style="text-align: center"><em>Building Problem Solvers</em></h1></center>
<center><h3 style="text-align: center">Kenneth D. Forbus and Johan de Kleer</h3></center>

<a href="../pics/bps.jpg"><img id="bps" src="../pics/bps.gif" height="268" width="216" border="2" alt="Building Problem Solvers image" /></a>
<em><strong>From the back cover</strong></em>:

<p>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. <em>Building
Problem Solvers</em> 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.</p>

<p>After working through <em>Building Problem Solvers</em>, 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.</p>

<p>Along the way, Forbus and de Kleer teach the art of building robust
AI software. They begin with simple examples such as search programs,
and move to more complex cases on the cutting edge of AI techniques,
such as model-based diagnosis systems and a qualitative reasoner. This
software has been tested and used extensively by graduate students and programmers in industry.</p>

<p>Although <em>Building Problem Solvers</em> is designed primarily as a
text for advanced AI classes or AI programming classes, it can be used
by researchers in university and industrial laboratories who want to apply
these techniques to their work, and by programmers who want to incorporate
these ideas in their applications.</p>

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

<em>Building Problem Solvers</em> is included in the Artificial
Intelligence Series, edited by Michael Brady, Daniel Bobrow, and Randall
Davis. A Bradford Book.<br />

<center><p style="text-align: center">Please read the <a href="legal-n.txt">legal notice</a> before using any of the material associated with the book. </p></center>

<p>If interested, you can <a href="http://mitpress.mit.edu/catalog/search/default.asp?qtype=c&amp;query=building+problem+solvers">place
an order</a> for <i>Building Problem Solvers</i> with <a href="http://www-mitpress.mit.edu/">MIT
Press</a>. You can also browse the above location for price information.</p>

<p>The original code for this book is available as zip file (<a href="BPS1024.zip">bps1024.zip</a>),
or can be <a href="directory.html">browsed on-line</a>. The code has been ported to a <a href="compat.txt">number
of platforms</a>.</p>

<p>Please send all bug reports for the book to <strong>bug-<a href="http://mailhide.recaptcha.net/d?k=01d6eCxbZEfIpXxtOW-zy_2A==&amp;c=eqFxJge8sdjXTJt9QTjZHI6IagpTkmsyYdrzdEM6jl4=" onclick="window.open('http://mailhide.recaptcha.net/d?k=01d6eCxbZEfIpXxtOW-zy_2A==&amp;c=eqFxJge8sdjXTJt9QTjZHI6IagpTkmsyYdrzdEM6jl4=', '', 'toolbar=0,scrollbars=0,location=0,statusbar=0,menubar=0,resizable=0,width=500,height=300'); return false;" title="Reveal this e-mail address">...Click here for more info...</a>@cs.northwestern.edu</strong>.
Email to this address is automatically forwarded to Forbus and de Kleer.</p>

<hr />
<center><p style="text-align: center"><a href="/Resources/resources_index.html">Back to Resources page</a> | <a href="/">Back to QRG Home Page</a></p></center>
</div>
</div>
</body>
</html>