+612 9045 4394
Learn moreThis supplement to Building Problem Solvers contains the Common Lisp code examples referenced throughout the text. The code is available on disk and can also be downloaded via ftp.
| Introduction | p. 1 |
| The Classical Problem Solver (CPS) | p. 3 |
| The Tiny Rule Engine (TRE) | p. 27 |
| The Fast Tiny Rule Engine (FTRE) | p. 39 |
| The Justification-Based TMS (JTMS) | p. 69 |
| The Tiny Rule Engine with JTMS (JTRE) | p. 81 |
| The Logic-Based TMS (LTMS) | p. 119 |
| The Tiny Rule Engine with LTMS (LTRE) | p. 139 |
| Tiny GIZMO, a Qualitative Reasoner (TGIZMO) | p. 169 |
| The Assumption-Based TMS (ATMS) | p. 217 |
| The Logically Complete LTMS (CLTMS) | p. 233 |
| The Tiny Rule Engine with ATMS (ATRE) | p. 245 |
| The Tiny Constraint Language (TCON) | p. 287 |
| The Tiny Constraint Language with ATMS (ATCON) | p. 321 |
| The Tiny Diagnosis Engine (TGDE) | p. 337 |
| The Symbolic Relaxation Engine (WALTZER) | p. 347 |
| Utilities | p. 377 |
| Index | p. 387 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
ISBN: 9780262560719
ISBN-10: 0262560712
Series: Building Problem Solvers Listings - 3.5
Audience:
Professional
For Ages: 18+ years old
Format:
Paperback
Language:
English
Number Of Pages: 410
Published: 3rd December 1993
Publisher: MIT Press Ltd
Country of Publication: US
Dimensions (cm): 22.86 x 20.32
x 2.54
Weight (kg): 0.73
