Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 218
AIList Digest Thursday, 16 Oct 1986 Volume 4 : Issue 218
Today's Topics:
Queries - Lisp Machine Discussion List & PROLOG Dialects for VAX/VMS,
AI Tools - Bug in Turbo Prolog & Garbage Collection,
Seminar - Learning Apprentice Systems (UMD),
Conferences - Machine Vision &
Society for Philosophy and Psychology
----------------------------------------------------------------------
Date: Wed 15 Oct 86 14:04:23-EDT
From: Arun <Welch%OSU-20@ohio-state.ARPA>
Subject: Lisp machine discussion list
As AIList get's deluged again with lisp machine stuff, I guess it's
time to ask again, "Is there enough demand for a seperate discussion
list for lisp machines?". I asked last time this happened, and there
wasn't much reaction from the world. There are discussion groups for
the equipment from each of the major manufacturers (info-1100,
info-ti-explorer, slug, sun-spots, apollo), and even for some of the
flavors of lisp (Franz-friends, info-xlisp), but nothing for
discussing the relative merits of the different implementations of
lisp for workstations, harware qualities, maintenance, directions that
users would like to see workstations evolve towards, what things one
likes/hates in lisp programming environments, and so on. I'm willing to
work on starting up a mailing list and administer it if there is a
large enough demand. Obviously, this is an inappropriate discussion for
AIList.
...arun
Arun Welch
Lab for AI Research, Ohio State University.
{ihnp4,cbosgd}!osu-eddie!welch
welch@ohio-state.{CSNET,ARPA}
welch@red.rutgers.edu (a guest account, but mail gets to me eventually)
------------------------------
Date: Wed, 15 Oct 86 09:35 N
From: DEGROOT%HWALHW5.BITNET@WISCVM.WISC.EDU
Subject: PROLOG-dialects-info wanted for VAX/VMS
WANTED:
Information about dialects of PROLOG-implementations
for VAX/VMS, public-domain or commercial available.
Send any pointers, references and the like to:
Kees de Groot (DEGROOT@HWALHW5.BITNET)
Tel. +31-8370- .KeesdeGroot (DEGROOT@HWALHW5.BITNET) o\/o THERE AINT NO
(8)3557/ Agricultural University, Computer-centre [] SUCH THING AS
4030 Wageningen, the Netherlands .==. A FREE LUNCH!
DISCLAIMER: My opinions are my own alone and do not represent
any official position of my employer.
------------------------------
Date: Wed, 15 Oct 86 15:19:44 EDT
From: David_West%UB-MTS%UMich-MTS.Mailnet@MIT-MULTICS.ARPA
Subject: Bug in Turbo Prolog
Most criticisms of Turbo Prolog have been only flames, but the
following is, I think, an actual bug. If member is defined by:
member(H,[H|_]):-!.
member(H,[_|T]):-member(H,T).
the goal:
member([1,X],[[3,4],[1,2]]).
will succeed (binding X to 2) or FAIL if the domain of the
lowest level list elements is declared as integer or reference
integer, respectively.
It might be argued that this choice (whether or not to specify
reference) is the user's responsibility, as in Algol-like
languages; My view is that reference declarations are (like
register declarations in C) "advice to the compiler", which
should not alter the semantics of the program . This seems
reasonable because:
1) the Turbo Prolog compiler will on its own initiative retype
domains from value to reference, so it can't consider
the distinction to affect the semantics; and
2) the abovementioned goal fails ONLY if the cut is present
in the first clause of member; without this cut, Turbo
Prolog (with or without reference specified) gives the same
result as do other Prologs (for which, as expected, the
presence or absence of the cut does not affect the result).
------------------------------
Date: Tue 14 Oct 86 20:02:05-EDT
From: Arun <Welch%OSU-20@ohio-state.ARPA>
Subject: Re: Garbage Collection
>From: garren@STONY-BROOK.SCRC.SYMBOLICS.COM (Scott Garren)
>Date: 6 Oct 86 14:05:00 GMT
>
>Relative to discussions of garbage collectors I would like to point out
>that there are issues of scale involved. Many techniques that work
>admirably on an address space limited to 8 Mbytes (Xerox hardware)
>do not scale at all well to systems that support up to 1 Gbytes
>(Symbolics).
To pick a nit here, the Xerox machines are capable of addressing up to 32Mb.
Arun Welch
{ihnp4,cbosgd}!osu-eddie!welch
welch@ohio-state.{CSNET,ARPA}
welch@red.rutgers.edu (a guest account, but mail gets to me eventually)
------------------------------
Date: Tue, 14 Oct 86 13:27:33 EDT
From: SubbaRao Kambhampati <rao@cvl.umd.edu>
Subject: Seminar - Learning Apprentice Systems (UMD)
Title: Learning Apprentice Systems
Speaker: Prof. Tom Mitchell, Carnegie-Mellon University
Location: Rm. 2324 Dept of CS, U of MD, College Park
Time: 4:00pm
We consider a class of knowledge-based systems called Learning
Apprentices: systems that provide interactive aid in solving some problem,
and that automatically acquire new knowledge by observing the actions of
their users. The talk focuses on a particular Learning Apprentice, called
LEAP, which is presently being developed in the domain of digital circuit
design. LEAP is able to infer rules that characterize how to implement
classes of circuit functions, by analyzing circuit fragments contributed by
its users. The organization of LEAP suggests how similar learning
apprentices might be constructed in a variety of task domains.
(Refreshments will be served at 3:30pm in Rm. 3316)
------------------------------
Date: Wed 15 Oct 86 10:52:16-PDT
From: Sandy Pentland <PENTLAND@SRI-IU.ARPA>
Subject: Conference - Machine Vision
FINAL CALL FOR PAPERS:
Optical Society Topical Meeting on
MACHINE VISION
March 18-20, 1987
Hyatt Lake Tahoe, Incline Village, Nevada
Topics will include: 3-D vision algorithms, image understanding,
object recognition, motion analysis, feature extraction, novel
processing hardware, novel sensors, and VSLI applications. Also,
skiing.
Invited speakers include: Bob Bolles (SRI), Peter Burt (RCA),
Rodger Tsai (IBM), Demetri Terzopolis (SPAR), Rodger Dewar (Perceptron),
J. Lowrie (Martin Marietta), P. Tamura and K. Coppock (Westinghouse),
C. Jacobus (ERIM).
Program committe: Alex Pentland, Glenn Sincerbox (co-chairs),
Keith Nishihara, Harlyn Baker, Chris Goad, Steven Case, Aaron Gara,
Charles Jacobus, Timothy Strand, Richard Young.
WHAT TO SUBMIT: 25 WORD abstract and separate 4 PAGE camera-ready
summary on standard 8 1/2 x 11 paper. Summary must begin with paper
title, authors name and address, and authors should submit the original
and one copy of both the abstract and the summary. Send your paper to:
Optical Society of America
Machine Vision
1816 Jefferson Place, N.W.
Washington, D.C. 20036
DEADLINE: Nov. 3, 1986
------------------------------
Date: 11 Oct 86 04:55:29 GMT
From: rutgers!princeton!mind!harnad@lll-crg.arpa (Stevan Harnad)
Subject: Society for Philosophy & Psychology: CALL FOR PAPERS
[Please post hard copy locally]
SOCIETY FOR PHILOSOPHY AND PSYCHOLOGY
Call for Papers for 1987 Annual Meeting
University of California at SAN Diego, June 21 - 23 1987
The Society for Philosophy and Psychology is calling for contributed
papers and symposium proposals for its 13th annual meeting in San Diego.
The Society consists of psychologists, philosophers, and other
cognitive scientists with common interests in the study of behavior,
cognition, language, the nervous system, artificial intelligence,
consciousness, and the foundations of psychology.
Past participants in annual meetings have included: N. Chomsky,
D. Dennett, J. Fodor, C. R. Gallistel, J. J. Gibson, S. J. Gould,
R. L. Gregory, R. J. Herrnstein, D. Hofstadter, J. jaynes, G. A. Miller,
H. Putnam, Z. Pylyshyn, W. V. Quine, R. Schank, W. Sellars and
P. Teitelbaum.
Contributed Papers are refereed and selected on the basis of quality
and relevance to both psychologists and philosophers. Psychologists,
neuroscientists, linguists, computer scientists and biologists are
encouraged to report experimental, theoretical and clinical work that
they judge to have philosophical significance.
Contributed papers are for oral presentation and should not exceed a
length of 30 minutes (about 12 double-spaced pages). The deadline for
submision is 12 January, 1987. Please send three copies to the
Program Chairman:
Professor William Bechtel
Society for Philosophy and Psychology
Department of Philosophy
Georgia State University
Atlanta GA 30303-3083
Phone: (404) 658-2277
Symposium proposals should also be sent to the above address as soon
as possible.
Local Arrangements: Professor Patricia Kitcher, B-002, Department of
Philosophy, University of California at San Diego, La Jolla CA 92093.
Individuals interested in becoming members of the Society should send
$15 membership dues ($5 for students) to Professor Kitcher at the
above address.
SPP Officers: President: Stevan Harnad (Behavioral & Brain Sciences)
President-Elect: Alvin I. Goldman (U. Arizona)
Secretary Treasurer: Patricia Kitcher (UCSD)
Program Chairman: William Bechtel (U. Georgia)
Executive Committee:
Myles Brand (U. Arizona) R. S. Jackendoff (Brandeis)
Daniel Dennett (Tufts) William Lycan (U. N. Carolina)
Fred Dretske (U. Wisconsin) John Macnamara (McGill)
Jerome A. Feldman (U. Rochester) Carolyn Ristau (Rockefeller)
Janet Fodor (CUNY) Anne Treisman (UC, Berkeley)
Alison Gopnik (U. Toronto) Robert Van Gulick (Syracuse U.)
Charles C. Wood (Yale)
------------------------------
End of AIList Digest
********************
