Copy Link
Add to Bookmark
Report
AIList Digest Volume 6 Issue 050
AIList Digest Thursday, 10 Mar 1988 Volume 6 : Issue 50
Today's Topics:
Queries - Auto User Interface Program & Xerox's 1186 Workstation &
Agricultural Uses of AI & Consultation Paradigms & sci.logic,
AI Tools - Constraint Languages and TK!Solver & Student Versions of OPS5,
Neuromorphics - Rochester Connectionist Simulator Update &
Neural Networks and Vision,
Psychology - Language-Free Thinking,
References - Prototypical Knowledge,
Anaotechnology - Picotechnology
----------------------------------------------------------------------
Date: Mon, 7 Mar 88 17:55:00 PST
From: TAYLOR%PLU@ames-io.ARPA
Subject: Request for Reference on Auto User Interface Pgm
Sometime during the summer of 1987, there was a seminar given at either
Stanford or SRI by someone maybe named Jack London concerning his
PhD thesis on the subject of automatic generation of user interface
specifications and/or code based on the specifications/contents of
a given data base. Obviously this is vague - it is second hand
information. Can someone give me an accurate reference to the
work presented in the seminar?
Thanks alot - Will Taylor taylor%plu@io.arc.nasa.gov
------------------------------
Date: 9 Mar 88 15:08:50 GMT
From: bgsuvax!maner@TUT.CIS.OHIO-STATE.EDU (Walter Maner)
Subject: Future of Xerox's 1186 Workstation
I have heard rumors that the 1186 will go out of production soon. Could
anyone confirm or deny? If the 1186 isn't approaching the end of its
product life, we plan to acquire some. We could also benefit from user
reports on the functionality of the 1186 for serious AI development work.
--
CSNet : maner@research1.bgsu.edu | CS Dept 419/372-2337
UUCP : {cbatt,cbosgd}!osu-cis!bgsuvax!maner | BGSU
Generic : maner%research1.bgsu.edu@relay.cs.net | Bowling Green, OH 43403
Opinion : If you are married, you deserve a MARRIAGE ENCOUNTER weekend!
------------------------------
Date: 9 Mar 88 16:23 EST
From: Rockwell.henr@Xerox.COM
Subject: Agricultural Uses of AI
I'm interested in finding any available references to argicultural uses of AI.
I'm aware of a COMAX paper of a few years ago but nothing else. Thanks in
advance.
Ronald Rockwell
Rockwell.Henr@XEROX.COM
------------------------------
Date: 8 Mar 88 16:54:00 GMT
From: pacbell!att-ih!occrsh!occrsh.ATT.COM!tas@AMES.ARC.NASA.GOV
Subject: Consultation Paradigms: info req
I am looking for information on Consultation Paradigms as they
pertain to expert systems. Any references would be greatly
appreciated.
Thanks...
Tom Sonby
AT&T
Oklahoma City, OK.
...ihnp4!3b2fst!3b2tas
------------------------------
Date: 7 Mar 88 18:25:16 GMT
From: mcvax!ukc!its63b!hwcs!jack@uunet.uu.net (Jack Campin)
Subject: call for votes for sci.logic
This is a call for votes for an unmoderated newsgroup "sci.logic".
Logic is a subject that sprawls across a number of newsgroups: these include
comp.os.research - logics for specifying concurrent systems
comp.ai - fuzzy and nonmonotonic logics
comp.databases - dependency theory, deductive databases (I gave up on
this newsgroup long ago as it all seemed to be about
prices for UNIFY and bugs in INGRES, but it may have
got more interesting since then for all I know)
comp.lang.prolog - not that Prolog has much to do with logic, but some
of its adherents think it does, and some of its
descendants do
comp.theory - denotational semantics, combinatory logic, type theory ...
sci.math - which has had a number of discussions of set theory
sci.philosophy.tech - ditto
sci.lang - Montague grammar and its successors
sci.physics - quantum logic
and there are a number of topics that don't fit happily into any of these
(theorem provers for intensional logics? free logics? strict finitism?).
Enough! Time for an end to the diaspora! Towards a National Home for logicians!
I made a preliminary enquiry at the end of another posting to see if anyone was
interested in a logic newsgroup. I got enough replies (mostly from the UK and
California, as I expected) to suggest that we might have a quorum if I made the
request a bit louder.
Don't reply again if you've already mailed me successfully.
I shouldn't have to say this, but:
MAIL me your votes. Don't post them as news items!
Follow up to news.groups ONLY! NO CROSSPOSTING!
--
ARPA: jack%cs.glasgow.ac.uk@nss.cs.ucl.ac.uk
JANET:jack@uk.ac.glasgow.cs USENET: ...mcvax!ukc!cs.glasgow.ac.uk!jack
Mail: Jack Campin, Computing Science Department, University of Glasgow,
17 Lilybank Gardens, Glasgow G12 8QQ, Scotland (041 339 8855 x 6045)
------------------------------
Date: Tue, 8 Mar 88 13:02:16 pst
From: Walter Underwood <wunder%hpcerb@ce.hp.com>
Subject: AIList V6 #48 - Constraint Languages & TK!Solver
Wm Leler's book discusses TK!Solver's algorithms and deficiencies,
and uses the same contraint program as an example for his language,
Bertrand. He also discusses the systems mentioned in other articles
here: Sketchpad, ThingLab, IDEAL, Steele's work, and others that I
can't remember right now.
The main contribution of Wm's work is a firm theoretical foundation
for constraint languages, plus the implementation work to make them
run fast. He shows Turing equivalence, shows how to add constraints
to enforce datatypes, etc.
Bertrand is implemented in Scheme.
Walter Underwood
------------------------------
Date: 8 Mar 88 04:45:07 GMT
From: ubc-vision!ubc-cs!alberta!goebel@beaver.cs.washington.edu
(Randy Goebel)
Subject: Re: Student versions of OPS5
It's nice that software is made available for students at reduced prices,
but I'm a little worried that the OPS5 system would do what Turbo-Prolog
does...Turbo-Prolog is just plan bad, and anyone who uses Turbo-Prolog
as a method of understanding Prolog is doing damage to their logic
skills. OPS5 is procedural, so maybe you will all be better off?
------------------------------
Date: Tue, 08 Mar 88 17:37:37 -0500
From: goddard@cs.rochester.edu
Subject: Rochester Connectionist Simulator update
(my apologies if this message is sent twice)
The Rochester Connectionist Simulator is available from:
Rose Peet
Department of Computer Science
University of Rochester
Rochester, NY 14627.
rose@cs.rochester.edu
...!seismo!rochester!rose
There is a licence to sign, and a distribution fee. Currently
distribution is via tape only, anonymous ftp may become available at
some indeterminate point in the future. The package is written in C,
runs under UNIX, and has a graphics package which runs under Suntools.
It is currently in use at several dozen sites and is described in the
February issue of the CACM. The simulation system is highly general
and flexible, placing no restrictions on network architecture, unit
activation functions and data, or learning algorithms.
A new version, 4.1, will be releases shortly. Version 4.1 includes
facilities to selectively delete links and sites, with garbage
collection; capability for integration with Kyoto Common Lisp and
Scheme, allowing the simulator to be controlled from those packages;
dynamic reloading of activation and other functions into a running
simulator, with access to global variables from the interface; and the
ability to associate a delay with each link.
An X-windows graphics package is under development.
A mailing list for simulator users will be started shortly.
For more information, licence, distribution details, contact Rose Peet
at the address above.
Nigel Goddard
------------------------------
Date: 9 Mar 88 02:39:12 GMT
From: parvis@pyr.gatech.edu (FULLNAME)
Subject: Neural networks and vision
Some time ago I posted a request for neural networks and vision literature on
the news. Since I got much more requests for literature than suggestions I
post a few more recent interesting references that I found.
- W.M. Bartlett, A computational model for neural feature extraction,
TR-87- 1357 University of Illinois at Urbana-Champain
- J.A. Feldman, Connectionist Models and Parallelism in High Level Vision, in
Perceptives in Computing: Human and Machine Vision II, 1986
- K.Fukushima, Neocognitron: A new Algorithm for pattern recognition tolerant
of deformations and shifts in position, Pattern Recognition Vol 15 1982
- S.Grossberg, Cortical dynamics of boundary completion, segmentation, and
depth perception, Illumination, and Image Sensing for Machine Vision Volume 728,
1986
- S.Grossberg and E.Mingolla, Neural Dynamics of Surface Perception: Boundary
Webs, Illuminants, and Shape-from-Shading, Computer Vision, Graphics, and Image
Processing 37, 1987
- T.Kohonen,E. Oja,P.Lehtioe, Storage and processing of
information in distributed associative memory systems, Parallel models of
associative memory, G.E. Hinton, J.A. Anderson 1981
P.S. If anyone has the book 'The 1987 Annotated Neuro-Computing Bibliograpy', I
would appreciate any comments.
Thanks, Parvis.
----
Parvis Avini
parvis@gitpyr.gatech.edu
------------------------------
Date: 8 Mar 88 09:40:28 GMT
From: mcvax!botter!klipper!biep@uunet.uu.net (J. A. "Biep" Durieux)
Subject: Language-free thinking (was: language, thought, and culture)
In article <2894@pbhyf.UUCP> rob@pbhyf.UUCP (Rob Bernardo) writes:
>In article <44@gollum.Columbia.NCR.COM> rolandi@gollum.UUCP (Walter Rolandi)
writes:
>+What sort of thinking do people typically do that does not involve language?
>
>I wouldn't know how to call the sorts of thinking I do which do not involve
>language. Language does not give me very good ways of labeling them, so
>they're hard to talk about.
The standard example of non-linguistic problem solving is the following
(forgive me my English):
Suppose a dog carrying a stick enters a fence of inter-spaced vertical
poles. How does he get through the fence?
Almost everybody solves this visually, even if the problem is given
verbally. I suppose most spacial problems (moving the piano to the
second floor..) fall in the category you ask for.
--
Biep. (biep@cs.vu.nl via mcvax)
As the NSA is now skipping last lines of articles,
let's discuss our anti-american conspiracy over here.
------------------------------
Date: 8 Mar 88 17:43:25 GMT
From: glacier!jbn@labrea.stanford.edu (John B. Nagle)
Subject: Re: Language-free thinking
For some references to recent work in the area, see "Spatial Reasoning
and Multi-Sensor Fusion, Proceeding of the 1987 Workshop", ISBN 0-934613-59-1,
Morgan Kaufman Publishers, Los Altos, CA. This reports the work of an
AAAI-sponsored conference last summer.
John Nagle
------------------------------
Date: 9 Mar 88 15:04:43 GMT
From: sunybcs!nobody@rutgers.edu
Reply-to: sunybcs!rapaport@rutgers.edu (William J. Rapaport)
Subject: Re: Request for related research work on Prototypical
Knowledge
In article <8803070737.AA22890@uunet.UU.NET> daniel@aragorn.OZ (Daniel Lui)
writes:
>Can anybody tell me what research work has been done on Prototypical
>Knowledge?
Peters, Sandra L., & Shapiro, Stuart C. (1987a),
``A Representation for Natural Category Systems,'' Proceedings of the
9th Annual Conference of the Cognitive Science Society, Seattle
(Hillsdale, NJ: Lawrence Erlbaum Associates): 379-390.
Peters, Sandra L., & Shapiro, Stuart C. (1987b),
``A Representation for Natural Category Systems,'' Proceedings of the
10th International Joint Conference on Artificial Intelligence, Milan
(Los Altos, CA: Morgan Kaufmann): 140-146.
------------------------------
Date: Tue, 8 Mar 88 09:21:12 MST
From: t05rrs%mpx1@LANL.GOV (Dick Silbar)
Subject: RE: picotechnology
Regarding George McKee's "picotechnology and positronic brains" article
in AIList V6 #47, my initial reaction was "You must be kidding, Mr.
McKee!". However, lest the non-physicist be misled:
1) positronium ain't "small" but is the size of a hydrogen atom
(which is essentially what it is).
2) positronium decays rapidly, in less than a microsecond, be it
ortho or para, ceramic matrix or not. This fact was already well known
at the time positronic brains came into the literature.
3) a Cooper pair, as occurs in superconductors, is even much larger
than positronium, since it is bound by exchange of phonons rather than
photons.
What I don't know is whether Mr. McKee intended us to take his remarks
about biology seriously.
Dick
------------------------------
End of AIList Digest
********************
