Lisp software

This page points to several sofwtare packages written by Shaul Markovitch mainly for for teaching purposes.
  1. Game playing software: Functions for running games, alpha-beta search, implementations of checkers (other games will be available soon).
  2. Resolution theorem prover: This is a classical resolution theorem prover as taught in the introduction to AI books. My implementation emphesizes modularity and allows the students to easily incorporate various resolution strategies.
  3. ID3: An implementation of the ID3 induction algorithm.
  4. MacroScope: This is a general architecture for macro learning. It implements the information filtering methodology.

EMail comments to Shaul Markovitch
Last modified: Tue Jan 11 16:30:44 IST 2000