Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 164
AIList Digest Thursday, 10 Jul 1986 Volume 4 : Issue 164
Today's Topics:
Seminars - Mathematical Games (SU) &
Discovery of Algorithms from Weak Methods (Rutgers) &
The Koko Connection: Interspecies Communication (PARC) &
Default Theories and Autoepistemic Logic (SRI),
Conference - Expert Systems In Government
----------------------------------------------------------------------
Date: Tue 1 Jul 86 13:14:30-PDT
From: Ilan Vardi <ZURDI@SU-SCORE.ARPA>
Subject: Seminar - Mathematical Games (SU)
[Forwarded from the Stanford bboard by Laws@SRI-AI.]
The first meeting of the games seminar was quite a success
with more than 20 people showing up.I'm hoping this will go on,
so I've decided to lure people with FOOD to compete with various
departmental teas.
The subject this time around will be partizan games, which
are games where opponents have different colours and have
different moves available to them e.g. Go, chess etc.
For people who weren't around last time the subject was
IMPARTIAL games where both layers have the same alternatives.
I showed that all those games can be reduced to one game called
NIM which has a simple strategy explanable in five minutes.
If you want to read up about thursday's talk, just pick up
the copy of Knuth's "Surreal Numbers" that's on reserve at the
Math Library.
Remember that this meeting is at
3:00 p.m. room 381 T Math Department.
Which is a CHANGE OF TIME from last week at 2:15 p.m..
If you have any comments, or want to get directly on a mailing
list, just mail your answer here at zurdi@score.
Have a nice day!
Ilan Vardi
------------------------------
Date: 2 Jul 86 15:28:41 EDT
From: Tom Fawcett <FAWCETT@RED.RUTGERS.EDU>
Subject: Seminar - Discovery of Algorithms from Weak Methods (Rutgers)
DISCOVERY OF ALGORITHMS
FROM WEAK METHODS
Armand E. Prieditis
Weak problem-solving methods (e.g. means-ends analysis, breadth-
first search, best-first search) all involve a search for some sequence
of operators that will lead from an initial state to a goal state.
This paper shows how it is possible to learn operators whose bodies
contain algorithmic control constructs (e.g. loops, sequences,
conditionals) such that the control construct itself applies the
sequence needed to lead from the initial state to a goal state without
a search for the sequence. By using explanation-based generalization
[EBG] and an explicit theory of algorithms, the method learns
operators (whose bodies contain algorithmic control constructs) that
represent logically valid generalizations of the solution sequence.
Where: Hill Center, Room 423
When: Tuesday, July 15th
Speaker's EMail address: PRIEDITIS@RED.RUTGERS.EDU
------------------------------
Date: Mon, 7 Jul 86 10:36:11 PDT
From: Hibbert.pa@Xerox.COM
Reply-to: hibbert.pa@Xerox.COM
Subject: Seminar - The Koko Connection: Interspecies Communication (PARC)
PARC Forum
Thursday, July 10, 1986
3:45PM, PARC Auditorium
Mitzi Phillips
Research Assistant and Lecturer,
The Gorilla Foundation
For 13 years the Gorilla Foundation has been dedicated to teaching
American Sign langualtge to Koko, a 250-lb Lowland Gorilla. This talk
shares the advances made in the field of interspecies communication.
Through sharing personal experiences with Koko we will explore the
valuable information learned about animal intelligence.
This Forum is OPEN. All are invited.
Host: Chris Hibbert (System Concepts Lab, 494-4382)
Refreshments will be served at 3:30 pm
Requests for videotaping should be sent to Susie Mulhern
<Mulhern:PA:Xerox or Mulhern.pa@Xerox.Com> before Tuesday noon.
Directions to PARC:
The PARC Auditorum is located at 3333 Coyote Hill Rd. in Palo Alto. We
are between Page Mill Road (west of Foothill Expressway) and Hillview
Avenue, in the Stanford Research Park. The easiest way here is to get
onto Page Mill Road, and turn onto Coyote Hill Road. As you drive up
Coyote Hill, PARC is the only building on the left after you crest the
hill. Park in the large parking lot, and enter the auditorium at the
upper level of the building. (The auditorum entrance is located down
the stairs and to the left of the main doors.)
------------------------------
Date: Wed 9 Jul 86 13:08:44-PDT
From: Margaret Olender <OLENDER@SRI-WARBUCKS.ARPA>
Subject: Seminar - Default Theories and Autoepistemic Logic (SRI)
ON THE RELATION BETWEEN DEFAULT THEORIES AND AUTOEPISTEMIC LOGIC
Kurt Konolige (KONOLIGE@SRI-AI)
Artificial Intelligence Center
SRI International
and
CSLI, Stanford University
11:00 AM, MONDAY, July 14
SRI International, Building E, Room EK228
Default theories are a formal means of reasoning about defaults: what
normally is the case, in the absence of contradicting information.
Autoepistemic theories, on the other hand, are meant to describe the
consequences of reasoning about ignorance: what must be true if a
certain fact is not known. Although the motivation and formal
character of these systems are different, a closer analysis shows that
they bear a common trait, which is the indexical nature of certain
elements in the theory. In this paper we treat both autoepistemic and
default theories as special cases of a more general indexical theory.
The benefits of this analysis are that it gives a clear (and clearly
intuitive) semantics to default theories, and combines the expressive
power of default and autoepistemic logics in a single framework.
VISITORS: Please arrive 5 minutes early so that you can be escorted up
from the E-building receptionist's desk. Thanks!
------------------------------
Date: Wed, 2 Jul 86 10:30:06 edt
From: camis..duke@mitre.ARPA
Subject: Conference - Expert Systems In Government
The Second Annual Expert Systems in Government Conference, sponsored by
the Mitre Corporation and the IEEE Computer Society in association with
the AIAA National Capital Section will be held October 20-24, 1986 at
the Tyson's Westpark Hotel in McLean, VA. The tentative program, subject
to changes and additions, is as follows:
October 20-21 Tutorials
Monday, October 20
Full Day Tutorial: Advanced Topics in Expert Systems
by Kamran Parsaye, IntelligenceWare, Inc.
Morning Tutorial: Knowledge Base Design for Rule Based Expert Systems
by Casimir Kulikowski, Rutgers University
Afternoon Tutorial: Knowledge Base Acquisition and Refinement
by Casimir Kulikowski, Rutgers University
Tuesday, October 21
Morning Tutorial: Distributed Artificial Intelligence
by Kamal Karna,
Computer Communications & Graphics Associates, Inc.
and
Barry Silverman, George Washington University
Morning Tutorial: Introduction to Common Lisp
by Carl Hewitt, MIT AI Lab
Afternoon Tutorial: Lisp for Advanced Users
by Carl Hewitt, MIT AI Lab
Afternoon Tutorial: The Management of Expert System Development
by Nancy Martin, Softpert Systems
October 22-24 Technical Program
Wednesday, October 22
9 - 10:30
Conference Chairman's Welcome
Keynote Address: Douglas Lenat, MCC
Program Agenda
11am - 12pm
Track A: Military Applications I
Bonasso, Benoit, et al.;
An Experiment in Cooperating Expert Systems for Command and Control
Major R. Bahnij, Major S. Cross;
A Fighter Pilot's Intelligent Aide for Tactical Mission Planning
G. Loberg, G. Powell
Acquiring Expertise in Operational Planning: A Beginning
Track B: Systems Engineering
R. Entner, D. Tosh; Expert Systems Architecture for Battle Management
H. Hertz; An Attribute Referenced Production System
B. Silverman; Facility Advisor: A Distributed Expert System Testbed for
Spacecraft Ground Facilities
12pm - 1pm Lunch, Distinguished Guest Address, The Honorable Charles Rose
1pm - 2:30pm
Track A: Knowledge Acquisition I
J. Boose, J. Bradshaw; NeoETS: Capturing Expert System Knowledge
K. Kitto, J. Boose; Heuristics for Expertise Transfer
M. Chignell; The Use of Ranking and Scaling in Knowledge Acquisition
Track B: Expert Systems in the Nuclear Industry
D. Sebo et al.; An Expert System for USNRC Emergency Response
D. Corsberg; An Object-Oriented Alarm Filtering System
J. Jenkins, W. Nelson; Expert Systems and Accident Management
3pm - 5pm
Track A: Expert Systems Applications I
R. Tong, et al.; An Object-Oriented System for Information Retrieval
D. Niyogi, S. Srihari; A Knowledge-based System for Document Understanding
R. France, E. Fox; Knowledge Representation in Coder
Track B: Diagnosis and Fault Analysis
M. Taie, S. Srihari; Device Modeling for Fault Diagnosis
Z. Xiang, S. Srihari; Diagnosis Using Multi-level Reasoning
B. Dixon; A Lisp-Based Fault Tree Development Environment
Panel Track:
1pm - 5pm Management of Uncertainty in Expert Systems
Chair: Ronald Yager, IONA College
Participants: Lofte Zadeh, UC Berkeley
Piero Bonissone, G.E.
Laveen Kanal, University of Maryland
Thursday, October 23
9am - 10:30am
Track A: Parallel Architectures
L. Sokol, D. Briscoe; Object-Oriented Simulation on a
Shared Memory Parallel Architecture
H. Sowizral; A Basis for Distributed Blackboards
J. Gilmer; Parallelism Issues in the CORBAN C2I Representation
Track B: Aerospace Applications of Expert Systems
J. Popolizio, J. Feinstein; Space Station Security: An Expert Systems Approach
D. Zoch; A Real-time Production System for Telemetry Analysis
J. Schuetzle; A Mission Operations Planning Assistant
P. Roach, D. Brauer; Ada Knowledge Based Systems
F. Rook, T. Rubin; An Expert System for Conducting a
Sattelite Stationkeeping Maneuver
Panel Track: Star Wars and AI; Chair: John Quilty, Mitre Corp.
11am - 12pm
Plenary Address:
B. Chandrasekaran; The Future of Knowledge Acquisition
12pm - 1pm Lunch
1pm - 2:30pm
Track A: Inexact and Statistical Measures
K. Lecot; Logic Programs with Uncertainties
N. Lee; Fuzzy Inference Engines in Prolog/P-Shell
J. Blumberg; Statistical Entropy as a Measure of Diagnostic Uncertainty
Track B: High Level Tools for Expert Systems
S. Shum, J.Davis; Use of CSRL for Diagnostic Expert Systems
E. Dudzinski, J. Brink; CSRL: From Laboratory to Industry
D. Herman, J. Josephson, R. Hartung; Use of the DSPL
for the Design of a Mission Planning Assistant
J. Josephson, B. Punch, M. Tanner; PEIRCE: Design Considerations
for a Tool for Abductive Assembly for Best Explanation
Panel Track: Application of AI in Telecommunications
Chair: Shri Goyal, GTE Labs
Participants: Susan Conary, Clarkson University
Richard Gilbert, IBM Watson Research Center
Raymond Hanson, Telenet Communications
Edward Walker, BBN
Richard Wolfe, ATT Bell Labs
3pm - 5pm
Track A: Expert System Implementations
S. Post; Simultaneous Evaluation of Rules to Find Most Likely Solutions
L. Fu; An Implementation of an Expert System that Learns
R. Frail, R. Freedman; OPGEN Revisited
Track B: Expert System Applications II
R. Holt; An Expert System for Finite Element Modeling
A. Courtemanche; A Rule-based System for Sonar Data Analysis
F. Merrem; A Weather Forecasting Expert System
R. Ahad, A. Basu; Explanation in an Expert System
W. Vera, R. Bozolcz; AI Techniques Applied to Claims Processing
Panel Track: Command and Control Expert Systems
Chair: Andrew Sage, George Mason University
Participants: Peter Bonasso, Mitre
Stephen Andriole, International Information Systems
Paul Lehner, PAR
Leonard Adelman, PAR
Walter Beam, George Mason University
Jude Franklin, PRC
Friday, October 24
9am - 12pm: Classified Track
Classified Working Session: The community building expert systems for
classified applications is unsure of the value and feasibility of some
form of communication within the community. This will be a session
consisting of discussions and working sessions, as appropriate, to
explore these issues in some depth for the first time, and to make
recommendations for future directions for the classified community.
9am - 10:30am
Track A: Military Applications
K. Michels, J. Burger; Missile and Space Mission Determination
J. Baylog; An Intelligent System for Underwater Tracking
J. Neal et al.; An Expert Advisor on Tactical Support Jammer Configuration
Track B: Expert Systems in the Software Lifecycle
D. Rolston; An Expert System for Reducing Software Maintenance Costs
M. Rousseau, M. Kutzik; A Software Acquisition Consultant
R. Hobbs, P. Gorman; Extraction of Data System Requirements
Panel Track: Next Generation Expert System Shells
Chair: Art Murray, George Washington University
Participants: Joseph Fox, Software A&E
Barry Silverman, George Washington University
Lee Erman, Teknowledge
Chuck Williams, Inference
John Lewis, Martin Marietta Research Labs
11am - 12pm
Track A: Spacecraft Applications
D. Rosenthal; Transformation of Scientific Objectives
into Spacecraft Activities
M. Hamilton et al.; A Spacecraft Control Anomaly Resolution Expert System
Track B: Knowledge Acquistion and Applications
E. Tello; DIPOLE - An Integrated AI Architecture
H. Chung; Experimental Evaluation of Knowledge Acquisition Methods
Panel Track: Government Funding of Expert Systems
Chair: Commander Allen Sears, DARPA
Conference Chairman: Kamal Karna
Unclassified Program Chairman: Kamran Parsaye
Classified Program Chairman: Richard Martin
Panels Chairman: Barry Silverman
Tutorials Chairman: Steven Oxman
Registration information can be requested from
IEEE Computer Society
Administrative Office
1730 Massachusetts Ave. N.W.
Washington, D.C. 20036-1903
(202) 371-0101
------------------------------
End of AIList Digest
********************
