Copy Link
Add to Bookmark
Report
AIList Digest Volume 1 Issue 093
AIList Digest Tuesday, 8 Nov 1983 Volume 1 : Issue 93
Today's Topics:
Implementations - Lisp for MV8000,
Expert Systems - Troubleshooting & Switching Systems,
Alert - IEEE Spectrum,
Fifth Generation - Stalking The Gigalip,
Intelligence - Theoretical Speed,
Humor - Freud Reference,
Metadiscussion - Wittgenstein Quote,
Seminars - Knowledge Representation & Logic Programming,
Conferences - AAAI-84 Call for Papers
----------------------------------------------------------------------
Date: Tue, 1 Nov 83 16:51:42 EST
From: Michael Fischer <Fischer@YALE.ARPA>
Subject: Lisp for MV8000
The University of New Haven is looking for any version of Lisp that
runs on a Data General MV8000, or for a portable Lisp written in Fortran
or Pascal that could be brought up in a short time.
Please reply to me by electronic mail and I will bring it to their
attention, or contact Alice Fischer directly at (203) 932-7069.
-- Michael Fischer <Fischer@YALE.ARPA>
------------------------------
Date: 5 Nov 83 21:31:57-EST (Sat)
From: decvax!microsoft!uw-beaver!tektronix!tekig1!sal @ Ucb-Vax
Subject: Expert systems for troubleshooting
Article-I.D.: tekig1.1442
I am in the process of evaluating the feasibility of developing expert
systems for troubleshooting instruments and functionally complete
circuit boards. If anyone has had any experience in this field or has
seen a similar system, please get in touch with me either through the
net or call me at 503-627-3678 during 8:00am - 6:00pm PST. Thanks.
Salahuddin Faruqui
Tektronix, Inc.
Beaverton, OR 97007.
------------------------------
Date: 4 Nov 83 17:20:42-PST (Fri)
From: ihnp4!ihuxl!pvp @ Ucb-Vax
Subject: Looking for a rules based expert system.
Article-I.D.: ihuxl.707
I am interested in obtaining a working version of a rule based
expert system, something on the order of RITA, ROSIE, or EMYCIN.
I am interested in the knowledge and inference control structure,
not an actual knowledge base. The application would be in the
area of switching system maintenance and operation.
I am in the 5ESS(tm) project, and so prefer a Unix based product,
but I would be willing to convert a different type if necessary.
An internal BTL product would be desirable, but if anyone knows
about a commercially available system, I would be interested in
evaluating it.
Thanks in advance for your help.
Philip Polli
BTL Naperville
IX 1F-474
(312) 979-0834
ihuxl!pvp
------------------------------
Date: Mon 7 Nov 83 09:50:29-PST
From: Ken Laws <Laws@SRI-AI.ARPA>
Subject: IEEE Spectrum Alert
The November issue of IEEE Spectrum is devoted to the 5th Generation.
In addition to the main survey (which includes some very detailed tables
about sources of funding), there are:
A review of Feigenbaum and McCorduck's book, by Mark Stefik.
A glossary (p. 39) of about 25 AI and CS terms, taken from
Gevarter's Overview of AI and Robotics for NASA.
Announcement (p. 126) of The Artificial Intelligence Report, a
newsletter for people interested in AI but not engaged in research.
It will begin in January; no price is given. Contact Artificial
Intelligence Publications, 95 First St., Los Altos, CA 94022,
(415) 949-2324.
Announcement (p. 126) of a tour of Japan for those interested in
the 5th Generation effort.
Brief discussion (p. 126) of Art and Computers: The First Artificial-
Intelligence Coloring Book, a set of line drawings by an artist-taught
rule-based system.
An interesting parable (p. 12) for those who would educate the public
about AI or any other topic.
-- Ken Laws
------------------------------
Date: 5-Nov-83 10:41:44-CST (Sat)
From: Overbeek@ANL-MCS (Overbeek)
Subject: Stalking The Gigalip
[Reprinted from the Prolog Digest.]
E. W. Lusk and I recently wrote a short note concerning attempts
to produce high-speed Prolog machines. I apologize for perhaps
restating the obvious in the introduction. In any event we
solicit comments.
Stalking the Gigalip
Ewing Lusk
Ross A. Overbeek
Mathematics and Computer Science Division
Argonne National Laboratory
Argonne, Illinois 60439
1. Introduction
The Japanese have recently established the goal of pro-
ducing a machine capable of producing between 10 million and
1 billion logical inferences per second (where a logical
inference corresponds to a Prolog procedure invocation).
The motivating belief is that logic programming unifies many
significant areas of computer science, and that expert sys-
tems based on logic programming will be the dominant appli-
cation of computers in the 1990s. A number of countries
have at least considered attempting to compete with the
Japanese in the race to attain a machine capable of such
execution rates. The United States funding agencies have
definitely indicated a strong desire to compete with the
Japanese in the creation of such a logic engine, as well as
in the competition to produce supercomputers that can
deliver at least two orders of magnitude improvement (meas-
ured in megaflops) over current machines. Our goal in writ-
ing this short note is to offer some opinions on how to go
about creating a machine that could execute a gigalip. It
is certainly true that the entire goal of creating such a
machine should be subjected to severe criticism. Indeed, we
feel that it is probably the case that a majority of people
in the AI research community feel that it offers (at best) a
misguided effort. Rather than entering this debate, we
shall concentrate solely on discussing an approach to the
goal. In our opinion a significant component of many of the
proposed responses by researchers in the United States is
based on the unstated assumption that the goal itself is not
worth pursuing, and that the benefits will accrue from addi-
tional funding to areas in AI that only minimally impinge on
the stated objective.
[ This paper is available on {SU-SCORE} as:
PS:<Prolog>ANL-LPHunting.Txt
There is a limited supply of hard copies that
can be mailed to those with read-only access
to this newsletter -ed ]
------------------------------
Date: Monday, 7 November 1983 12:03:23 EST
From: Robert.Frederking@CMU-CS-CAD
Subject: Intelligence; theoretical speed
Not to stir this up again, but around here, some people like the
definition that intelligence is "knowledge brought to bear to solve
problems". This indicates that you need knowledge, ways of applying it, and
a concept of a "problem", which implies goals. One problem with measuring
human "IQ"s is that you almost always end up measuring (at least partly) how
much knowledge someone has, and what culture they're part of, as well as the
pure problem solving capabilities (if any such critter exists).
As for the theoretical speed of processing, the speed of light is a
theoretical limit on the propagation of information (!), not just matter, so
the maximum theoretical cycle speed of a processor with a one foot long
information path (mighty small) is a nanosecond (not too fast!). So the
question is, what is the theoretical limit on the physical size of a
processor? (Or, how do you build a transistor out of three atoms?)
------------------------------
Date: 4 Nov 83 7:01:30-PST (Fri)
From: harpo!eagle!mhuxl!mhuxm!pyuxi!pyuxss!aaw @ Ucb-Vax
Subject: Humor
Article-I.D.: pyuxss.196
[Semi-Summary of Halting Problem Disc]
must have been some kind of joke. Sigmunds' book is a real layman
thing, and in it he asserts that the joke
a: where are you going?
b: MINSKY
a: you said "minsky" so I'd think you are going to "pinsky". I
happen to know you are going to "minsky" so whats the use in lying?
is funny.
aaron werman pyuxi!pyuxss!aaw
------------------------------
Date: 05 Nov 83 1231 PST
From: Jussi Ketonen <JK@SU-AI>
Subject: Inscrutable Intelligence
On useless discussions - one more quote by Wittgenstein:
Wovon man nicht sprachen kann, darueber muss man schweigen.
------------------------------
Date: 05 Nov 83 0910 PST
Date: Fri, 4 Nov 83 19:28 PST
From: Moshe Vardi <vardi@Diablo>
Subject: Knowledge Seminar
Due to the overwhelming response to my announcement and the need to
find a bigger room, the first meeting is postponed to Dec. 9,
10:00am.
Moshe Vardi
------------------------------
Date: Thu, 3 Nov 1983 22:50 EST
From: HEWITT%MIT-OZ@MIT-MC.ARPA
Subject: SEMINAR
[Forwarded by SASW@MIT-MC.]
Date: Thursday, November 10, l983 3:30 P.M.
Place: NE43 8th floor Playroom
Title: "Some Fundamental Limitations of Logic Programming"
Speaker: Carl Hewitt
Logic Programming has been proposed by some as the universal
programming paradigm for the future. In this seminar I will discuss
some of the history of the ideas behind Logic Programming and assess
its current status. Since many of the problems with current Logic
Programming Languages such as Prolog will be solved, it is not fair to
base a critique of Logic Programming by focusing on the particular
limitations of languages like Prolog. Instead I will focus discussion
on limitations which are inherent in the enterprise of attempting to
use logic as a programming language.
------------------------------
Date: Thu 3 Nov 83 10:44:08-PST
From: Ron Brachman <Brachman at SRI-KL>
Subject: AAAI-84 Call for Papers
CALL FOR PAPERS
AAAI-84
The 1984 National Conference on Artificial Intelligence
Sponsored by the American Association for Artificial Intelligence
(in cooperation with the Association for Computing Machinery)
University of Texas, Austin, Texas
August 6-10, 1984
AAAI-84 is the fourth national conference sponsored by the American
Association for Artificial Intelligence. The purpose of the conference
is to promote scientific research of the highest caliber in Artificial
Intelligence (AI), by bringing together researchers in the field and by
providing a published record of the conference.
TOPICS OF INTEREST
Authors are invited to submit papers on substantial, original, and
previously unreported research in any aspect of AI, including the
following:
AI and Education Knowledge Representation
(including Intelligent CAI) Learning
AI Architectures and Languages Methodology
Automated Reasoning (including technology transfer)
(including automatic program- Natural Language
ming, automatic theorem-proving, (including generation,
commonsense reasoning, planning, understanding)
problem-solving, qualitative Perception (including speech, vision)
reasoning, search) Philosophical and Scientific
Cognitive Modelling Foundations
Expert Systems Robotics
REQUIREMENTS FOR SUBMISSION
Timetable: Authors should submit five (5) complete copies of their
papers (hard copy only---we cannot accept on-line files) to the AAAI
office (address below) no later than April 2, 1984. Papers received
after this date will be returned unopened. Notification of acceptance
or rejection will be mailed to the first author (or designated
alternative) by May 4, 1984.
Title page: Each copy of the paper should have a title page (separate
from the body of the paper) containing the title of the paper, the
complete names and addresses of all authors, and one topic from the
above list (and subtopic, where applicable).
Paper body: The authors' names should not appear in the body of the
paper. The body of the paper must include the paper's title and an
abstract. This part of the paper must be no longer than thirteen (13)
pages, including figures but not including bibliography. Pages must be
no larger than 8-1/2" by 11", double-spaced (i.e., no more than
twenty-eight (28) lines per page), with text no smaller than standard
pica type (i.e., at least 12 pt. type). Any submission that does not
conform to these requirements will not be reviewed. The publishers will
allocate four pages in the conference proceedings for each accepted
paper, and will provide additional pages at a cost to the authors of
$100.00 per page over the four page limit.
Review criteria: Each paper will be stringently reviewed by experts in
the area specified as the topic of the paper. Acceptance will be based
on originality and significance of the reported research, as well as
quality of the presentation of the ideas. Proposals, surveys, system
descriptions, and incremental refinements to previously published work
are not appropriate for inclusion in the conference. Applications
clearly demonstrating the power of established techniques, as well as
thoughtful critiques and comparisons of previously published material
will be considered, provided that they point the way to new research in
the field and are substantive scientific contributions in their own
right.
Submit papers and Submit program suggestions
general inquiries to: and inquiries to:
American Association for Ronald J. Brachman
Artificial Intelligence AAAI-84 Program Chairman
445 Burgess Drive Fairchild Laboratory for
Menlo Park, CA 94025 Artificial Intelligence Research
(415) 328-3123 4001 Miranda Ave., MS 30-888
AAAI-Office@SUMEX Palo Alto, CA 94304
Brachman@SRI-KL
------------------------------
End of AIList Digest
********************
