search for books and compare prices
Tables of Contents for Building Problem Solvers
Chapter/Section Title
Page #
Page Count
Introduction
1
2
Feedback
1
2
The Classical Problem Solver (CPS)
3
24
Listing of cps.lisp
3
1
Listing of search.lisp
4
3
Listing of variants.lisp
7
3
Listing of subways.lisp
10
3
Listing of boston.lisp
13
1
Listing of match.lisp
14
4
Listing of simplify.lisp
18
3
Listing of algebra.lisp
21
6
The Tiny Rule Engine (TRE)
27
12
Listing of tre.lisp
27
1
Listing of tinter.lisp
28
1
Listing of data.lisp
29
2
Listing of rules.lisp
31
4
Listing of unify.lisp
35
1
Listing of treex1.lisp
36
3
The Fast Tiny Rule Engine (FTRE)
39
30
Listing of ftre.lisp
39
1
Listing of finter.lisp
40
4
Listing of fdata.lisp
44
3
Listing of frules.lisp
47
8
Listing of funify.lisp
55
3
Listing of fqueens.lisp
58
2
Listing of fqrule.lisp
60
1
Listing of fnd.lisp
61
4
Listing of fnd-ex.lisp
65
4
The Justification-Based TMS (JTMS)
69
12
Listing of jtms.lisp
69
12
The Tiny Rule Engine with JTMS (JTRE)
81
38
Listing of jtre.lisp
81
1
Listing of jinter.lisp
82
2
Listing of jdata.lisp
84
7
Listing of jrules.lisp
91
6
Listing of jtest.lisp
97
2
Listing of jqueens.lisp
99
3
Listing of jqrule.lisp
102
1
Listing of jsaint.lisp
103
9
Listing of jsrules.lisp
112
2
Listing of jsops.lisp
114
5
The Logic-Based TMS (LTMS)
119
20
Listing of Itms.lisp
119
20
The Tiny Rule Engine with LTMS (LTRE)
139
30
Listing of Itre.lisp
139
1
Listing of linter.lisp
140
3
Listing of ldata.lisp
143
7
Listing of lrules.lisp
150
7
Listing of indirect.lisp
157
1
Listing of cwa.lisp
158
6
Listing of setrule.lisp
164
1
Listing of dds.lisp
165
4
Tiny GIZMO, a Qualitative Reasoner (TGIZMO)
169
48
Listing of tgizmo.lisp
169
1
Listing of defs.lisp
170
4
Listing of mlang.lisp
174
4
Listing of psvs.lisp
178
2
Listing of resolve.lisp
180
10
Listing of ineqs.lisp
190
8
Listing of laws.lisp
198
3
Listing of states.lisp
201
5
Listing of mi.lisp
206
2
Listing of tnst.lisp
208
3
Listing of ex1.lisp
211
1
Listing of ex2.lisp
211
1
Listing of ex3.lisp
212
1
Listing of debug.lisp
213
4
The Assumption-Based TMS (ATMS)
217
16
Listing of atms.lisp
217
16
The Logically Complete LTMS (CLTMS)
233
12
Listing of cltms.lisp
233
12
The Tiny Rule Engine with ATMS (ATRE)
245
42
Listing of atre.lisp
245
1
Listing of ainter.lisp
246
5
Listing of adata.lisp
251
6
Listing of arules.lisp
257
9
Listing of atret.lisp
266
7
Listing of aplanr.lisp
273
4
Listing of plan-a.lisp
277
1
Listing of plan-e.lisp
278
3
Listing of bcode.lisp
281
1
Listing of blocks.lisp
282
5
The Tiny Constraint Language (TCON)
287
34
Listing of tcon.lisp
287
20
Listing of suspend.lisp
307
5
Listing of motion.lisp
312
7
Listing of polybox.lisp
319
2
The Tiny Constraint Language with ATMS (ATCON)
321
16
Listing of atcon.lisp
321
16
The Tiny Diagnosis Engine (TGDE)
337
10
Listing of gde.lisp
337
3
Listing of condef.lisp
340
2
Listing of examples.lisp
342
2
Listing of 2bit.txt
344
1
Listing of polyex.txt
344
3
The Symbolic Relaxation Engine (WALTZER)
347
30
Listing of waltzer.lisp
347
9
Listing of scene.lisp
356
5
Listing of jcatalog.lisp
361
1
Listing of cube.lisp
362
1
Listing of wedge.lisp
363
1
Listing of timedb.lisp
364
5
Listing of allen.lisp
369
8
Utilities
377
10
Listing of loader.lisp
377
2
Listing of lst.lisp
379
8
Index
387