Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 213
AIList Digest Wednesday, 16 Sep 1987 Volume 5 : Issue 213
Today's Topics:
Queries - Program for AIDA-87 & OPS5 for PC & Object-Oriented PROLOG &
Neural-Net Proceedings & Qualitative Models and Discrete Simulaiton &
Procedures and Data & OOPSLA-87 Roommate & Speech Databases &
Lisp to C Conversion & ICAI for Literacy Training & Unix Prolog
----------------------------------------------------------------------
Date: 10 Sep 87 13:24:06 GMT
From: mcvax!enea!erix!olle@seismo.css.gov (Olle Wikstrom)
Subject: Program for AIDA-87 conference requested
Has anyone seen the program for the AIDA-87 - "the third annual
conference on Artificial Intelligence & Ada" George Mason University,
October 14-15, 1987? If so would you please send a copy of it to me,
preferably using e-mail.
Olle Wikstrom UUCP: olle@erix.UUCP
Ericsson Radio Systems AB or: ..seismo!mcvax!enea!erix!olle
Box 1001
S-431 26 Molndal
Sweden
------------------------------
Date: 10 Sep 87 16:47:00 GMT
From: uiucdcs!pur-ee!bucc2!brian@seismo.CSS.GOV
Subject: Re: OPS5 for PC - that's what I nee
> > Approved: ailist@stripe.sri.com
> >
> > I'm looking for a full-blown version of OPS5 for the IBM-PC. Working
> > with the VAX-VMS version of OPS5, I'd like to experiment on my (not
> > so terribly loaded) private PC.
> > TOPSI - as far as I know - does not support the essential features
> > which make OPS5 unique: RETE-match and therefor no recency conflict
>
> One year ago, the full RETE algorithm existed in a beta version of
> TOPSI. It may have migrated to the regular release by now.
I'm interested in TOPSI. What company offers it? Could you send me
information on how I might order it?
{ bucs1!brian
Brian Michael Wendt {uiucdcs,cepu,ihnp4}!bradley! { brian
{ bucc2!brian
------------------------------
Date: Sun, 13 Sep 87 14:55:07 EDT
From: lakshman@ATHENA.MIT.EDU
Subject: Object oriented PROLOG
Hi! Does anybody have a source code for creating objects with
inheritence capabilities and other standard stuff in PROLOG that
can be made available in the public domain ?
Jaideep Ganguly
------------------------------
Date: 14 Sep 87 00:03:18 GMT
From: munnari!latcs1.oz!suter@uunet.UU.NET (David Suter)
Subject: proceedings wanted
Has anyone (or any university library) obtained a copy of the
proceedings of the San Diego conference on neural nets
(this year). I would like to obtain a copy of the index and a few of the
papers of interest. If anyone can help, could they please e-mail me.
---------------------
David Suter ISD: +61 3 479-2596
Department of Computer Science, STD: (03) 479-2596
La Trobe University, ACSnet: suter@latcs1.oz
Bundoora, CSnet: suter@latcs1.oz
Victoria, 3083, ARPA: suter%latcs1.oz@uunet.uu.net
Australia UUCP: ...!uunet!munnari!latcs1.oz!suter
TELEX: AA33143
FAX: 03 4785814
------------------------------
Date: Mon, 14 Sep 87 09:09:34 cdt
From: Jane Malin <malin%nasa-jsc.csnet@RELAY.CS.NET>
Subject: Query:qualitative models and discrete simulaiton
A group here have been exploring combining qualitative modeling and
discrete event simulation (rather than constraint propagation)
methodologies for the purpose of analyzing system effects of component
faults and failures. The purpose of such analysis would be to support
failure modes And effects analysis and model-based development of fault
management systems (including knowledge-based systems). The
application area is space subsystems, especially of the process control
type, such as power management and distribution, thermal control, or
air and water purification. In this area, there is a need to model
multiple operating modes of system components, including multiple
failure modes. In fact, the system behaviors of most interest are
changes from normal to faulty behavior that are consequences of faults
and failures elsewhere in the system. We have a promising working
prototype, which I reported on at the AI and Simulation workshop at
AAAI-87.
First, generally, I would like to know of others with ideas or
experience in combining the two methodologies, and of technical
problems encountered in their efforts. I would also like to get some
ideas on approaches to the technical issues that arise from the need to
model multiple modes, including failure modes, explicitly.
Thanks in advance, Jane Malin.
(malin%nasa-jsc.csnet@relay.cs.net).
------------------------------
Date: 14 Sep 87 04:25:10 GMT
From: mtune!codas!killer!usl!elg@RUTGERS.EDU (Eric Lee Green)
Subject: procedures and data
Values, data, and procedures:
Can we building a consistent world view in Lisp-like languages?
Overview:
We know what data is. Symbols have a value cell. This value cell
contains data. The process of evaluation returns this value.
But how do we reconcile this with procedures?
Procedures are data. They are stored in memory just like any other
data. The value-cell of symbols should be able to point to procedure
objects, if we are to be consistent, allowing interchangability and
not having special classes of symbols.
Evaluating a symbol with a procedure-value should, to be consistent
with the action of eval upon data objects, return the value of the
data cell of the symbol.
But wait, how do we actually execute the procedure!
Lisp does this with hand-waving and head-nodding, by making programs
consist of lists, the first element of which is always assumed to be a
procedure which needs executing.
In other words, we are introducing "syntactic sugar" to work around
the problem of having to explicitly indicate what we wish to be
executed.
Lisp and Scheme do this kind of hand-waving in many places. For
example,
(defun urgh (junk foo) (blah1) (blah2))
defines a procedure "urgh" in your symbol table. "urgh", (junk foo),
etc., are actually literal data input to the define-a-function
routine. Yet the form of the call to "defun" is virtually identical to
that of
(+ a b)
where we feed the VALUES of "a" and "b" to the "+" function.
Questions:
Can this dichotomy between value and execution be mended for
procedure-objects without hand-waving?
Would requiring literal data to be quoted be too big an imposition
upon the programmer, and would it be worth the gain in expressiveness?
(just imagine macros without the mess).
A possible but kludgy scheme:
When procedure symbols are encountered in the eval stream, they are
called with the next list in the eval stream as the parameter list. A
special prefix character is necessary to explicitly access the
procedure-object, to, for example, assign it to another variable.
A program might look like
+ (2 2)
print ( / (2 f))
etc.
In other words, the effect would be to move the parentheses around, in
comparison with traditional Lisp dialects.
Why this is kludgy:
We are, again, attaching special considerations to the evaluation of
symbols whose value is a procedure-object.
I would appreciate any discussion or references about this subject.
-- Eric
--
Eric Green {ihnp4,cbosgd}!killer!elg
{ut-sally,killer}!usl!elg
elg@usl.CSNET
------------------------------
Date: Mon, 14 Sep 87 16:38 EST
From: SHAPIRO%cgi.com@RELAY.CS.NET
Subject: Roommate (Female) at OOPSLA-87
I am looking for a female roommate at OOPSLA-87 in Orlando at the Hyatt.
I will be there Oct. 4 - 7 and would be willing to share the room
any of those nights. I do not know what the savings would be and
do not have reservations yet but I would be glad to take care of
those details if anyone responds.
Thank you,
Alison Shapiro
SHAPIRO%CGI.COM@RELAY.CS.NET
or, if you have trouble with the address, I can be reached
at Carnegie Group Inc (412) 642-6900 ex. 248 days.
------------------------------
Date: 15 Sep 87 13:19:45 EST (Tue)
From: "Steven J. Nowlan" <nowlan%ai.toronto.edu@RELAY.CS.NET>
Subject: Online Databases of Speech Data
We are starting a large speech project and are interested in getting
a quick survey of publically available databases of speech data. What
we are interested in for each such database you know of is:
1. who to contact to get access to the database
2. what format data is available in
3. content of speech samples (digits, vowels, e-group etc)
4. multi-speaker or single speaker
5. how much data is available for each speaker
6. is the data time aligned
7. is there labelling of data, and if so how accurate is it
I would appreciate any information you could forward to us.
- thanks
Steve Nowlan
Arpanet: nowlan%ai.toronto.edu@relay.cs.net
CSNet,Bitnet: nowlan@ai.toronto.edu
EAN,X.400: nowlan@ai.toronto.cdn
UUCP: {uunet,watmath}!ai.toronto.edu!nowlan
------------------------------
Date: Tue, 15 Sep 87 16:01:05 PDT
From: BERENJI%PLU@ames-io.ARPA
Subject: Lisp to C conversion!!
A friend of mine at USC asked me if I know of any programs for conversion of
Lisp code to C for micros. The only one I know is Sapiens Software. If
anyone knows more on this subject, I would appreciate it if you can let me know.
with many thanks in advance,
Hamid Berenji
berenji@ames-pluto.arpa
(415) 694-6070
------------------------------
Date: 15 Sep 87 21:52:12 GMT
From: brillig!sanborn@mimsy.umd.edu (Jim Sanborn)
Subject: ICAI for Literacy Training (request for info)
I've had a request for some info on the subject of computer-based literacy
training. As this is not currently one of my longer suits, perhaps someone
will be able to fill me in on one or more of the following:
(1) the Center for Instructional Development & Evaluation,
(2) videodisc-based training,
(3) an IBM product known as PALS,
(4) any ICAI literature specific to ``literacy training.''
Any and all information may be helpful, particularly regarding #4 above.
Please respond to me directly via e-mail. I'll sift through what I receive,
post a summary to comp.ai.edu, and hopefully spurn some discussion there.
-Jim Sanborn
Internet: sanborn@brillig.umd.edu Computer Science Dept.
Usenet: ...!uunet!mimsy!sanborn University of Maryland
Phone: (301)454-1516,2002 College Park, MD 20742
-Jim Sanborn
Internet: sanborn@brillig.umd.edu
Usenet: ...!uunet!mimsy!sanborn CS Dept, U of Maryland
Phone: (301)454-1516,2002 College Park, MD 20742
------------------------------
Date: Mon, 14 Sep 87 09:54 CDT
From: Herndon@HI-MULTICS.arpa
Subject: prolog
[Forwarded from Info-UNIX.]
Does anyone know where in netland I can find a public domain Prolog
environment. I got a copy of SBProlog from uunet but found that it is
heavily dependent on having BSD UNIX as the underlying OS. I am running
SysV 2.0 on a AT&T 3b1.
Please send any responses to me directly. My receipt of "info-unix" is
not very reliable.
Thanks in advance.
Sincerely,
William R. Herndon
------------------------------------------------------------------
William R. Herndon Secure Computing Technology Center
Honeywell
ARPA: Herndon@hi-multics.arpa
AT&T: (612) 782-7108
US MAIL: 2855 Anthony Ln. So. - Suite 130
St. Anthony, Mn. 55418
------------------------------
End of AIList Digest
********************
