simulation@uflorida.cis.ufl.edu (Moderator: Paul Fishwick) (02/21/91)
Volume: 20, Issue: 4, Thu Feb 21 09:02:34 EST 1991 +----------------+ | TODAY'S TOPICS | +----------------+ (1) AI, Simulation & Planning Conference (2) GISMO: AI/Simulation Competition (3) Simulating Distributed Memory Multi-Processors (4) On the Size of Models * Moderator: Paul Fishwick, Univ. of Florida * Send topical mail to: simulation@bikini.cis.ufl.edu OR post to comp.simulation via USENET * Archives available via FTP to bikini.cis.ufl.edu (128.227.224.1). Login as 'ftp', use your last name as the password, change directory to pub/simdigest. Do 'type binary' before any file xfers. * Simulation Tools available by doing above and changing the directory to pub/simdigest/tools. ----------------------------------------------------------------------------- Date: Mon, 18 Feb 91 09:16:37 -0500 From: "Paul Fishwick" <fishwick@fish.cis.ufl.edu> To: simulation@ufl.edu ------------------------------------------------------------------------ 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 "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 "Integrating Multiple Representations for Incremental, Causal Simulation" Reid G. Simmons, Carnegie Mellon University 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............... | +-------------------------------------------------------------------------+ ------------------------------ Newsgroups: comp.simulation Path: news From: vanb@eola.cs.ucf.edu (David Van Brackle) Subject: AI/Simulation Competition Sender: news@osceola.cs.ucf.edu (News sysetm) Organization: University of Central Florida, Orlando Date: Tue, 19 Feb 91 16:15:23 GMT Apparently-To: uunet!comp-simulation * * * Announcing: GISMO * * * (Game for Intelligent Simulated Military Opponents) The Institute for Simulation and Training in Orlando is pleased to announce the First Game for Intelligent Simulated Military Opponents. In order to stimulate research in the fields of interactive distributed simulation and behavioral modelling, IST will be sponsoring a competion. Competitors are invited to write programs to control a small force of tanks in a simple scenario. Programs will communicate with a battle simulator via 2400-baud modems on toll-free telephone numbers, and will compete directly with each other. The competition will be open to any school, company, individual or group of individuals using any kind of computing machinery. Full details of the competition, including rules, specification of the scenario and how to communicate with the simulator, are now available. Competitors will have approximately one year to develop their programs. The competition will be held in October and November of 1991. For more information, contact: David Van Brackle Institute for Simulation and Training 12424 Research Parkway, Suite 300 Orlando, FL 32826 (407) 658-5500 Internet: vanb@cs.ucf.edu ------------------------------ Newsgroups: comp.simulation Path: jacob From: jacob@nydala.cs.umu.se (Peter Jacobson) Subject: Distributed memory multiprocessor simulator Originator: jacob@nydala.cs.umu.se Sender: news@cs.umu.se (News Administrator) Organization: Dep. of Info.Proc, Umea Univ., Sweden Date: Tue, 19 Feb 91 08:05:04 GMT Hello! I am working on a simulator which will simulate distributed memory multiprocessors. The processors are synchronized with and communicates via message passing. The kind of architectures in mind are mainly hypercube architectures like the Intel iPSC/2, NCUBE etc. Does anyone know of work related to this project? Please respond by email, and I will summarize if there is interest. __ Peter Jacobson Institute of Information Processing University of Umea SWEDEN jacob@cs.umu.se -- >-< >-< >-< >-< >-< >-< >-< >-< >-< >-< >-< >-< >-< >-< >-< >-< >-< >-< >-< >-< Peter Jacobson < > Institute of Information Processing < > University of Umea < > ------------------------------ Date: Wed, 20 Feb 91 07:44:52 EST From: Richard E. Nance - SRC <srcnance@popeye.cs.vt.edu> To: nyo@cs.exeter.ac.uk Subject: Large Model Comparisons Cc: simulation@bikini.cis.ufl.edu Mr. Youngman: A point which might not be obvious is that the "size" of a discrete event simulation model cannot be measured in the number of objects (permanent or temporary) or the number of attributes. More important, especially for parallel implementation, is the number of interactions among objects. That is, of course, assuming that you have sufficient memory to execute the model which in today's world should not be a limitation. I suggest you attempt to size your models with at least one measure dealing with number of interactions. Richard E. Nance nance@vtopus.cs.vt.edu ------------------------------ END OF SIMULATION DIGEST ************************