From MIT AI LAB, the birthplace of AI and LISP.
Many useful links, also about applications and new research
Useful stuff from Hong-Kong
Look here. It is a great starter WWW Page.
A great source of LISP programs and Prolog programs for Artificial Intelligence.
TURTLE ROBOT WORLD AND GRAPHICS.
PRODUCTION SYSTEMS AND PATTERN MATCHING.
- ROMAN1.CL Tanimoto.
Roman numeral conversion with an unordered P.S.
- ROMAN2.CL Tanimoto. Roman numeral conversion with an ordered P.S.
- ROMAN3.CL Tanimoto.
Roman numeral conversion with a discrimination net.
- MATCH.CL Matcher of Tanimoto.
Attempt to find a correspondence between P and S, utilizing
any special constructs appearing in P. Return an association list of bindings if successful; NIL otherwise.
- WINSTON, RULE BASED SYSTEM: BAGGER.
- allergy.lsp test, restaurant, Winston book.
- backward.lsp Winston, Backward Chaining.
- bagger.exp Winston, subroutines for CHAIN.
- bagger.lsp Winston, rules for restaurant
- bagger.ref Winston, BAGGER rules.
- bagger.txt Winston, BAGGER description and experiments.
- WINSTON, ZOO. Rule-based.
- zoo.lsp
- zoobk.exp
- zoobk.lsp
- zoobk.ref
- zoobk.txt
- zoofw.exp
- zoofw.lsp
- zoofw.ref
- zoofw.txt
ELIZA-LIKE PROGRAMS.
- SHRINK.CL Eliza-like program from Tanimoto.
- eliza.lsp Eliza-like program.
- doctor.lsp Simulated Psychiatrist. It is funny
to have him talk to Eliza as his patient. See what will happen!
- HONEY.LSP One more, this is very good.
- SCRIPT.LSP I did not test it yet. Have fun.
SYMBOLIC DIFFERENTIATION AND SIMILAR RECURSIONS.
- MATCHL.CL
Better Matcher from Tanimoto.
Attempt to find a correspondence between P and S, utilizing any special constructs appearing in P.
Return an association list of bindings if successful; NIL otherwise.
This is an enhanced version of MATCH for LEIBNIZ.CL.
- LEIBNIZ.CL Production system for symbolic differentiation.
From Tanimoto.
KNOWLEDGE REPRESENTATION.
- LINNEUS.CL
Tanimoto. This program is described in Chapter 4 ("Knowledge Representation") of
"The Elements of Artificial Intelligence Using Common Lisp," 2nd ed.
SEARCH.
LOGICAL REASONING.
- PROVER.CL A verifier for propositions using Wang's algorithm.
Tanimoto.
- UNIFY.CL
Tanimoto. A Unification algorithm for literals in the Predicate Calculus,
implemented in Common Lisp.
- PROLOG.CL Prolog in Lisp from Tanimoto.
- PROLIST.CL
Experiments in list manipulation using the mock PROLOG interpreter. From Tanimoto.
- WINSTON, RESOLVE.
Purpose: program support for Chapter 13,
Logic and Resolution Proof
- resolve.exp
- resolve.lsp
- resolve.ref
- resolve.txt
PROBABILISTIC REASONING.
- INFNET.CL Probabilistic Reasoning from Tanimoto.
COMMONSENSE REASONING.
- CASE-BR.CL Tanimoto.
Basic structures for a small demonstration of Case-Based Problem Solving.
- TEMPORAL.CL
A demonstration of temporal reasoning using constraint propagation
with James Allen's interval algebra. Tanimoto.
PLANNING.
- IDDFS.CL
Tanimoto. Iterative Deepening Depth-First Search, applied to robot planning.
- WSPLAN.CL
Tanimoto. World-space planner.
- POPLAN.CL
A partial-order (non-linear) planner. Tanimoto.
LEARNING.
- INDUCTR.CL Tanimoto.
Induces decision trees using the basic method of CLS and ID3.
Demonstrates machine learning of classification rules from examples.
- PYTHAG.CL
Tanimoto. "Pythagoras" -- a program that demonstrates heuristically-guided
concept formation in mathematics.
- WINSTON, VERSION.
Purpose: program support for Chapter 20, Learning by Managing Multiple Models
- version.exp
- version.lsp
- version.ref
- version.txt
- WINSTON, KD. program support for Chapter 19, Learning by Recording Cases
- kd.exp
- kd.lsp
- kd.ref
- kd.txt
- match.lsp Matcher from Winston.
- WINSTON, TRAIN.
Purpose: program support for Chapter 23, Learning by Training Perceptrons
- train.exp
- train.lsp
- train.ref
- train.txt
NATURAL LANGUAGE UNDERSTANDING.
VISION.
- CONNECTD.CL
A program for connected components labelling. From Tanimoto.
- EDGES.CL
Tanimoto. A demonstration of edge detection and related image processing in Lisp.
- RAMER.CL
Tanimoto. A Common Lisp implementation of Ramer's recursive algorithm
for approximating a polygon with another polygon.
NEURAL NETWORKS.
EXPERT SYSTEMS.
GAMES.
cities.lsp Winston. City distances.
clos.lsp Subset of CLOS.
FRAMES
- digits.lsp Winston.
- forward.lsp Forward Chaining. Winston.
- WINSTON. FRAMES AND INHERITANCE.
- frames.exp
- frames.lsp
- frames.ref
- frames.txt
- frames.usr
DATA BASES AND INTERFACES TO THEM
- grammar.lsp Top-level Interface and Database interface from Winston.
- WINSTON, RDB
Relational Databases
- rdb.exp
- rdb.lsp
- rdb.ref
- rdb.txt
COGNITIVE MODELING.
- WINSTON, PREFER. Purpose: program support for Chapter 8, Rules, Substrates, and Cognitive Modeling
- prefer.exp
- prefer.lsp
- prefer.ref
- prefer.txt
EQUATION SOLVING
- WINSTON, SOLVE.
Solves linear equations by row reduction.
Doubtlessly has terrible numeric properties.
- solve.lsp
- WINSTON, CAST
- beach.lsp Winston, definitions for BEACH.
- cast.exp Winston, Solving linear equations.
- cast.lsp Winston.
- cast.ref
- cast.txt
Provides program support for Chapter 24, Learning by Training
Approximation Nets. Illustrates interpolation/approximation nets using vacations.
STREAMS
- WINSTON, STREAMS.
- streams1.lsp
This version uses delayed evaluation. Note that ENCAPSULATE
is designed so that each stream element is computed only once.
- streams2.lsp
- stt.lsp Winston's tools database
SYMBOLIC CONSTRAINTS AND PROPAGATION.
- WINSTON, TIME. Purpose: program support for Chapter 12, Symbolic Constraints and Propagation
- time.exp
- time.lsp
- time.ref
- time.txt
VARIOUS, ORGANIZATION.
- WINSTON, README. Contents of Winston's Programs.
- readme.txt Readme from Winston.
- acl2.lisp Many short lisp programs from Ansi Common Lisp by Graham.
- lisp.tgz Needs unzip with good tool.
- onlisp.lisp Many short lisp programs from "On LISP", by Graham.
- utx.lisp Lisp utilities not included to "On LISP".