Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 167
AIList Digest Monday, 6 Jul 1987 Volume 5 : Issue 167
Today's Topics:
Seminars - Planning Actions with Context-Dependent Effects (SRI) &
Automated Process Planning using Abstraction (CMU),
Conference - SLUG '87 Reminder &
Simulation and AI &
Expert Systems in the ADP Environment
----------------------------------------------------------------------
Date: Tue, 30 Jun 87 11:52:11 PDT
From: Amy Lansky <lansky@venice.ai.sri.com>
Subject: Seminar - Planning Actions with Context-Dependent Effects (SRI)
SYNTHESIZING PLANS THAT CONTAIN ACTIONS
WITH CONTEXT-DEPENDENT EFFECTS
Edwin P.D. Pednault (VAX135!EPDP@UCBVAX.BERKELEY.EDU)
Knowledge Systems Research Department
AT&T Bell Laboratories
Crawfords Corner Road
Holmdel, NJ 07733
11:00 AM, MONDAY, July 6
SRI International, Building E, Room EJ228
In this talk, I will present an approach to solving planning problems
that involve actions whose effects depend on the state of the world at
the time the actions are performed. To solve such problems, the idea
of a secondary precondition is introduced. A secondary precondition
for an action is a condition that must be true at the time the action
is performed for the action to have its desired effect. By imposing
the appropriate secondary precondition as an additional precondition
to an action, we can coerce that action to preserve a desired
condition or to cause a desired condition to become true. I will
demonstrate the use of secondary preconditions and show how they can
be derived from the specification of a planning problem in a
completely general and domain-independent fashion.
VISITORS: Please arrive 5 minutes early so that you can be escorted up
from the E-building receptionist's desk. Thanks!
------------------------------
Date: 30 Jun 87 12:21:51 EDT
From: Marcella.Zaragoza@isl1.ri.cmu.edu
Subject: Seminar - Automated Process Planning using Abstraction (CMU)
SPECIAL SEMINAR
TOPIC: AUTOMATED PROCESS PLANNING USING HIERARCHICAL ABSTRACTION *
WHO: Dana S. Nau
Computer Science Department and Institute for
Advanced Computer Studies, University of Maryland, and
Factory Automation Systems Division, National Bureau of Standards
WHEN: Monday, July 6, 10:00-11:30 a.m.
WHERE: WeH 4623
ABSTRACT
SIPS is a system which uses AI techniques to decide what machining
operations to use in the creation of metal parts. SIPS generates its
plans completely from scratch, using the specification of the part to be
produced and knowledge about the intrinsic capabilities of each
manufacturing operation.
Rather than using a rule-based approach to knowledge representation,
SIPS uses a hierarchical abstraction technique called hierarchical knowledge
clustering. Problem-solving knowledge is organized in a taxonomic hierarchy
using frames, and problem solving is done using an adaptation of Branch and
Bound.
The development of SIPS was done with two long-term goals in mind:
the use of AI techniques to develop a practical generative process planning
system, and the investigation of fundamental AI issues in representing and
reasoning about three-dimensional objects. SIPS represents an important
step toward these goals, and a number of extensions and enhancements to SIPS
are either underway or planned. SIPS is currently being integrated into the
Automated Manufacturing Research Facility (AMRF) project at the National
Bureau of Standards.
* This work has been supported in part by the following sources: an NSF
Presidential Young Investigator Award to Dana Nau, NSF Grant NSFD
CDR-85-00108 to the University of Maryland Systems Research Center, IBM
Research, General Motors Research Laboratories, and Martin Marietta
Laboratories.
------------------------------
Date: Sat, 27 Jun 1987 14:13 CDT
From: CS.PURVIS@R20.UTEXAS.EDU
Subject: Conference - SLUG '87 Reminder
This is a reminder that the national meeting of the
Symbolics Lisp Users Group
will be held in Seattle, July 6-10th. You may register in advance by
calling the University of Washington at (206) 543-2300.
The conference schedule is listed below. Note particularly the panel
discussions on Thursday and Friday that will examine available
alternatives to the Symbolics Lisp development environment
architecture and consider what trade-offs are involved.
This is THE Lisp machine conference. Don't miss it!
SLUG '87 Schedule
July 6-10, 1987 - Seattle, Washington
MONDAY -- (tutorials)
8:00
Registration desk opens
9:00 to 12:30
* AI Program Design
* Overview of Site Administration
* Color Graphics I
2:00 to 5:30
* AI Program Design (cont'd)
* Overview of Site Administration (cont'd)
* Color Graphics II
* Color Graphics III
TUESDAY -- (tutorials)
8:00
Registration desk opens
9:00 to 12:30
* Programming Productivity I
* Introduction to ART
* Building Knowledge System Interfaces
2:00 to 5:30
* Programming Productivity II
* Introduction to ART (cont'd)
7:00 - 9:00
Reception
WEDNESDAY -- (conference sessions)
8:00
Registration desk opens
9:00 to 12:30
* Welcome & Opening remarks
* State of SLUG
* Symbolics Corporate Status Report
* Software & Hardware Support
* Technical Status Report
* New Product Announcements
* General and Reverse Q & A
2:00 to 6:00
* Software Engineering on LISP Machines
* Symbolic Computing for New Users
* General Technical Q & A
Evening -- BOAF (Birds Of A Feather)
* Critique of the Symbolics User Interface -- GNU EMACS and HP's
NMODE both present a novel way of interacting with LISP.
Is the LISP machine paradigm better? This meeting will drive
tomorrow afternoon's
session.
* New user training: Sharing insights, techniques, and introductory
materials for new users.
* Symbolics maintenance issues.
THURSDAY -- (conference sessions)
9:00 to 12:30
* Common LISP -- What is the status of Common LISP the Language?
Classes? Common Windows? Error handling?
* SLUG Library -- What's new and available?
* Networks -- VMS, UNIX, DECNET, IP-TCP, Namespaces,
Domain Resolution, etc.
* Non-LISP Language Support -- PROLOG, ADA, FORTRAN, PASCAL, C, etc.
2:00 to 5:30
* LISPM pearls -- An informal presentation of useful but little
known LISP machine features and capabilities.
* Critique of the Symbolics User Interface -- See yesterday's BOAF.
* Technical Q & A
FRIDAY -- (conference sessions)
9:00 to 12:30
* Trade-offs in LISP (development) environments -- This is a panel
discussion of the differences between developing LISP software
on different workstation architectures.
* Conference Summary & Feedback
* SLUG Business Meeting
2:00 to 3:30
* Expert Systems Session
------------------------------
Date: Thu, 25 Jun 87 10:50:35 edt
From: Paul Fishwick <fishwick%bikini.cis.ufl.edu@RELAY.CS.NET>
Subject: Conference - SIMULATION AND AI
ANNOUNCEMENT AND CALL FOR PAPERS
SIMULATION AND ARTIFICIAL INTELLIGENCE CONFERENCE
Part of the 1988 SCS MultiConference
San Diego, CA Feb 3-5, 1988
Paper and Special Session Proposals should be sent to SCS (Society for
Computer Simulation) by July 15, 1987 [note: the deadline has been extended].
Some suggested topics are listed below:
Relation between AI and Simulation
Intelligent Simulation Environments
Knowledge-Based Simulation
Decision Support Systems
Qualitative Simulation (there will be a panel discussion on this topic)
Simulation in AI
Ada and AI and Simulation
Aerospace Applications
Biomedical Applications
Expert Systems in Emergency Planning
Automatic Model Generation
Expert Systems
Learning Systems
Natural Language Processing
Robotics
Speech Recognition
Vision
AI Hardware/Workstations
AI Programming Languages
AI/ES Software Tools
A paper proposal should be submitted (approx. 300 words) to:
SCS
P.O. Box 17900
San Diego, CA 92117-7900
------------------------------------------------------------------------------
People attending the AI and Simulation workshop at AAAI and others interested
in AI and Simulation are strongly encouraged to attend!
Paul Fishwick
University of Florida
CSNET: fishwick@ufl.edu
------------------------------
Date: 24 Jun 87 15:35:00 EST
From: "LFA" <lfa@ornl-stc10.arpa>
Reply-to: "LFA" <lfa@ornl-stc10.arpa>
Subject: Conference - Expert Systems in the ADP Environment
CALL FOR PAPERS
==== === ======
NARDAC Washington/ORNL/DSRD Conference
on
Expert Systems Technology in the ADP Environment
to be held in
Washington, D.C.
November 2-3, 1987
THE CONFERENCE
=== ==========
The Naval Regional Data Automation Center in Washington, D.C., the Oak
Ridge National Laboratory, and the Data Systems Research and Development
Program, Martin Marietta Energy Systems, Inc., are sponsoring a conference whose
primary focus is on the use of Artificial Intelligence in traditional computing
domains and its potential for further exploitation. Both invited talks and
contributed papers will be given at the conference.
INVITED SPEAKERS
======= ========
Several individuals have tentatively accepted invitations to speak at
this conference on the various aspects of Artificial Intelligence as it
pertains to traditional computing problems. Scheduled speakers and their
topic areas include:
Prof. James Slagle (Minnesota) - Keynote speaker
Prof. Brian Gaines (Calgary) - Intelligent Interfaces for
Knowledge-Based Systems
Prof. Larry Henschen (Northwestern) - Logic and Databases
Dr. Sukhumay Kundu (Louisiana State) - AI in Software Engineering
CONTRIBUTED PAPERS
=========== ======
In addition to the invited talks, papers are being solicited from
researchers in academia, government and industry in the following areas:
ADP Project and Systems Management,
Knowledge-Based Simulation and Modeling,
Intelligent Man-Machine Interfaces,
Intelligent Databases,
AI in Software Engineering,
AI as a Tool for Decision-Making, and
Innovative Applications in MIS or Scientific Computing.
SUBMISSION DETAILS
========== =======
Authors are asked to submit five (5) copies of their paper, which is to
be single-spaced and between five to seven pages in length. Both finished and
ongoing research will be considered by the program committee and referees.
Authors should adhere to the following submission schedule:
August 1, 1987 - Submission Deadline
August 15, 1987 - Notification of acceptance
September 15, 1987 - Camera-ready copies due
Send papers, requests for additional information, and all other correspondence
to
Lloyd F. Arrowood
Program Chairman
Oak Ridge National Laboratory
Building 4500-North, Mail Stop 207
Oak Ridge, TN 37831
or
BITNET: LFA@ORNLSTC
------------------------------
End of AIList Digest
********************
