Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 032
AIList Digest Thursday, 5 Feb 1987 Volume 5 : Issue 32
Today's Topics:
Queries - Graphics for Frames and Semantic Networks & Learning Programs,
AI Tools - Expert Shell for VAX & PCs & OPS5 for 4.2BSD,
Discussion List - Color and Vision Network,
Seminars - Dynamic Belief Revision System (CMU) &
The Synthesis of Dirty Lisp Programs (SU) &
Why Software Cannot be Property (UTexas) &
Expert Systems in Manufacturing (UCB)
----------------------------------------------------------------------
Date: 29 Jan 87 13:34:34 GMT
From: mcvax!ukc!hrc63!hughes@seismo.css.gov (Andrew C. Hughes)
Subject: Graphics for frames and semantic networks
We have some people developing a knowledge representation system who wish to
implement a graphics based user interface which will support frame
editing/displaying taxonomic hierarchy/semantic network editing/displaying etc.
The system is currently written in Franz Lisp Opus 42.16 on a Sun 2,
but we hope to port to Common Lisp on a Sun 3 in the near future. The Lisp
should have an adequate interface to other languages such as 'c'.
Does anyone know of a package (preferably in the public domain) which would
ease the writing of such a UI, in particular allowing displaying/editing
of hierarchies, networks and frames.
Andrew Hughes (GEC Research, Chelmsford, UK)
Tel: +44 245 73331 Ext. 3247
Email: ..!mcvax!ukc!a.gec-mrc.co.uk!hughes
ARPA: hughes%a.gec-mrc.co.uk@ucl-cs
------------------------------
Date: 2 Feb 87 02:34:05 GMT
From: uwslh!lishka@rsch.wisc.edu (Christopher Lishka)
Subject: Re: Learning programs wanted [Public Domain preferred]
I would also be interested in any learning programs...maybe someone (I would
be willing) could collect replies and post a listing of NAMES of good
learning programs to comp.ai after everyone has sent in their info. [By
the way, what is this Marvin program?]
--
Chris Lishka /lishka@uwslh.uucp
Wisconsin State Lab of Hygiene <-lishka%uwslh.uucp@rsch.wisc.edu
\{seismo, harvard,topaz,...}!uwvax!uwslh!lishka
------------------------------
Date: Tue, 3 Feb 87 13:07:12 EST
From: "Fred J. Shaw" (IBD) <fshaw@BRL.ARPA>
Subject: expert shell for vax & pc's
In response to your request for an expert system shell that runs
on both unix and pc's. TIMM and TIMM-PC (General Research Corp 703-893-5900,
Mclean Va.) will run on vax and pc respectively. I have used TIMM a little
and am not impressed with it's capablities. I currently use Insight 2+ on
a pc.
Fred
------------------------------
Date: 3 Feb 87 11:31 PST
From: Ghenis.pasa@Xerox.COM
Subject: Re: OPS5 for 4.2BSD?
The Franz and Common Lisp versions of the OPS-5 source code are
available on CompuServe from the AI Expert Data Library. Some sample
programs are posted there as well.
Pablo Ghenis
Xerox Artificial Intelligence Systems
Educational Services
------------------------------
Date: 29-JAN-1987
From: CVNET%YORKVM1.BITNET@WISCVM.WISC.EDU
Subject: COLOR & VISION NETWORK
Forwarded from the Neuron Digest.]
COLOR AND VISION NETWORK
The Color and Vision Network is for scientists working in color and
vision research. At present the Network has three major activities.
1. Members' E-mail addresses are maintained and sent to all
those in the Network.
2. A key word list that associates scientists and their
interests within the areas of color and vision is
maintained and distributed.
3. Any person in the Network can have a bulletin,
announcement, etc, sent to all other people in the
Network.
Scientists working in color and/or vision who wish to join should
contact Peter Kaiser at:
cvnet@yorkvm1 or
cvnet%yorkvm1.bitnet@wiscvm.wisc.edu
They will receive the list of E-mail addresses plus a request to provide
key words which represent their interests and experience in color and/or
vision research.
Scientists from Australia, Canada, Germany, Japan, Netherlands,
Sweden, U.K., and the U.S. are in the Network. They come from universities,
research institutes, national laboratories and private industry. The list
is growing daily.
Peter K. Kaiser
York University
4700 Keele St.
North York, Ontario, M3J 1P3
Canada
pkaiser@yorkvm1.bitnet
pkaiser%yorkvm1.bitnet@wiscvm.wisc.edu
------------------------------
Date: 3 Feb 1987 1647-EST
From: Lydia DeFilippo <DEFILIPPO@C.CS.CMU.EDU>
Subject: Seminar - Dynamic Belief Revision System (CMU)
LOGIC COLLOQUIUM (CMU/PITT)
Speaker: Norman Foo and Anand Rao (U. Sydney/ IBM)
Date: Thursday, February 5
Time: 3:30
Place: Wean 5409
Topic: Dynamic belief revision system
We have combined the notions of constructive negation (Gabbay & Sergot),
stratified logic programs (Apt, Blair, & Walker), and the logic of small
changes (Gardenfors, Makinson, & Alchouron) to produce a sound and complete
belief revision system. This was done by separating the object logic from
the meta logic. The object logic turns out to be paraconsistent (Routley &
Priest).
This talk will discuss this work and plans for future extensions. One
extension is to adapt the logic to conceptual graphs and use it as a
back-end for the CONGRESS system. Another extension is to attempt a
graceful merger of finite failure negation with constructive negation.
If anyone would like to have an appointment with them, please contact
me @defilippo or x3063.
------------------------------
Date: 03 Feb 87 1153 PST
From: Vladimir Lifschitz <VAL@SAIL.STANFORD.EDU>
Subject: Seminar - The Synthesis of Dirty Lisp Programs (SU)
Commonsense and Nonmonotonic Reasoning Seminar
THE SYNTHESIS OF DIRTY LISP PROGRAMS
Richard Waldinger
Artificial Intelligence Center
SRI International
Thursday, February 5, 4pm
Bldg. 160, Room 161K
Most work in program synthesis has focused on the
derivation of applicative programs, which return an
output but produce no side effects. In this talk we
turn to the synthesis of imperative programs, which
may alter data structures and produce other side effects
as part of their intended behavior. We concentrate on
"dirty LISP," an imperative LISP with assignment and
destructive list operations (rplaca and rplacd).
We treat dirty LISP with the same deductive approach
we use for the relatively clean applicative programs.
For this purpose, we introduce a new situational
logic, called "dirty-LISP theory." The talk will
emphasize how to represent instructions and specifications
in this theory.
------------------------------
Date: Tue, 3 Feb 1987 15:26 CST
From: AI.KUIPERS@R20.UTEXAS.EDU
Subject: Seminar - Why Software Cannot be Property (UTexas)
"Why Software Cannot Be Property"
Richard Stallman
Free Software Foundation
Friday, February 6, TAY 3.128
tea at 10:30 am
talk at 11:00 am
Richard Stallman is the creator of the Emacs text editor, and of GNU,
a freely distributed, complete software system to replace UNIX. He
was one of the hackers at the MIT Artificial Intelligence Laboratory,
and contributed in many ways to its excellent software environment,
including major portions of the design and implementation of the MIT
Lisp Machine software. The GNU project is inspired by his observations
on the personal, societal, and technical problems that result from
the commercialization of software.
------------------------------
Date: Mon, 2 Feb 87 16:29:11 PST
From: ashutosh%euler.Berkeley.EDU@berkeley.edu (Ashutosh Rege)
Subject: Seminar - Expert Systems in Manufacturing (UCB)
CS 298 Seminar
Expert Systems for Diagnostic and Control in Manufacturing
Prof. Alice M. Agogino
Dept. of Mechanical Engineering, UC Berkeley
608-7 Evans, Tuesday Feb.3, 5 - 6 pm.
Abtract : An architecture for the hierarchical integration of sensors and
diagnostic reasoning in expert systems for automated manufacturing and
process control is described. The system architecture uses influence diagrams
to provide a symbolic representation of the knowledge obtained from experts
with varying degrees of technical proficiency and from diverse domains of
expertise. The symbolic representation also maps to a functional level of
knowledge which can be used by the knowledge acquistion system to obtain a
more detailed numerical level of information from experts , maintenance
records, statistical data bases or sensor signals. The diagnostic
implementation uses probailistic inference to answer questions concerning
possible failures in an automated manufacturing or process system based on
observable sensor readings. A search through the influence diagram network
provides the topological solution or calculation sequence to answer any
such diagnostic query. Once the topological and numerical solution to the
influence diagram has been determined, qualitative and quantitative advice
can be relayed to the controller , operator or diagnostician. A description
of an implementation of such an architecture will be provided.
------------------------------
End of AIList Digest
********************
