Date: Mon 18 Jul 1988 00:30-EDT
From: AIList Moderator Nick Papadakis <AIList-REQUEST@mc.lcs.mit.edu>
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 <hunter-larry@YALE.ARPA>
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
********************