Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 092
AIList Digest Wednesday, 16 Apr 1986 Volume 4 : Issue 92
Today's Topics:
Query - KEE Experiences,
Seminars - Cortical Activity for Conscious Sensory Experience (UCB) &
Inexact Reasoning Using Graphs (UTexas) &
Prolog: Application to Design Verification (SU) &
An Application of Machine Self-Reflection (SUNY-Buffalo),
Conferences - ACL Annual Meeting &
II Finish AI Symposium (STeP 86)
----------------------------------------------------------------------
Date: Mon, 14 Apr 86 10:04:34 est
From: jcm@ORNL-MSR.ARPA (James A. Mullens)
Subject: KEE experiences
(Posted for a friend)
As part of a class in expert systems at the University of Tennessee
I am preparing a report on KEE. I thought it would be interesting to
include the reactions/experience of the users of KEE. Any comments
would be greatly appreciated.
I also have a more practical interest in any response I might get
because the Dept. of Nuclear Eng., recently purchased KEE.
You can respond privately to jcm@ornl-msr.arpa if you wish. The
report will be available to the network. Contributors will be
identified unless they request otherwise.
Thanks in advance,
Ray Brittain
------------------------------
Date: Mon, 14 Apr 86 14:58:30 PST
From: admin%cogsci@berkeley.edu (Cognitive Science Program)
Subject: Seminar - Cortical Activity for Conscious Sensory Experience (UCB)
BERKELEY COGNITIVE SCIENCE PROGRAM
Spring 1986
Cognitive Science Seminar - IDS 237B
Tuesday, April 22, 11:00 - 12:30
2515 Tolman Hall
Discussion: 12:30 - 1:30
3105 Tolman (Beach Room)
``Cortical activity required for a conscious sensory experience,
with cognitive implications''
Benjamin Libet
Physiology, UC San Francisco
Abstract
Experiments involving direct electrical stimulation and
recordings in the cerebral somatosensory system of awake human
patients have indicated that a substantial period of activity
(up to 500 msec+/-) is required to elicit a sensory experience.
More indirect evidence supports this requirement for brief
peripheral inputs as well. However, subjective timing of the
experience is "antedated" back to the time of the initial
fast-arriving signal. This hypothesis of "neuronal delay plus
subjective antedating" for a conscious sensory experience has
important implications for the processing of conscious and
unconscious sensory functions.
------------------------------
Date: Mon, 14 Apr 86 19:04:08 cst
From: kumar@SALLY.UTEXAS.EDU (Vipin Kumar)
Subject: Seminar - Inexact Reasoning Using Graphs (UTexas)
University of Texas
Computer Sciences Department
COLLOQUIUM
SPEAKER: Judea Pearl
University of California, Los Angeles
TITLE: Inexact Reasoning Using Graphs
DATE: Thursday, April 17, 1986
PLACE: WEL 3.502
TIME: 4:00-5:00 p.m.
In order to meet requirements of modularity, transparency
and flexibility, the designers of 1st-generation expert systems
have abandoned traditional probability theory and have ventured
to devise new formalisms for managing uncertainties. The talk
will describe a message-passing scheme in propositional networks
which, using traditional probability theory, fulfills these ob-
jectives of experts systems technology.
The first part of the talk will stress the relationship
between TRANSPARENCY and reasoning with GRAPHS. We will examine
what kind of inferential dependencies are representable by
graphs, and will compare the properties of two such representa-
tions: Markov Networks and Bayes Networks.
The second part will describe a distributed scheme for
coherently propagating beliefs in Bayes Networks. It facilitates
flexible control strategies and sound explanations, it supports
both predictive and diagnostic inferences, and it is guaranteed
(in sparse graphs) to converge in time proportional to the
network's diameter.
COFFEE AT 3:30 in TAY 3.128
------------------------------
Date: Mon 14 Apr 86 19:31:12-PST
From: Christine Pasley <pasley@SRI-KL>
Subject: Seminar - Prolog: Application to Design Verification (SU)
CS529 - AI In Design & Manufacturing
Instructor: Dr. J. M. Tenenbaum
Title: Prolog: Application to Design Verification
Speaker: Harry G. Barrow
From: Schlumberger Palo Alto Research
Date: Wednesday, April 16, 1986
Time: 4:00 - 5:30
Place: Terman 556
PROLOG is a programming language based upon predicate logic. It was
developed in Europe, where it is widely used, and subsequently adopted
in Japan as a basis for much of the "Fifth Generation" research and
development.
At SPAR, we have been developing a program called VERIFY, written in
PROLOG, that attempts to prove correctness of digital hardware designs.
VERIFY first derives a description of the behavior of the whole design
from the behavior of its components and the way they are
interconnected. The derived behavior description is then shown to be
equivalent (or not) to the intended behavior given in a specification.
VERIFY has successfully verified large designs involving many thousands
of transistors in just ten minutes.
Visitors welcome!
------------------------------
Date: Mon, 14 Apr 86 16:32:25 EST
From: "William J. Rapaport" <rapaport%buffalo.csnet@CSNET-RELAY.ARPA>
Subject: Seminar - An Application of Machine Self-Reflection (SUNY-Buffalo)
UNIVERSITY AT BUFFALO
STATE UNIVERSITY OF NEW YORK
DEPARTMENT OF
COMPUTER SCIENCE
COLLOQUIUM
JOHN CASE
Department of Computer Science
University at Buffalo
ANSWERING THE MATHEMATICAL OBJECTION TO MACHINE INTELLIGENCE:
AN APPLICATION OF MACHINE SELF-REFLECTION
We briefly consider the standard paradox in the notion of a
machine ``having'' a complete model of itself and show how
to circumvent it. Then we pictorially present a simple
theoretical application of machine self-reflection and use
this application as a vehicle to illustrate what Turing
called the mathematical objection to machine intelligence.
Lastly, we employ machine self-reflection to completely
answer this objection.
Thursday, April 17, 1986
4:00 P.M.
Bell 338, Amherst Campus
Coffee and doughnuts will be served at 3:30 P.M., 224 Bell Hall
For further information, call (716) 636-3181.
------------------------------
Date: Tue, 15 Apr 86 21:24:04 est
From: walker@mouton.bellcore.com (Don Walker at mouton.bellcore.com)
Subject: Conference - ACL Annual Meeting
ACL Annual Meeting, 10-13 June, Columbia University, New York City
The Program and Registration Information brochure is just being mailed
to all ACL members and to selected members of AAAI and LSA. If you are
not sure you will be receiving it and would like a net copy, send a
message to one of the addresses below; and I will (try to--even
electronic mail is not always reliable) send you one. Please include
the phrase "ACL net info" in the subject line. And include the
full net address in the body of the message; the complexity of
network connections coupled with the poverty of our mail system
sometimes makes "replies" unsendable.
The file has about 20,000 characters; it contains the full program
(33 papers; an invited presentation by Gary Hendrix; two forums, one
on Connectionism with Terry Sejnowski and Dave Waltz, the other
on Machine Translation with Martin Kay and Maghi King);
descriptions of the 6 tutorials (Intro to Computational Linguistics,
Natural Language Generation, Structuring the Lexicon, Recent
Developments in Syntactic Theory and Their Computational Import,
Current Approaches to Natural Language Semantics, and Machine
Translation--all held on 10 June); registration information and
directions; and an Application Form that can be printed out,
filled in (or filled in, printed out), and mailed in. Inexpensive
air-conditioned dormitory accommodations are available, and some
good rates for hotels have been secured. We are still encouraging
people who would like to exhibit or demonstrate programs to contact
Ralph Grishman (Computer Science, New York University, 251 Mercer
Street, New York, NY 10012; 212:460-7492; grishman@nyu.arpa).
Don Walker
walker@mouton.arpa
walker%mouton@csnet-relay
{ucbvax, ihnp4, ...}!bellcore!walker
address mail to:
Donald E. Walker (ACL)
Bell Communications Research
445 South Street, MRE 2A379
Morristown, NJ 07960, USA
201:829-4312
ACL Annual Meeting, 10-13 June 1986, Columbia University, New York City
------------------------------
Date: Tue, 15 Apr 86 17:16:37 -0200
From: mit%hut.UUCP%fingate.bitnet@WISCVM.WISC.EDU (Markku Tamminen)
Subject: Conference - II Finish AI Symposium (STeP 86)
CALL FOR PAPERS
Deadline May 30
STeP 86 - II Finnish Artificial Intelligence Symposium
Helsinki University of Technology, Otaniemi, Espoo, Finland
August 20-22, 1986
The Second Finnish Artificial Intelligence Symposium will be or-
ganized by the Finnish Society of Information Processing Science
and the Helsinki University of Technology.
The Symposium is to provide an overview of the research and
development that has taken place since STeP 84. Papers are re-
quested on all aspects of artificial intelligence. The contribu-
tions will be published as the STeP 86 Proceedings and distribut-
ed to particiants of the symposium.
Please send an abstract (no longer than one page) by May 30. The
program committee will inform you about its decicions by June 15.
Final camera-ready copy of papers corresponding to 30 minute
talks will be required by July 31. The formatting conventions
will be sent separately to authors.
Tutorials will be held at the start of the symposium, and propo-
sals for them are also solicited.
Signed
Markku Syrjaenen Jouko Seppaenen
Head of Program Committee Head of Organizing Committee
Please use one of the following adresses for submitting the
abstract, and for any queries:
BITNET, EARNET: mit%hut.uucp@fingate
ARPANET: mit%hut.uucp%fingate.bitnet%cernvax.bitnet@wiscvm.wisc.edu
Please use uucp only if the above nets not available:
{seismo!mcvax, enea!tut}!penet!hut
Non-electronic mail:
STeP 86
c/o Jouko Seppaenen
Computing Centre
Helsinki University of Technology
SF-02150 Espoo 15
Finland
APPENDIX
Examples of topics suited for papers:
- Theoretical foundations - Expert systems
- Knowledge representation - Tools of knowledge engineering
- Problem solving methods - Languages (Lisp, Prolog etc.)
- Searching and planning - Programming techniques
- Logic programming - AI workstations, environments etc.
- Pattern recognition, vision - Industrial applications, robotics etc
- Natural language, speech - Applications to management
- Cognitive modeling - Applications to education
- Knowledge acquisition, learning - AI and arts
Markku Tamminen
Helsinki University of Technology
Laboratory of Information Processing Science
02150 ESPOO 15
FINLAND
Tel: 358-0-4512020 (460144)
ARPANET: mit%hut.uucp%fingate.bitnet%cernvax.bitnet@wiscvm.wisc.edu
BITNET: mit%hut.uucp@fingate
------------------------------
End of AIList Digest
********************
