Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 041
AIList Digest Friday, 13 Feb 1987 Volume 5 : Issue 41
Today's Topics:
Seminars - Large Optical Expert Systems (CMU) &
Knowledge Acquisition in Magnetic Resonance Imaging (CMU) &
Methods for treating Uncertainty in AI (CMU) &
The PRL Mathematics Environment (CMU),
Conference - IEEE Conference on Neural Nets: Student Special &
2nd Conference on Artificial Intelligence and Sea &
European Conference on AI in Medicine
----------------------------------------------------------------------
Date: 10 Feb 87 16:49:48 EST
From: Patty.Hodgson@isl1.ri.cmu.edu
Subject: Seminar - Large Optical Expert Systems (CMU)
SPECIAL SEMINAR
TOPIC: Large Optical Expert Systems
SPEAKER: Dr. Alastair D. McAulay
Wright State University
Department of Computer Science
DATE: Thursday, February 12
TIME: 10:30 am
PLACE: Doherty Hall 3313, CMU
ABSTRACT:
Fast expert systems are required in such areas as plant diagnosis, and
robotics. The advantages of optics over electronics for such systems are
discussed and include: massively parallel logic and pattern matching,
and global communications and search. New computer architectures are required
to efficiently utilize fast 2-D optical spatial light modulators in
development.
A proposed real-time optical recursive probabilistic expert system is
described. Conventionally, matching in optics is performed in an
analog manner. An alternative digital symbolic substitution approach
is described for matching and variable instantiation in logic programming
languages.
*************************************************************************
Alastair holds a PhD from Carnegie Mellon University, and M.A. and
B.A. degrees with honors from Cambridge University.
He is NCR Distinguished Professor in the Department of Computer Science at
Wright State University. He has numerous publications involving optical
computing, scientific computation, signal processing, and parallel
computation.
Previously, for the past eight years, he was Program Manager and Principal
Investigator in the Corporate Computer Science Laboratory at Texas
Instruments for a DARPA/ONR optical computing contract. He is a Senior
member of IEEE and a member of SPIE and SEG. He founded the Dallas IEEE
Computer Society and was Chairman of the Dallas Section.
*****************************************************************************
If you are interested in an appointment with Dr. McAulay contact
Patty at 8818 or send mail pah@d.
------------------------------
Date: 10 Feb 87 18:58:05 EST
From: Steven.Minton@k.cs.cmu.edu
Subject: Seminar - Knowledge Acquisition in Magnetic Resonance
Imaging (CMU)
This week's speaker in the Grad AI Seminar is Mark Perlin.
(The seminar is held weekly in 7220 Wean, at 3:15 on Fridays.)
Mark is going to be describing work that he recently wrote up
for a AAAI paper. Here's the title and abstract from the paper:
Title: Knowledge Acquisition in Magnetic Resonance Imaging
We have been observing and analyzing expert problem solving behavior
in the magnetic resonance imaging (MRI) domain for over a year.
Our methodology has included the collection and analysis of
verbal transcripts and computer-assisted protocols. Our version of
protocol analysis, which incorporates detailed followup interviewing,
proved useful in the formulation of an effective computer procedure
for the domain task. We will outline the approach, with numerous
domain examples, and discuss what we learned. The key points are:
-- the effectiveness of protocol analysis
-- the usefulness of our expert's mental pictures
-- the elucidation of domain independent heuristics.
------------------------------
Date: 10 Feb 1987 2020-EST
From: David A. Evans <DAE@C.CS.CMU.EDU>
Subject: Seminar - Methods for treating Uncertainty in AI (CMU)
Artificial Intelligence in Medicine (AIM) Seminar
Friday, February 13, 1987
1:30-4:00 PM
Wean 8220
"Comparing Methods for Treating Uncertainty in AI"
Max Henrion
Engineering and Public Policy
Carnegie Mellon University
As schemes for representing uncertainty in expert systems proliferate, the
debate about their relative merits and drawbacks is heating up. Current
contenders include Mycin's Certainty Factors, the Prospector scheme, Fuzzy
Logic, Dempster-Shafer Theory, qualitative/verbal approaches, and a variety
of coherent probabilistic schemes, including Bayesian belief nets, influence
diagrams, and Maximum Entropy approaches. I will discuss various criteria
for comparing them, including epistemological (do they represent what we mean
by "uncertainty"?), heuristic (Are they computationally practical? Are they
"good enough"?), and transductional (Can you easily encode human judgment and
can you explain the results?). I will examine treatment of dependent
evidence, causal and diagnostic reasoning, with simple medical examples. I
will also describe a recent experiment comparing knowledge engineering for a
rule-based expert system with a decision analysis/Bayes' net approach to the
same task.
Papers available from Max Henrion (maxh@Andrew)
------------------------------
Date: 11 Feb 87 10:30:03 EST
From: Theona.Stefanis@g.cs.cmu.edu
Subject: Seminar - The PRL Mathematics Environment (CMU)
PS SEMINAR
MONDAY, 16 February
WeH 5409
3:30
The PRL Mathematics Environment:
A Knowledge Based Medium
Joseph Bates
Cornell University
A computer system, NuPRL, has been developed at Cornell over the last
six years to serve as a dynamic electronic medium for mathematicians.
Users of the system interactively create libraries of terminology,
proofs, and ways of reasoning that constitute particular areas of
mathematics. The system assists in creating these libraries, validates
them, and extracts executable programs from proofs that implicitly
describe computation methods. This behavior is not lost as the
mathematics becomes increasingly abstract.
NuPRL libraries have been developed for parts of number theory, real
analysis, a theory of concurrency, automata theory, and several other
areas. The system has been distributed to a dozen research groups and
is being used at the University of Edinburgh as the foundation for
their next generation mathematics environment.
Much of the NuPRL architecture does not depend on the domain being
mathematics. This observation together with experience using NuPRL has
led us to begin designing a framework for providing active media in a
variety of domains. After presenting the NuPRL architecture we
will discuss what we have learned and then describe MetaPrl, our new
framework for "knowledge based media".
-------
To schedule an appointment with Joseph Bates, contact Becky Alden
at X3772 or send mail to alden@gnome.
------------------------------
Date: Wed, 11 Feb 87 16:27 EDT
From: MIKE%BUCASA.BITNET@wiscvm.wisc.edu
Subject: Conference - IEEE Conference on Neural Nets: Student Special
Student Special!
IEEE First Annual Conference on Neural Networks, San Diego,
June 21-24, 1987
San Diego, California
Undergraduate and graduate student registration fee is $50.00.
This includes attendance at all scientific sessions and social
occasions. A valid university ID and picture ID must be
presented at the meeting.
Send registration fee to:
Maureen Caudill
IEEE - ICNN
10615G Tierrasanta Blvd.
Suite 346
San Diego, California 92124
For further information call her at the telephone number listed
below.
Telephone: (619) 457-5550, ext. 221
------------------------------
Date: 12 Feb 1987 18:17:44 EST
From: Herve.Lambert@PS3.CS.CMU.EDU
Subject: Conference - 2nd Conference on Artificial Intelligence and
Sea
Please POST
2nd INTERNATIONAL CONFERENCE ON
ARTIFICIAL INTELLLIGENCE AND SEA
___________
Marseilles (France), June 18-19, 1987
Sponsored by: International Institute of Robotics and Artificial Intelligence
Organization:
Viviane Bernadac Phone: 33 91 91 36 72
IIRIAM/CMCI Telefax:33 91 91 70 24
2 rue Henri Barbusse Telex: MISTEL 440 860 F
13241 Marseille Cedex 1
FRANCE
Objectives:
The objectives of this second ORIA conference are to show, through real
applications, that actual developments in Artificial Intelligence and
especially in the area of expert systems are out of laboratories. They are now
in the industrial world, particularly in the sea linked business, such as:
offshore, shipbuilding, fishing, harbours installations,...
Communications on the state of the art and different tools available will be
followed by conferences on the present applications.
An exhibition of industrial products and prototypes involved in hardware and
software will be at hand.
CALL FOR PAPERS
Authors are invited to contribute papers on applications in:
- Offshore Process Control (platforms, ships, drilling semi-subs,
harbour installations, ...)
- Underwater Robotics (mobile robots, UMC, subsea stations,...)
- CAD and naval building (ships, platforms, piping,...)
Deadline: February 28th
Instructions to authors: Send 4 copies of the paper (up to 15 pages) to
Viviane Bernadac, IIRIAM/CMCI (address mentionned above) :
1st page:
Title of the paper
Name of Authors
Addresses
Telephone, telex and telefax numbers
Abstract (15 lines)
------------------------------
Date: 12 Feb 1987 20:17:29 EST
From: Herve.Lambert@PS3.CS.CMU.EDU
Subject: Conference - European Conference on AI in medicine
Please POST
EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE IN MEDICINE
_______________
Marseilles (France), August 31st - September 3rd 1987
Following proposals at the International Conference on Artificial
Intelligence in Medicine, Pavia, November 1985 the European Society for
Artificial Intelligence in Medicine (AIME) has been established to foster
fundamental and applied research in artificial intelligence and symbolic
information processing techniques for medical care and medical research.
AIME also wishes to assist industry in identifying high quality medical
products which exploit these techniques.
A major AIME activity will be a biannual series of intenational conferences,
the next of which will be in Marseilles, France, following the International
Conference on Artificial Intelligence in Milan, August 1987.
CALL FOR PAPERS
______
Papers are invited on any aspect of the theory, design or application of
medical AI systems. Submissions will be refereed by an international panel on
the basis of complete but succinct papers. These should be in English, length
2000 - 4000 words. Criteria for acceptance will include originality,
practical significance, contribution to theory of bmethodology and clarity of
presentation. Submissions for a poster session are also invited; these should
be a maximum of 500 words or one A4 page. The conference proceedings of
papers and poster summaries will be available at the conference.
DEADLINES
- April 1st, 1987 Final date for receipt of full short paper camera
ready.
- May 15th, 1987 Notifications of acceptance of papers distribution of
the Preliminary Program.
- July 1st, 1987 Register for reduced registration fee until now.
ADDRESS
Viviane Bernadac - AIME 87
IIRIAM
2 rue Henri Barbusse
13241 Marseille Cedex 1
FRANCE
------------------------------
End of AIList Digest
********************
