Access to fellow colleagues (original designers of tools)

The following are email addresses and web sites for the "original" designers of some of the generic toolset tools from The Ohio State University Laboratory of Artificial Intelligence Research (OSU LAIR). If you have questions about their design or LISP implementations, tell them that you are in my class and we are trying to re-write the tools in Java. Maybe they will be flattered and be helpful :-)

The Michigan Toolset in Smalltalk Jon Sticklen and his web page

Abduction Problem Solver

John Josephson and his web page (the designer) and Mike Tanner (the implementor and user) and Richard Fox (the implementor and user) and his web page. Also, an email from him about LISP source and FTP access and another about his willingness to help us!

Structured Matching Problem Solver

Todd Johnson and his web page

Classification Problem Solver

Tom Bylander and his web page and also Mike Tanner

Design Problem Solver

Dave Brown and his web page his thesis his web available papers and publications

Functional Reasoning

Anne Keuneke and her web page

These tools (called the Generic Task Toolset (Fafner release)) are all available in LISP, (the link to nervous, if still not available, be replaced with this HTTP site )but they are very large and the LISP tools may (in actuality) only really help if you have some knowledge of LISP and knowledge of their design. For classification and structured matching there is documentation at /usr/ai/hp/doc/toolset-docs.ps - you can view it with ghostview. It is a 116 page document which tells of their design.

Access to the this toolset includes a combination of Structured Matching and Classification in LISP, peirce-doc.ps (which is a post-script paper on the abduction tool) and toolset-docs.ps (which is a post-script paper on the cltl2.tar.Z tool)

Here on campus, the cltl2.tar.Z file has been unzipped at /usr/ai/hp/toolset. The source code is in the .cl files. Testcases (which show examples of their knowledge structures) are in /usr/ai/hp/testcases/ra for Structured Matching and /usr/ai/hp/testcases/csrl for classification (and Structured Matching)

Access to the Design tool in LISP can be gained through David Brown's thesis page above.