simulation@uflorida.cis.ufl.edu (Moderator: Paul Fishwick) (03/14/89)
Volume: 8, Issue: 2, Tue Mar 14 09:24:44 EST 1989 +----------------+ | TODAY'S TOPICS | +----------------+ (1) Real Time Simulation with Ada (2) IJCAI: Model Based Reasoning Workshop * Moderator: Paul Fishwick, Univ. of Florida * Send topical mail to: simulation@uflorida.cis.ufl.edu * Archives available via FTP to bikini.cis.ufl.edu, login as 'anonymous', use your last name as the password, change directory to pub/simdigest. ----------------------------------------------------------------------------- Return-Path: <gcs71785@zach> Date: Tue, 7 Mar 89 18:59:02 EST From: gcs71785@zach.fit.edu ( SHELTON) To: simulation@ufl.edu Subject: REAL TIME SIMULATION WITH ADA Hello: Could you send me information concerning Real time Simulation with ADA or any other languge in general. This would be greatly appreciated. Thankyou, Jim Shelton ------------------------------ Date: Wed, 8 Mar 89 14:19:51 pst From: Ethan Scarl <ethan@atc.boeing.com> To: AILIST-REQUEST@AI.AI.MIT.EDU, amarel@aramis.rutgers.edu, arpanet-bboards@MC.LCS.MIT.EDU, bledsoe@cs.utexas.edu, bundy%ed.ac.uk@nss.cs.ucl.ac.uk, comp-ai@ucbvax.berkeley.edu, enea!liuida!ejs@uunet.uu.net, fj-ai%etl.jp@relay.cs.net, fox%vtcs1.cs.vt.edu@relay.cs.net, grosz@harvard.harvard.edu, guiho%crcge1.uucp@arisia.Xerox.COM, hayes@xerox.com, holden@atc.boeing.com, jm%ai.toronto.edu@relay.cs.net, jws%ib.rl.ac.uk@nss.cs.ucl.ac.uk, katz@mbunix.mitre.org, latombe@coyote.stanford.edu, mack%vision.ubc.cdn%ean.ubc.ca@relay.cs.net, mcvax!imag!jplaure@uunet.uu.net, mcvax!swivax!otten@uunet.uu.net, mod-ki%gmdzi%unido.uucp@uunet.uu.net, munnari!anucsd.oz.au!rbs@uunet.uu.net, nl-kr@CS.ROCHESTER.EDU, nnsc@nnsc.nsf.net, raj.reddy@a.cs.cmu.edu, reiter%ai.toronto.edu@relay.cs.net, richard%bnr.ca%ubc.csnet@relay.cs.net, samy%gmr.csnet@relay.cs.net, shirai%etl.jp@relay.cs.net, simulation-request@bikini.cis.ufl.edu, sparckjones%cl.cam.ac.uk@nss.cs.ucl.ac.uk, sridharan@cel.fmc.com, walker@flash.bellcore.com, xiiswbib@ddathd21.BITNET Subject: MBR Workshop, please post as appropriate Cc: ethan@atc.boeing.com * CALL FOR PARTICIPATION * IJCAI-89 Workshop on MODEL-BASED REASONING Detroit, MI, USA Sponsored by AAAI Sunday, August 20, 1989 Systematically representing and reasoning about the structure and function of a system offers significant advantage in design, analysis, monitoring, diagnosis, and control. This workshop will provide a forum for defining and discussing issues that arise from or underly the use of Model-Based Reasoning (MBR). This includes familiar applications in monitoring and diagnosis, and other areas of strong interest such as system control, planning, analysis, theory construction, tutoring, or design/redesign. The workshop seeks papers that offer new approaches and insights to fundamental problems associated with MBR, some of which are listed below. This is not a forum for descriptions of system implementations or applications, although analyses of experiences with MBR may be of interest. We encourage papers which address questions such as the following: * What inference mechanisms take best advantage of explicit structural and behavioral representations? What are their power and limitations? * Conversely, what do these inference mechanisms require of a structural representation or a behavioral simulation? To what class of systems is MBR now applicable in a straightforward and useful way? * What factors may have led to failure in the use of MBR, or to its abandonment? * Is there a complexity barrier beyond which systems cannot be effectively modeled? Are there types of complexity that affect MBR differently? * How does MBR apply to qualitative, quantitative, or mixed domain descriptions? Do MBR's methods apply uniformly to analog and discrete objects? * Is there a taxonomy of uncertainty or incompleteness in models? Do any of these contraindicate the use of MBR? * Can MBR use arbitrary sources of heuristic knowledge without compromising its power? * How can models cope when the domain's behavior exhausts computational resources? Can models use speed/accuracy tradeoffs? * Can one infer changed or unknown structure from observed or desired behavior? * Are there systematic approaches to the "model construction bottleneck?" A number of problems of domain representation still challenge the generality of MBR. For example, how shall our models handle: ~ embedded software; ~ feedback, state-dependency, or other forms of time-dependency; ~ open systems, including sensing of external environments and initial ignorance of structure; ~ systems with virtually no physical structure (e.g., chemical process control); ~ globally complex systems, rich in interaction paths between relatively simple components; ~ systems with complex geometric relationships; or ~ translation between physical and computational models (e.g., pipes and valves to pressures and flows), including derivation of global parameters from aggregated models? To facilitate discussion, acceptance will be limited to 35 papers and 10-12 presentations. There will be an informal proceedings of all accepted submissions. More formal publication will be pursued if there is sufficient interest. All attendees will be invited to prepare single page descriptions of their work for distribution prior to the workshop. Each presented paper will have a commentator. The workshop's organizing committee consists of: Randy Davis, MIT; Johan de Kleer, Xerox PARC; Richard Doyle, JPL; Dan Dvorak, UTexas; Mike Fehling, Rockwell, Mike Genesereth, Stanford; Walter Hamscher, Price-Waterhouse; Ethan Scarl (chair), Boeing Computer Services; Narinder Singh, Stanford; and Brian Williams, Xerox PARC. The submission format will be short, self-contained papers of no more than 2000 words. Recent extensions and condensations of work already submitted to IJCAI or elsewhere is permissible, so long as any duplication is explicitly noted. The preferred medium for submission is electronic mail of plain ASCII files without formatting commands or control characters, and sent to: ethan@atc.boeing.com Figures may be faxed to (206) 865-2946, unless their quality or quantity is prohibitive. Alternatively, three hardcopies may be sent to: Ethan Scarl Boeing Computer Services, P.O. Box 24346, M/S 7L-64 Seattle, Washington, 98124-0346 (206) 865-3255 [office] Important dates: May 16, 1989 E-mail and papers must be received July 3, 1989 Acceptance notifications mailed July 25, 1989 Revised papers and single-page descriptions must be received August 20, 1989 Date of Workshop ------------------------------ +--------------------------+ | END OF SIMULATION DIGEST | +--------------------------+