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 -------