Date: Mon 18 Jul 1988 00:30-EDT From: AIList Moderator Nick Papadakis Reply-To: AIList@mc.lcs.mit.edu Us-Mail: MIT Mail Stop 38-390, Cambridge MA 02139 Phone: (617) 253-2737 Subject: AIList Digest V8 #16 To: AIList@mc.lcs.mit.edu Status: R AIList Digest Monday, 18 Jul 1988 Volume 8 : Issue 16 Today's Topics: Queries: Commercial Machine Learning Programs LISP Implementation: Clarification of the Question Proceedings of Conf. on Intelligent Tutoring Systems Computer Algebra System Tutor summary: Computer Vision and Logic Programming muLISP documentation Computer Algebra System Tutor AI & Software Engineering (Soloway) ---------------------------------------------------------------------- Date: Fri, 15 Jul 88 11:18:56 EDT From: Larry Hunter Subject: Commercial Machine Learning Programs I'd trying to find out about commercial machine learning programs. I'm particularly interested in hearing about vendors of machine learning products, but I'm also interested in hearing from any commercial users of any form of machine learning. Please send mail directly to Hunter@Yale.edu, as I do not read this list. Thanks! Larry Hunter Hunter@Yale.edu ------------------------------ Date: Tue, 12 Jul 88 12:46:15 CDT From: drl@vuse.vanderbilt.edu (David R. Linn) Subject: LISP Implementation: Clarification of the Question "What??? Oh, I see; we use the term 'interpreter' to mean different things." >From the initial response to my question about noninterpretive LISP implementations, it appears obvious that I misphrased the question. Perhaps a bit of context will help. My project involved porting the Franz LISP system (38.87)to two nonBSD environments. The core of the FL system is a C and assembly language program called _rawlisp_. This program is, by my definition, a LISP interpreter but it supplies more than just the evaluation service. It supplies the memory management, i/o primitives, stack/memory management and basic LISP environment maintenance. All FL programs, whether interpreted or compiled, run within the environment provided by the interpreter (usually by _lisp_, a version of _rawlisp_ whose environment has been heavily augmented by loading (compiled) LISP code). Perhaps a better name for what I call a "LISP interpreter" would be a "LISP environmental support program" (LISP ESP). Now, hopefully, I can restate my quesion in clearer terms: Does anyone know of a LISP implmentation that does not support the language by loading (possibly compiled) LISP code into a LISP ESP in order to execute it? I disqualify setups like the FL autorun facility since these implicitly involve loading code into a LISP ESP and preloaded systems like the FL LISP compiler _liszt_. Although it would be difficult, I can see that it might be possible to support LISP like C: compile the source to object code and link the object with a startup routine and (probably hefty) library. Again, please reply directly to me and I will summarize the responses. David David Linn - drl@vuse.vanderbilt.edu (should now agree with header) ------------------------------ Date: Wed, 13 Jul 88 17:22:12 -0400 From: howell%community-chest.mitre.org@gateway.mitre.org Subject: Proceedings of Conf. on Intelligent Tutoring Systems Can someone please tell me how to obtain copies of the proceedings of the International Conference on Intelligent Tutoring Systems, held 1 .. 3 June in Montreal? Thanks Chuck Howell The MITRE Corporation, Mail Stop Z645 7525 Colshire Drive, McLean, VA 22102 NET: howell@mitre.arpa or howell%community-chest.mitre.org@gateway.mitre.org ------------------------------ Date: 13 Jul 88 13:22:55 GMT From: mcvax!lifia.imag.fr!gb@uunet.UU.NET (Guilherme Bittencourt) Reply-to: mcvax!lifia.imag.fr!gb@uunet.UU.NET (Guilherme Bittencourt) Subject: Computer Algebra System Tutor I would like any pointer (references, system names, addresses or even source code :-) to any knowledge-based system to aid in the utilization of a computer algebra system (Reduce, Macsyma, Maple, etc). I am planning to build such a system as an application of my thesis work (a system to aid in the design of knowledge-based systems) and very interested in any previous work. Please answer by e-mail, I will summarize if there is enough interest. Thanks in advance. -- Guilherme BITTENCOURT +-----+ gb@lifia.imag.fr L.I.F.I.A. | <0> | 46, Avenue Felix Viallet +-----+ 38031 GRENOBLE Cedex - FRANCE (33) 76574668 ------------------------------ Date: 14 Jul 88 06:53:49 GMT From: ucsbcsl!cornu.ucsb.edu!nosmo@bloom-beacon.mit.edu Subject: summary: Computer Vision and Logic Programming Well, Some of you may remember my early posting, regarding the intersection of computer vision and logic programming. For those of you who replied, many thanks. What was found: Alan J. Vayda (vayda@ee.ecn.purdue.edu) is using prolog for high-level object recognition on range data. Ref: Kak, Vayda, Cromwell, Kim and Chen, "Knowledge-Based Robotics", Proc. of the 1987 Conf. on Robotics and Auto- mation. Ray Reiter and Alan Mackworth at Univ. of British Colubia have a paper "The Logic of Depiction" (UBC TR 87-24) which proposes a theory of vision based in first order logic. Net address: mack%grads.cs.ubc.ca@RELAY.CS.NET. (note: Dr. Mackworth, I could never get mail back to you. My address is at the end of this message.) In vol. 1 of "Concurrent Prolog: collect papers", edited by E. Shapiro, MIT Press, 1987, S. Edelman and E. Shapiro have "Image Processing in Concurrent Prolog", this deals with algoritms for low-level vision. (edelman or udi, @wisdom.BITNET) Denis Gagne's thesis, from U. of Alberta, in Edmonton, home of the Oilers and the West Ed. Mall, describes a reasoning approach to scene analysis. The person that refered this to me didn't know the title, but did give me a lead on how to find out. Randy Goebel (goebel@alberta.uucp) and David Poole (dlpoole@waterloo.csnet) were Denis's advisors. Mulgaonkar, Shapiro and Haralick, describe a rule-based approach for determining shap-from-perspective in "Shape from Perspective: a Rule Based Approach", CVG&IP 36, pp. 289-320, 1986. That's about all that I've heard. I'm still interested in hearing more, though. Vince Kraemer (nosmo@cornu.ucsb.edu) 4946 La Ramada Dr. Santa Barbara, CA 93111 "Always look on the bright side of life!" - man on the cross, in The Life of Brian (note : our postnews has been ill, hence the delay.) ------------------------------ Date: Thu, 14 Jul 88 12:53 P From: F61104%BARILAN.BITNET@MITVMA.MIT.EDU Subject: muLISP documentation Hello, We are using an ES shell called AQUAINT which allows user defined functions in muLISP. However, the documentation for muLISP is not included with the system. Could anybody please help with some pointers on how to get hold of it? (Reply to me or the net). Thanks, Gilly e-mail; F61104@BARILAN.BITNET s-mail; Gilly Chukat Dept. of Life Sciences Bar-Ilan University 52100 Ramat-Gan Israel ------------------------------ Date: 13 Jul 88 13:21:05 GMT From: mcvax!inria!imag!lifia!gb@uunet.uu.net (Guilherme Bittencourt) Subject: Computer Algebra System Tutor I would like any pointers (references, system names, addresses or even source code :-) to any knowledge-based system to aid in the utilization of a computer algebra system (Reduce, Macsyma, Maple, etc). I am planning to build such a system as an application of my thesis work (a system to aid in the design of knowledge-based systems) and very interested in any previous work. Please answer by e-mail, I will summarize if there is enough interest. Thanks in advance. -- Guilherme BITTENCOURT +-----+ gb@lifia.imag.fr L.I.F.I.A. | <0> | 46, Avenue Felix Viallet +-----+ 38031 GRENOBLE Cedex - FRANCE (33) 76574668 ------------------------------ Date: Fri, 15 Jul 88 11:27:31 -0400 From: howell%community-chest.mitre.org@gateway.mitre.org Subject: AI & Software Engineering (Soloway) I've just read an overview of the Yale AI Project in the Winter 87 issue of AI Magazine (shows you how deep my "to read" stack has become!). I was particularly interested in the work being done by Elliot Soloway on applying story understanding techniques to program "comprehension". Any pointers to additional information on this work would be greatly appreciated. Pointers to other work on applying AI tools & techniques to Software Engineering (esp. to qualitative assessment of large volumes of PDL and code) would be appreciated. If the volume of responses is big enough, I'll mail a summary to the ailist. Thanks, Chuck Howell The MITRE Corporation, Mail Stop Z645 7525 Colshire Drive, McLean, VA 22102 NET: howell@mitre.arpa or howell%community-chest.mitre.org@gateway.mitre.org ------------------------------ End of AIList Digest ********************