Copy Link
Add to Bookmark
Report
AIList Digest Volume 5 Issue 229
AIList Digest Monday, 5 Oct 1987 Volume 5 : Issue 229
Today's Topics:
Seminar - Constraint-Posting Planning (BBN)
Conferences - Fall Joint Computer Conference 87 &
3rd Applications of AI in Engineering &
ASME Computers in Engineering
----------------------------------------------------------------------
Date: Wed 30 Sep 87 14:11:26-EDT
From: Marc Vilain <MVILAIN@G.BBN.COM>
Subject: Seminar - Constraint-Posting Planning (BBN)
BBN Science Development Program
AI/Education Seminar Series
Dominance and Subsumption in Constraint-Posting Planning
Michael Wellman
MIT Artificial Intelligence Lab
(MPW@ZERMATT.LCS.MIT.EDU)
BBN Laboratories Inc.
10 Moulton Street
Large Conference Room, 2nd Floor
10:30 a.m., Friday, October 2nd 1987
Abstract: By integrating a dominance prover into the plan search
process, the traditional constraint-posting planning paradigm can be
generalized to permit partially satisfiable goals. In this approach,
the view of planning as theorem proving is retained, although the
emphasis is on deriving facts about the admissibility of classes of
candidate plans. Plan classes are generated by posting constraints at
various levels of abstraction, then classified within a plan
specialization graph that manages inheritance of properties and
dominance characteristics. Efficient computation of plan class
subsumption is essential for effective use of dominance results.
I illustrate this planning framework with examples from SUDO-Planner, an
application to medical therapy currently under implementation. Medical
therapy has been an unattractive domain for AI planning techniques
because of the omnipresence of uncertainty and partially satisfiable
objectives. SUDO-Planner's knowledge base contains descriptions of
therapy actions at multiple levels of abstraction, with effects
represented by qualitative probabilistic influences. The nature of the
dominance results derivable by SUDO-Planner suggest that many
"metaplanning" rules may be recast as dominance conditions at
sufficiently high levels of abstraction.
------------------------------
Date: Fri, 2 Oct 1987 15:28 CST
From: Leff (Southern Methodist University)
<E1AR0002%SMUVM1.BITNET@wiscvm.wisc.edu>
Subject: Conference - Fall Joint Computer Conference 87
List of AI related Papers in Fall Joint Computer Conference 87
October 25-29, 1987, Infomart
Tuesday, October 27 10AM - Noon
Expresss: Rapid Prototyping and Product Development Via Integrated,
Knowledge-Based, Executable Specifications
P. Topping, J. McInroy, Lockheed;
W. M. Lively, S. Sheppard, Texas A&M University
Tuesday October 27 2-3:30
Deriving Contingencies Among Diagnostic Tests with Prolog by Code
Examination
R. Denney, Schlumberger Well Systems
A concuncurrent Multi-Paradigm List Processor TAO/ELis
I. Takeuchi, H. G. Okuno, N. Ohsato, M. Kamino, K. Yamazaki, NT&T, Japan
Wednesday, October 28 10AM-Noon
An Approach to Integrating Expert System Components into Production Sotware
W. B. Frakes, C. J. Fox AT&T Bell Labs
A Variation of Conceptual Graphs: An Object Oriented Approach
T. R. Hines, E. A. Unger, Kansas State University
Software Reusability and Knowledge Engineering
M. M. Tanik, D. Y. Y. Yun, W. Yin, Southern Methodist University
T. J. Lee, A. G. Dale, the University of Texas at Austin
A Parallel Algorithm fo r Execution of Production Systems on HMESH
S. B. Tien, C. S. Raghavendra, University of Southern California
Wednesday, October 28 2-3:30 PM
The Intelligent Machines Project in China
Chengwei Wong, Beijing Institute of System Engineering, China
DFM: The Dataflow Machine for Highly Parallel Symbol Manipulation
K. Amamiya, M. Takesue, R. Gasegawa, H. Mikama, NT&T, Japan
Wednesday, October 28 3:45-5:15 PM
New Methods fo rReal-Time and Image Recognition
O. K. Ersoy, D. Y. Kim, Purdue University
Dynamic Elastic Interpretation for 3D Objects Reconstruction from Serial
X-Sectional Images
W. C. Lin, C. C. Liang, Northwestern University;
C. T. Chen, University of Chicago
Representation and Recognition of Objects From Depth Maps
J. K. Aggarwal, B. C. Vemuri, The University of Texas at Austin
Thursday, October 29 10:30AM - NOON
Frame Synthesis and Inheritance Systems
M. Kim, A. S. Maida, Pennsylvania State University
A Knowledge-Based Message Generation System for the Nonverbal Profoundly
Motor Disabled
B. K. Sy, J. R. Deller, Jr. Northeastern University
A Uniform Architecture for Rule-Based Meta Reasoning and Representation
A. S. Maida, Pennsylvania State University
Thursday, October 29 2-3:30 PM
A Knowledge-Based Approach to Multiple Query Processing in Distributed
Database Systems
T. J. Teorey, J. T. Park, The University of Michigan
Parallel Execution of Logic Programs in the Framework of OR-Forest
Y. G. Tzu, Changsha Institute of Technology, China
A Dietary Recommendation Expert System Using OPS5
C. Kao, C. J. Hwang, Purdue University
A Conceptual Model for Case Grammar Analysis
K. Efe, P. A. Ng, New Jersey Institute of Technology
An Analysis of the Knowledge Used for a Structured Selection Problem
P. K. Fin,k, F. A. Iddings, M. A. Overby, Southwest Research Institute
An Architecture for Adaptive Learningin Rule-Based Diagnostic Expert Systems
D. C. St. Clair, W. E. Bond, B. B. Flachsbart, A. G. Vigland, McDonnell
Aircraft Corporation
Wednesday, October 28 6-7:30PM
The Development of Expert Systems - Some Pragmatic Issues
Ms. Lorraine M. Duvall, Duvall Computer Technologies, Panel Chair
N. J. Martin, SoftPert Systems Inc.; C. J. Green
Structured Systems and Software Inc.
Thursday, October 29 3:45-5:15PM
A Knowledge-Based Aproach to Computer-Aided Design of Structures
H. Adeli, K. V. Balasubramanyam, Ohio State University
2 Piece Jig-Saw Puzzle Robot Assembly with Vision, Position and Force Feedback
G. C. Burdea, New York
Proteus-1: A General Accelerator for CAD
S. P. Smith, B. Wood, J. Little, P. Hunter, MCC
(Also Panel Discussion on AI and Software Engineering with Dr. David Yun,
Southernm Methodist University as Panel Chair and R. Balzer, Information
Sciences Institute, C. V. Ramamorthy, University of California at Berkeley,
W. W. Royce, Lockheed Software Technology Center, M. M. Tanik, Southern
Methodist University, W. Bledsoe, MCC, Roger Bates, Texas Instruments)
------------------------------
Date: Tue, 29 Sep 87 23:06:01 EDT
From: sriram@ATHENA.MIT.EDU
Subject: Conference - 3rd Applications of AI in Engineering
FIRST CALL FOR PAPERS
THIRD INTERNATIONAL CONFERENCE ON
APPLICATIONS OF ARTIFICIAL INTELLIGENCE IN
ENGINEERING
AUGUST 8TH-12TH, 1988
STANFORD, CALIFORNIA, USA
INTRODUCTION
The Third International Conference on AI in Engineering will be held
during the second week of August, 1988 in Stanford, California. The
first and second international conferences stimulated significant
presentations on both the tools and techniques required for the
successful use of AI in engineering and many new applications. The
organising committee members anticipate that the third conference will
be even more successful and encourage papers which describe recent
work to be submitted.
OBJECTIVES
The purpose of this conference is to provide an international forum
for the presentation of work on the state-of-the-art in the
applications of artificial intelligence to engineering problems. It
also aims to encourage and enhance the development of this most
important area of research.
CONFERENCE THEMES
The following application areas and topics are suggested and other
related areas will be considered:
--------------------------------------------------------------
| |
| Application Areas Topics |
| Design Representation |
| Diagnosis/Evaluation Problem Solving |
| Process Control and Planning Constraint Reasoning |
| Robotics Learning |
| Tutoring Qualitative Models |
| Sensing and Interpretation Tools |
| User Interfaces |
| |
--------------------------------------------------------------
INVITED SPEAKERS
Keynote: Dr Raj Reddy, Director of the Robotics Institute, Carnegie
Mellon University and President, AAAI.
Invited Speakers: Dr. Rick Hayes-Roth, Chief Scientist, Teknowledge
Others will be announced shortly.
SUBMISSION REQUIREMENTS
Authors are invited to submit full papers, preferably not exceeding
8,000 words.Each paper should include an abstract and have sufficient
details, such as the type of knowledge representation, problem solving
strategies, and the implementation language used, to permit evaluation
by a committee consisting of renowned experts in the field. Each
paper should be accompanied by the following details on the first
page: author's name, address, affiliation, the name and address,
e-mail, telex and fax of the person to whom all correspondence should
be sent, and an indication of the application area and the topic(s).
To allow for blind refereeing, the second page should commence with
the paper title and abstract and not include any identifying material
from the first page. Final instructions on typing format will be
forwarded to authors of each accepted paper after refereeing.
Four copies of the paper should be submitted to:
Professor John Gero
Technical Chair, AIE88
Department of Architectural Science
The University of Sydney
NSW 2006 Australia
Tel: 61-2-692-2328 (International)
Tlx AA26169
Fax: 61-2-692-3031
Net Address:
ARPA: john%archsci.su.oz@uunet.uu.net
UUCP: uunet!munnari!archsci.su.oz!john
CSNet: john@archsci.su.oz
In addition, one copy of the paper should be sent to:
Dr R. Adey
Computational Mechanics Institute
25 Bridge Street
Billerica, MA 01821
Tel. No: 617-667-7582
All papers should be submitted before January 15, 1988.
Notification of acceptance will be sent before March 15, 1988.
Final copies of the papers are due on or before April 8, 1988.
REVIEW CRITERIA
All papers will be reviewed by at least two experts in the area.
Acceptance of the paper will be based on the quality of the work and
its presentation in the paper.
ORGANIZING COMMITTEE
General Chair Dr. R. Adey, Computational Mechanics Institute, USA
Technical Chair Prof. J. Gero, University of Sydney, Australia
ADVISORY BOARD
Consists of renowned researchers in the field.
------------------------------
Date: Tue, 29 Sep 87 10:28:07 EDT
From: decvax!cvbnet!cheetah!rverrill@decwrl.dec.com (Ralph Verrilli)
Subject: Conference - ASME Computers in Engineering
CALL FOR PAPERS
1988 ASME INTERNATIONAL COMPUTERS IN ENGINEERING
CONFERENCE AND EXHIBITION
SAN FRANCISCO HILTON
SAN FRANCISCO, CALIFORNIA
July 31 - August 3, 1988
REAL WORLD APPLICATIONS OF EXPERT SYSTEMS
AND ARTIFICIAL INTELLIGENCE
The theme for the 1988 ASME International Computers in Engineering
Conference will focus on the emerging applications of expert systems
and artificial intelligence.
This conference and exhibition provides a forum for engineers,
managers, researchers, vendors, and users to discuss relevant
issues, and to present ideas on computer technology and its impact
on the engineering workplace. Over 80 papers and panel sessions are
planned covering a broad spectrum of technical computing and
computers in the engineering community. The topics covered will
encompass: computer aided design and manufacturing, computer
simulation, robotics, interactive graphics, finite element
techniques, microprocessors, computers in educations, expert
systems, and artificial intelligence.
Papers are solicited in all areas related to the application,
development, research, and education with computers in mechanical
engineering. Contributions in the form of full-length papers or
extended abstracts are solicited. Accepted papers will be published
in the bound Conference Proceedings. Full length papers of special
note will be reviewed after the conference for publication in the
Society's magazine "Computers in Mechanical Engineering (CIME)".
The annual event is sponsored by the Computers in Engineering
Division of the American Society of Mechanical Engineers (ASME).
San Francisco is the site of this years conference.
DEADLINES :
Submission of three copies of draft contributions
(paper or extended abstract) November 30, 1987
Notification of acceptance to authors February 15, 1988
Submission of author-prepared mats April 1, 1988
For the following technical areas please send papers to the
respective program chairmen :
{
Computer Aided Manufacturing, Computer Simulation, Turnkey CAD/CAM,
Integration of CAD and CAM, Computer Aided Testing, Computer Aided
Design, Interactive Graphics :
Dr. Donald Riley
Dept. of Mechanical Engineering
University of Minnesota
111 Church Street
Minneapolis, MN 55455
612-625-0591/1809 }
{
Artificial Intelligence, Knowledge Based Systems :
Mr. M.F. Kinoglu
AI and Expert Systems Group
Control Data Corporation
1450 Energy Park Drive
Saint Paul, MN 55108
612-642-3817 }
{
Microprocessors, Robotics, Special Purpose Computers, Man-Machine
Interfaces :
Mr. David W. Bennett
Battelle Pacific Northwest Labs
P.O. Box 999
Richland, WA 99352
509-375-2159 }
{
Robotics in Education, Teaching CAD in Higher Education, University
- Industry Collaboration, Microcomputers in the Classroom,
Computer-Aided Learning :
Dr. Gary Kinzel
Ohio State University
Dept. of Mechanical Engineering
206 West 18th Street
Columbus, Ohio 43210
614-292-6884 }
{
Finite Element Techniques, Software Standards, Computational
Geometry :
Dr. Kumar K. Tamma
Dept of Mechanical Engineering and Aerospace Engineering
West Virginia University
Morgantown, West Virginia
304-293-4111 }
{
Computers in Energy Systems, Computational Fluid Dynamics,
Computational Heat Transfer, Combustion Modelling, Process Control :
Dr. Ahmed A. Busaina
Dept. of Mechanical Engineering
Clarkson University
Potsdam, New York
315-268-6574 }
Topics not in the above categories contact Technical Program
Chairman :
Mr. Edward M. Patton
US Army Ballistic Research Lab
Aberdeen Proving Grounds, MD 21005
301-278-6805
------------------------------
End of AIList Digest
********************
