fishwick@fish.cis.ufl.edu (Paul Fishwick) (12/29/90)
------------------------------------------------------------------------
ADVANCE PROGRAM
The Second Conference on
AI, Simulation and Planning in High Autonomy Systems
THEME: INTEGRATING QUALITATIVE AND QUANTITATIVE SYSTEM KNOWLEDGE
U N I V E R S I T Y O F F L O R I D A
(in cooperation with the University of Arizona)
April 1-2, 1991
Holiday Inn, Cocoa Beach, Florida
CONFERENCE CO-CHAIRS:
Paul A. Fishwick Jerzy Rozenblit Bernard P. Zeigler
University of Florida University of Arizona University of Arizona
Dept. of CIS Dept. of ECE Dept. of ECE
Bldg. CSE, Room 301 Tucson, AZ 85721 Tucson, AZ 85721
Gainesville, FL 32611 rozenblit%evax2@arizona.edu zeigler%evax2@arizona.edu
fishwick@ufl.edu
PROGRAM COMMITTEE:
Varol Akman, Bilkent University, Turkey
Kenneth Anderson, Siemens Corporation
Howard Beck, University of Florida
David Castillo, McDonnell Douglas
Francois Cellier, University of Arizona
Silvano Colombano, NASA Ames Research Center
Marc Courvoisier, Universite Paul Sabatier, France
Li-Min Fu, University of Florida
Frank Grange, Martin Marietta
Werner Horn, University of Vienna, Austria
Yumi Iwasaki, Stanford University
Witold Jacak, Technical University of Wroclaw, Poland
Tag Gon Kim, University of Kansas
Theo Lutzeler, Siemens Corporation
Sanjai Narain, Bellcore
Franz Pichler, University of Linz, Austria
Ethan Scarl, Boeing Computer Services
Suleyman Sevinc, University of Sydney, Australia
Jon Sticklen, Michigan State University
Oryal Tanir, Bell Canada
Ben Wise, McDonnell Douglas
LOCAL ARRANGEMENTS:
Joanne East, Department of Conferences and Seminars,
University of Florida, Gainesville, Florida (904)-392-1701
CONFERENCE DESCRIPTION
This annual conference is concerned with integrated methods in simulation
and planning that serve to help automate basic decision making processes
in computer systems. Current and future decision making tools will rely
heavily on the ability to reason with sophisticated models that are designed,
planned and simulated in real time. This year's conference will be held at
the beginning of the Florida AI Research Conference (FLAIRS) at the same
location.
There is a strong need to integrate the qualitative system structures
often found in expert systems, reasoning systems, logic and social science
with the quantitative knowledge found in physical science and engineering.
Qualitative structures help define high-level (i.e. decision making) control
knowledge while quantitative structures define unambiguous operations for
well known physical and engineering systems. The interplay between qualitative
and quantitative modeling is critical in the area of computer simulation
modeling where a variety of models are created to solve different problems
and provide different levels of response. Future simulation models will
require this multi-facetted approach involving model knowledge bases
containing different levels of system abstraction. This conference will
serve to bring together researchers interested in using simulation models
that have well-integrated qualitative and quantitative components.
CONFERENCE AT A GLANCE:
Monday, April 1
8:30 - 9:30 Keynote 1: B. Chandrasekaran, Ohio State University
10:00 - 12:00 T1: Autonomous Agent Modeling
T2: Process Abstraction
1:30 - 3:00 T1: Constraint Based Modeling & Simulation
T2: Qualitative Analysis of Continuous Systems
3:30 - 5:00 T1: Fault Modeling & Diagnosis I
T2: Planning & Intelligent Control I
Tuesday, April 2
8:30 - 9:30 Keynote 2: Panos Antsaklis, University of Notre Dame
10:00 - 12:00 T1: Model Engineering
T2: Applications of Qualitative/Quantitative Integration
1:30 - 2:30 PANEL: When & Where are Qualitative Models Practical?
2:30 - 3:30 T1: Multiple Model Integration I
T2: Fault Modeling & Diagnosis II
4:00 - 5:30 T1: Multiple Model Integration II
T2: Planning & Intelligent Control II
TECHNICAL PROGRAM:
-----------------------------------------------------------------------
MONDAY, APRIL 1
-----------------------------------------------------------------------
8:15 - 8:30 OPENING (CHAIRS)
8:30 - 9:30 KEYNOTE SPEECH
"Commonsense Simulation of the Physical World"
B. Chandrasekaran, Ohio State University
9:30 - 10:00 BREAK
10:00 - 12:00 TRACK 1: AUTONOMOUS AGENT MODELING
"Autonomous Learning Elements: Their Design and Application"
Robert Reynolds, Wayne State University
"Planning by Autonomous Agents with Many Concurrent Goals
in an Elaborate Simulated World"
Glenn Abrett, BBN Systems & Technologies
"Scripting Highly Autonomous Simulation Behavior Using Case
Based Reasoning"
Jed Marti and Niels Catsimpoolas, Rand Corporation
"Actions as Evidence: Multiple Epistemic Agents Acting
Under Uncertainty"
Thomas Whalen and Hamid R. Berenji, Georgia State University
"An Object-Oriented Simulation of Autonomous Agents in
a Complex Physical Environment"
Douglas Craig
10:00 - 12:00 TRACK 2: PROCESS ABSTRACTION
"Qualitative State Spaces: A Formalization of the Naive Physics
Approach to Knowledge-Based Reasoning"
Francois Cellier and Nicolas Roddier, University of Arizona
"Abstraction Morphisms for Task Planning and Execution"
C. Luh and Bernard P. Zeigler, University of Arizona
"Dynamic Selection of Models under Time Constraints"
Geoffrey Rutledge, Stanford University
"DEBORA: A Decision Engine Based on Rational Aggregation"
Jean-Luc Koning and Didier Dubois, Institut de Recherche
en Informatique de Toulouse, France
"An Introduction to Fuzzy Simulation"
Paul Fishwick, University of Florida
12:00 - 1:30 LUNCH
1:30 - 3:00 TRACK 1: CONSTRAINT BASED MODELING & SIMULATION
"Integrating Multiple Representations for Incremental, Causal Simulation"
Reid G. Simmons, Carnegie Mellon University
"ALCMEN: a Language for Qualitative/Quantitative knowledge
representation in Expert Supervisory Process Control"
Joseph Aguilar Martin, Philippe Desroches and Veronique Thomas-Baudin,
Laboratoire d'Automatique et d'Analyse des Systems du C.N.R.S., France
1:30 - 3:00 TRACK 2: QUALITATIVE ANALYSIS OF CONTINUOUS SYSTEMS
"Reasoning about Global Behavior of Ordinary Differential
Equations by Combining Qualitative and Quantitative Analysis"
Toyoaki Nishida and Shuji Doshita, Kyoto University, Japan
"Extracting Qualitative Descriptions From Quantitative Models"
Janice Glasgow, Todd Kelley and Randy Ellis
Queen's University, Canada
3:00 - 3:30 BREAK
3:30 - 5:00 TRACK 1: FAULT MODELING & DIAGNOSIS I
"Model-Based Troubleshooting of Complex Technical Systems
Using Integrated Qualitative Techniques"
Franz Lackinger and Irina Obreja, Technical University of Vienna, Austria
"Systems Formulation of Diagnosis from First Principles"
S. Chi and Bernard P. Zeigler, University of Arizona
"Diagnosibility and Sensor Reduction"
Ethan Scarl, Boeing Computer Services
3:30 - 5:00 TRACK 2: PLANNING & INTELLIGENT CONTROL I
"Simulation-based planning of robot tasks in flexible manufacturing"
Jerzy W. Rozenblit (*) and Witold Jacak (**)
(*) University of Arizona
(**) Technical University of Wroclaw, Poland
"Process Failures Diagnosis in F.M. Real-time Control: An
Approach Combining Rule Based Systems and Petri Nets"
Michel Combacau and Marc Courvoisier,
Laboratoire d'Automatique et d'Analyse des Systems du C.N.R.S., France
"Planning with Events and States"
Dorota Kieronska and Svetha Venkatesh, Curtin University of Technology,
Western Australia
6:00 - 7:30 Reception
-----------------------------------------------------------------------
TUESDAY, APRIL 2
-----------------------------------------------------------------------
8:30 - 9:30 KEYNOTE SPEECH
"Autonomous Intelligent Control Systems"
Panos Antsaklis, University of Notre Dame
9:30 - 10:00 BREAK
10:00 - 12:00 TRACK 1: MODEL ENGINEERING
"A Model-Based Approach for Organizing Quantitative Computations"
Jon Sticklen, Ahmed Kamel and W.E. Bond, Michigan State University
"Modelling Tools for a Common Lisp Object System Environment"
J.M. Farrow and S. Sevinc, University of Sydney, Australia
"The Use of Multiple Models in Evaluating Complex Engineering Designs"
Srinivas Narayanan, FMC Corporation
"Qualitative-Quantitative Simulation"
Daniel Berleant, University of Texas at Austin
"Using Discrete Event Qualitative Simulation as a Knowledge Acquisition Tool"
Vincent Kovarik, Jr., Software Productivity Solutions
10:00 - 12:00 TRACK 2: APPLICATIONS OF QUALITATIVE/QUANTITATIVE INTEGRATION
"Qualitative Simulation Using Declarative Models: An Application
to Distillation Columns"
Julian Morris, Beaumont S. Feray and M. T. Tham,
University of Newcastle Upon Tyne, United Kingdom
"A Qualitative Circuit Simulator"
Mark Lee and Andrew Ormsby, University College of Wales,
United Kingdom
"EMM-Networking Model for FMS Modeling, Simulation and Control"
Soundar Kumara and Niu Duan, Pennsylvania State University
"Representing Temporal, Spatial, and Causal Knowledge for
Monitoring and Control in an Intelligent Simulation Training System"
Leslie Interrante, University of Alabama
"Simulation Model for a Multicomponent System"
Lung Liang and Mario R. Garzia, AT&T Bell Laboratories
12:00 - 1:30 LUNCH
1:30 - 2:30 PANEL : WHEN & WHERE ARE QUALITATIVE METHODS PRACTICAL?
2:30 - 3:30 TRACK 1: MULTIPLE MODEL INTEGRATION I
"Integrating Qualitative and Quantitative Methods through
Visual Focussing"
N. Hari Narayanan and B. Chandrasekaran, Ohio State University
"Using Qualitative Knowledge for Quantitative Simulation
of the Human Spatial Orientation System"
Nicolas Groleau, Rajiv Bhatnagar and Daniel M. Merfeld,
Massachusetts Institute of Technology
2:30 - 3:30 TRACK 2: FAULT MODELING & DIAGNOSIS II
"Fault Diagnosis Based on Continuous Simulation Models"
Stefan Feyock and Randall P. Meyer, College of William and Mary
"Sensor Selection Techniques in Device Monitoring"
Richard Doyle and Usama M. Fayyad
California Institute of Technology
3:30 - 4:00 BREAK
4:00 - 5:30 TRACK 1: MULTIPLE MODEL INTEGRATION II
"Extending Numerical Simulation with Qualitative Reasoning"
Vittorio Maniezzo and Andrea Bonarini,
Politecnico Di Milano, Italy
"Temporal Information from Order of Magnitude Reasoning"
Antoine Missier and Louise Trave'-Massuyes,
Laboratoire d'Automatique et d'Analyse des Systems du C.N.R.S., France
"Using Qualitative Methods to Manage Quantitative Simulation"
Paul A. Fishwick (*) and Bernard P. Zeigler (**)
(*) University of Florida
(**) University of Arizona
4:00 - 5:30 TRACK 2: PLANNING & INTELLIGENT CONTROL II
"Planning with Artificial Systems"
Luca Maria Gambardella, Istituto Dalle Molle di Studi sull'Intelligenza
Artficiale, Switzerland
"Embedding Simulation Modeling in Development of High Autonomy Systems"
Tag Gon Kim, University of Kansas
"Integrated Modeling for Planning, Simulation and
Diagnosis Within Space Station Freedom Operations"
W. S. Davis, J. R. Carnes, C. A. Biegl and G. Karsai,
Boeing Computer Services
--------------------------------------------------------------------------
CONFERENCE REGISTRATION
Name__________________________________________________
Address_______________________________________________
______________________________________________________
City_________________________ State_____ ZipCode______
PHONE________________________
FAX__________________________
EMAIL___________________________________
Please send me a printed copy of the FINAL PROGRAM: _________
(check)
Professional Fee
Before March 18th: $275, After March 18th: $295 Amount________
(includes proceedings, 1 free drink coupon)
Student Fee
Before March 18th: $50, After March 18th: $60 Amount________
(includes proceedings, 1 free drink coupon)
Additional Fees (if applicable)
Guest Pass at Reception: $15 Amount________
Extra Copy of Proceedings: $30 Amount________
GENERAL:
The Proceedings are published, sold and advertised by the IEEE Computer
Society Press. There are no refunds for cancellations after March 18th.
All travel information is contained within the printed FINAL PROGRAM -
please ask for one by checking above.
Mail or Contact: ASPHAS Conference/DOCE
University of Florida
2207 NW 13th St.
Gainesville, FL 32609
PHONE: (904) 392-1701
FAX: (904) 392-6950
HOTEL REGISTRATION
April 1-2, 1991 AI, Simulation and Planning Conference
Holiday Inn, 1300 N. Atlantic Ave., Cocoa Beach, Florida, 32931 USA
PHONE: (407) 783-2271, FAX: (407) 784-8878
Name__________________________________________________
Address_______________________________________________
______________________________________________________
City_________________________ State_____ ZipCode______
Arrival Date_______________ Departure Date ___________
Room Rate: $58/night plus tax. Reservations must be guaranteed by a
major credit card or advance deposit on one night's room rental.
CREDIT CARD (Circle One):
MC, VISA, AMEX, DINER'S, CARTE BLANCHE, JCD, or DISCOVER
Credit Card Number___________________________________ Exp. Date________
Signature____________________________________________
Mail to: The Holiday Inn
1300 N. Atlantic Ave.
Cocoa Beach, FL 32931
PHONE: (407) 783-2271
FAX: (407) 784-8878
RESERVATIONS MUST BE CONFIRMED BEFORE MARCH 15TH
+-------------------------------------------------------------------------+
| Prof. Paul A. Fishwick.............. INTERNET: fishwick@fish.cis.ufl.edu|
| Complex Systems and Simulation Group UUCP: gatech!uflorida!fishwick |
| Dept. of Computer Science........... PHONE: (904) 392-1414 |
| University of Florida............... FAX: (904) 392-1220 |
| Bldg. CSE, Room 301................. |
| Gainesville, FL 32611............... |
+-------------------------------------------------------------------------+