Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 143
AIList Digest Friday, 6 Jun 1986 Volume 4 : Issue 143
Today's Topics:
Queries - Medical Expert Systems & MRS & IJCAI Awards Nominations,
Opinion - Sexism and Repression,
Seminar - Deductive Synthesis of Sorting Programs (SRI),
Conference - 1986 SGAICO Conference on 2nd-Generation Expert Systems
----------------------------------------------------------------------
Date: 5 Jun 86 02:23:00 GMT
From: hplabs!hplabsb!marvit@ucbvax.berkeley.edu (Peter Marvit)
Subject: Medical Expert System availability? (+ Mac query)
I ask for a friend who is finishing med school and is looking to "dabble"
and/or explore the possiblities...
What is a good source of information about medically oriented Expert
systems/diagnostics aids?
Are PUFF, MYCIN, EMYCIN, and the rest of the famous ones public domain?
Are they distributed by commercial folks, if at all?
Do you think that such Expert Systems [gawd, I hate the term] will be
available in the future on MacIntosh or PC level delivery systems?
Finally, I've seen the list of expert system tools for PC. Any personal
or anectodatal experiences with them (especially for those who are more
domain oriented than AI hackers)? Would someone like to start a similar
list of MacIntosh tools?
ADVthanksANCE,
Peter Marvit ARPA: marvit@hplabs.arpa (no new style, yet)
HP LABS UUCP: ...!hplabs!arpa
------------------------------
Date: 4 Jun 86 03:24:24 GMT
From: pur-ee!mendozag@ucbvax (Grado)
Subject: MRS search
I have missed the several discussions about MRS in net.ai, especially
related to obtaining sources and documentation.
Can anyone provide me with pointers as to how to obtain the
sources along with appropriate references ?
I would appreciate any help.
Victor M Grado
Box 62,
School of Electrical Engineering,
Purdue University
West Lafayette, IN 47907
(317) 494-3494
ARPA: mendozag@ee.purdue.edu
[I will send copies of the previous discussion (AIList V. 4, Nos.
11, 15, 17, 21, 32). -- KIL]
------------------------------
Date: 4 Jun 86 17:40:12 GMT
From: cad!nike!sri-spam!klee@ucbvax.berkeley.edu (Ken Lee)
Subject: Re: MRS search
Contact Professor Mike Genesereth, Computer Science Dept., Stanford Univeristy,
Stanford, CA 94305 (genesereth@su-sushi.arpa) for information. I think he's in
charge of the MRS team.
Also, if anyone saved the MRS discussion, could you send me a copy, please.
I'm new to the net and did not get it. I just finished Prof. Genesereth's
expert systems course, using MRS, and I'm interested other people's opinions
and comments on MRS.
Thanks much.
Ken Lee
arpanet: klee@sri-spam
uucp: ucbvax!klee\@sri-spam.arpa
------------------------------
Date: 5 Jun 86 20:03:08 GMT
From: CS.UCL.AC.UK!bundy%aiva.edinburgh.ac.uk@ucbvax.berkeley.edu
(Alan Bundy)
Subject: IJCAI Awards Nominations
CALL FOR NOMINATIONS FOR IJCAI AWARDS
The IJCAI Award for Research Excellence
The IJCAI Award for Research Excellence is given at each
International Joint Conference on Artificial Intelligence,
to a scientist who has carried out a program of research of
consistently high quality yielding several substantial
results. If the research program has been carried out col-
laboratively the award may be made jointly to the research
team. The first recipient of this award was John McCarthy
in 1985.
The Award carries with it a certificate and the sum of
$1,000 plus travel and living expenses for the IJCAI. The
researcher(s) will be invited to deliver an address on the
nature and significance of the results achieved and write a
paper for the conference prodeedings. Primarily, however,
the award carries the honour of having one's work selected
by one's peers as an exemplar of sustained research in the
maturing science of Artificial Intelligence.
We hereby call for nominations for The IJCAI Award for
Research Excellence to be made at IJCAI-87 in Milan. The
accompanying note on Selection Procedures for IJCAI Awards
provides the relevant details.
The Computers and Thought Award
The Computers and Thought Lecture is given at each
International Joint Conference on Artificial Intelligence by
an outstanding young scientist in the field of artificial
intelligence. The Award carries with it a certificate and
the sum of $1,000 plus travel and subsistence expenses for
the IJCAI. The Lecture is one evening during the Conferen-
ce, and the public is invited to attend. The Lecturer is in-
vited to publish the Lecture in the conference proceedings.
The Lectureship was established with royalties received
from the book Computers and Thought, edited by Feigenbaum
and Feldman; it is currently supported by income from IJCAI
funds.
Past recipients of this honour have been Terry Winograd
(1971), Patrick Winston (1973), Chuck Rieger (1975), Douglas
Lenat (1977), David Marr (1979), Gerald Sussman (1981), Tom
Mitchell (1983) and Hector Levesque (1985).
Nominations are invited for The Computers and Thought
Award to be made at IJCAI-87 in Milan. The note on Selection
Procedures for IJCAI Awards covers the nomination procedures
to be followed.
Selection Procedures for IJCAI Awards
Nominations for The Computers and Thought Award and The
IJCAI Award for Research Excellence are invited from all in
the Artificial Intelligence international community. The
procedures are the same for both awards.
There should be a nominator and a seconder, at least
one of whom should not have been in the same institution as
the nominee. The nominee must agree to be nominated. There
are no other restrictions on nominees, nominators or second-
ers. The nominators should prepare a short submission less
than 2,000 words for the voters, outlining the nominee's
qualifications with respect to the criteria for the parti-
cular award.
The award selection committee is the union of the Pro-
gram, Conference and Advisory Committees of the upcoming
IJCAI and the Board of Trustees of IJCAII, with nominees
excluded. Nominations should be submitted before December
1st, 1986 to the Conference Chair for IJCAI-87:
Dr Alan Bundy,
IJCAI-87 Conference Chair,
Department of Artificial Intelligence,
University of Edinburgh,
80 South Bridge,
Edinburgh, EH1 IHN,
Scotland. tel 44-31-225-7774 ext 242
ArpaNet: bundy@rutgers.arpa
JANet: bundy@uk.ac.edinburgh
------------------------------
Date: Mon 2 Jun 86 23:03:05-PDT
From: Lee Altenberg <ALTENBERG@SUMEX-AIM.ARPA>
Subject: Re: Backward AI
May I take this opportunity to be a "righty" and attempt to reprogram the
software of Tom Tedrick by expressing my dismay with his sexist description
of women as inexplicably trying to "poison" the efficiency of their husbands
CPU's. One should be careful about attributing to whole classes of people
the traits of one's personal friends. Also, the milk request was interpreted
as being a passive-aggressive act. This represents repressed anger which
should be brought to the surface.
------------------------------
Date: Thu 5 Jun 86 15:25:33-PDT
From: Amy Lansky <LANSKY@SRI-WARBUCKS.ARPA>
Subject: Seminar - Deductive Synthesis of Sorting Programs (SRI)
DEDUCTIVE SYNTHESIS OF SORTING PROGRAMS
Jon Traugott (JCT@SAIL)
Stanford University
11:00 AM, MONDAY, June 9
SRI International, Building E, Room EJ228 (new conference room)
Using the deductive synthesis framework developed by Manna and
Waldinger we have derived a wide variety of recursive sorting
programs. These derivations represent the first application of the
deductive framework to the derivation of nontrivial algorithms. While
the programs given were derived manually, we ultimately hope that a
computer implementation of the system (of which none currently exists)
will find similar programs automatically. Our derivations are intended
to suggest this possibility; the proofs are short in relation to
program complexity (on the order of 20 steps per procedure) and
individual derivation steps are uncontrived. We also present a new
rule for the generation of auxiliary procedures, a common "eureka"
step in program construction.
VISITORS: Please arrive 5 minutes early so that you can be escorted up
from the E-building receptionist's desk. Thanks!
------------------------------
Date: 5 JUN 86 18:10-N
From: SCHNEIDER%CGEUGE51.BITNET@WISCVM.WISC.EDU
Subject: Conference - 1986 SGAICO Conference on 2nd-Generation Expert Systems
SGAICO (swiss group for artificial intelligence and cognitive science)
1986 SGAICO CONFERENCE ON SECOND GENERATION EXPERT SYSTEMS
(including SGAICO General Assembly)
Luc Steels, Walter Van de Velde
University of Brussels
with exhibition
Holiday-Inn, Zurich-Regensdorf
Wednesday, October 22 1986
PURPOSE
SGAICO is organizing a conference on 2nd generation
expert systems. The purpose of the conference is to
inform participants in depth about this important new
trend in expert system technology. First generation
expert systems - which are normally based on associative
if-then rules - are subject to severe limitations. These
include reasoning power in general, explanations, natural
language capabilities, ungraceful degradation and
learning capacity. One of the reasons for these limitations
is a lack of causal knowledge about the problem
domain. Expert systems of the second generation include
models of the underlying causal dependencies that are
used in non-trivial reasoning processes.
Professor Luc Steels and his group are among the leading
researchers on Second Generation Expert Systems. Luc
Steels will give the general keynote speech. His collaborator
van de Velde will discuss a second generation
expert system in depth. A demonstration will be presented
on a Lisp machine.
PARTICIPANTS
This conference is intended for computer-scientists,
engineers, managers and all those wishing to keep up
with the latest developments in this fast-moving field.
We expect participants to have some minimal previous
knowledge of expert systems.
SGAICO GENERAL ASSEMBLY
The SGAICO general assembly (11:00-12:30) includes a
discussion of long-term development of AI in Switzerland.
We are pleased to link our meeting to a Gottlieb
Duttweiler Institute (GDI) event:
USER INTERFACES - GATEWAY OR BOTTLENECK
New Trends of Access to Information and Knowledge
October 20-21, 1986
This 4th International Symposium for Advanced Information
Technology presents new solutions to the problem of
interaction between users and computers in management
and industry. Key topics are: End User Systems, Mangement
Support Systems, Natural Language Understanding, Decision
Support Systems, Intelligent Query Systems, Process
Control, CAD, Maintenance/Diagnosis, Simulation.
PROGRAM
Speakers Luc Steels,
Walter Van de Velde,
Artificial Intelligence Laboratory,
Vrije Universiteit, Brussels
9:00 - 10:30 Keynote talk by Luc Steels:
Emerging trends in expert systems
11:00 - 12:30 SGAICO General Assembly: Long-term
development of AI in Switzerland.
Moderator: Guenter Albers
14:00 - 15:30 Walter Van de Velde: Learning and
deep reasoning in second generation
expert systems (part I)
16:00 - 17:30 Walter Van de Velde (part II)
17:45 - 19:00 Demonstrations on Lisp-Machines
19:00 Informal "get-together"
exhibition including major Artificial Intelligence
software and hardware.
ORGANIZATION
Program Committee Guenter Albers, University of Geneva
Rolf Pfeifer, University of Zurich
Michael Rosner, University of Geneva
Daniel Schneider, University of Geneva (Chairman)
Patrick Shann, University of Geneva
Fees SI members or members of a SVI/FSI organisation 110.- Sfr
non members 180.- Sfr
student rates 30.- Sfr
Special rates Limited funding is available for persons with financial
needs who wish to apply for student rates.
Registration Please fill out the registration card and mail it by
september 30 1986. You will be billed when receiving
confirmation.
Telephone of the SI/SGAICO secretariat:
(..41) 1 481 73 90 (Frau Nicolet)
Lunch Please indicate on the registration form if you plan to
have lunch at the Holiday Inn.
Accomodation For hotel registration please contact the
Tourist Office, Bahnhofplatz 15, 8023 Zurich,
Tel.: (..41) 1 211 40 00,
or the Holiday Inn, Regensdorf, Tel.: (..41) 1 840 25 20.
For further information about the program contact a program committee member
or email to Daniel Schneider (sender).
For information on the GDI congress, please contact:
Gottlieb Duttweiler Institut
Frau Kunz-Wechler
CH-8803 Ruschlikon
Tel.: (01) 461 37 16
To register contact:
SI/SGAICO
Postfach 570
CH-8027 Zurich
Switzerland
from: Daniel K.Schneider
Departement de Science Politique, Universite de Geneve
1211 GENEVE 4 (Switzerland), Tel. (..41) 22 20 93 33 ext. 2357
to VMS/BITNET: to UNIX/EAN:
BITNET: SCHNEIDER@CGEUGE51 shneider%cui.unige.chunet@CERNVAX
ARPA: SCHNEIDER%CGEUGE51.BITNET@WISCVM shneider%cui.unige.chunet@ubc.csnet
uucp: mcvax!cernvax!cui!shneider
X.400/ean: shneider@cui.unige.chunet
------------------------------
End of AIList Digest
********************
