[comp.sys.xerox] interlisp ATMS

KARP@SUMEX-AIM.STANFORD.EDU (Peter Karp) (07/22/88)

Do you know of an Interlisp implementation of a deKleer-style ATMS?
If so please let me know by email at  Karp@Sumex-Aim.Stanford.Edu.
I am aware of the ATMS in IntelliCorp's KEE, and I am talking straight
Interlisp, not Lyric (commonlisp) Interlisp.
-------

dekleer.pa@XEROX.COM (07/22/88)

I'll look, but what version of Interlisp do you want to run the ATMS on?
Or is it on a PC?

There are various baby-ATMS's available that would be trivial to convert
to Interlisp.  We might be able to dig one up.
-------

"Timothy_Koschmann.DPMW4000"@XEROX.COM (07/22/88)

We built a truth maintenance system based on Johan's ATMS for the Rotamer
Project at Illinois Institute of Technology.  The TMS environments were
implemented as LOOPS objects.  Methods for seeking contradictions within an
environment were implemented in Xerox Quintus Prolog.  The Rotamer system was
desribed in the June issue of the Journal of Molecular Graphics ("Conformational
Analysis Using a Truth Maintenance System", J.Mol.Graphics, 6(June), 1988,
74-79.)  A description of the interface between LOOPS and Xerox Quintus Prolog
can be found in this months issue of IEEE Software ("Bridging the Gap between
Object-Oriented and Logic Programming", IEEE Software, 5(4), 1988, 36-42.) 

Tim

KARP@SUMEX-AIM.STANFORD.EDU (Peter Karp) (07/23/88)

I want to run it under Koto.  Jeff Shrager has sent me a small ATMS
that runs under Lyric; I thought I'd see if there was anything else
out there before I tried to convert it to Koto.  If you can find
something that already runs under Koto that would be great.  

Peter
-------

mittal.pa@XEROX.COM (Sanjay Mittal) (07/23/88)

I implemented Jeff Shrager's little ATMS in Interlisp/Loops (Koto version). I
dont think you can use it for serious work but you can certainly play with it.
If interested, let me know, and I'll look into making it available to you.

   ---- Sanjay

DIETTERICH@SUMEX-AIM.STANFORD.EDU (Tom Dietterich) (08/15/88)

We implemented the full ATMS including resolution as the bottom layer
of FORLOG.  It runs in Koto.  I can send you all or part of the FORLOG system
and some meager documentation..

--Tom
-------