ethan@bcsaic.UUCP (Ethan Scarl) (03/21/90)
* CALL FOR PARTICIPATION * Second AAAI Workshop on MODEL-BASED REASONING Boston, MA, USA Monday, July 30, 1990 Sponsored by AAAI There are advantages for design, analysis, monitoring, diagnosis, and control in systematically representing and reasoning about the structure and function of a system. This workshop is a forum for defining and exploring issues associated with reasoning from knowledge of a target system's structure and function, more recently called Model-Based Reasoning (MBR). This includes control, planning, analysis, theory construction, tutoring, and design/redesign, as well as the more familiar areas of monitoring and diagnosis. The workshop seeks papers which offering insight into fundamental problems associated with MBR, some of which are listed below. Although analyses of experiences with MBR may be of interest, this is not a forum for discussing system implementations or applications. We encourage papers which contribute to the understanding of issues such as the following: * The range of inference mechanisms that exploit explicit structural and behavioral knowledge; their power and limitations; their requirements upon structural representations and behavioral simulations; factors leading to the success or abandonment of MBR * Target system complexity as a fundamental obstacle; types of complexity; the use of structure in highly interconnected systems; the absence of physical structure * Qualitative/quantitative, analog/discrete, and mixed domains; coping with computational limits and speed/accuracy tradeoffs; hierarchical and other organizational principles; geometric knowledge; feedback or other time-dependencies; embedded software * Principles of model construction; problems and solutions in knowledge acquisition; functional/physical model relationships; uncertainty or incompleteness in models; mixed heuristic/model knowledge * Inference of structure from behavior; open systems or environments To facilitate discussion, acceptance will be limited to 30 papers and 10 or fewer presentations. There will be a proceedings of all accepted submissions. More formal publication will be pursued if there is sufficient interest. There will be a commentator for each presented paper, and single paragraph abstracts of each attendee's paper or work in MBR will be distributed prior to the workshop. If sufficient interest is expressed by participants, there may be an evening session for "system" demonstrations on video or slides. The workshop's organizing committee consists of: Randy Davis, MIT; Johan de Kleer, Xerox PARC; Richard Doyle, JPL; Dan Dvorak, U of Texas; David Franke, U of Texas; Ben Kuipers, U of Texas; Ethan Scarl (chair), Boeing Computer Services; Mark Shirley, Xerox PARC; Dan Weld, U of Washington; and Brian Williams, Xerox PARC. The submission format will be short, self-contained papers of no more than 2000 words (the proceedings version of accepted papers may be longer). Extensions and condensations of work already submitted to AAAI or elsewhere is permissible, so long as duplications are noted. Submissions should include postal addresses, email addresses, and phone numbers for all authors, plus a stamped self-addressed card if such acknowledgement is desired. Three copies of submitted papers should be sent to Ethan Scarl at Boeing Computer Services, P.O. Box 24346, M/S 7L-64 Seattle, Washington, 98124-0346, (206) 865-3255, 865-2964 [fax]. Papers without illustrations may be sent via email as latex or plain ASCII to ethan@atc.boeing.com. Important dates: April 2, 1990 Papers must be received May 21, 1990 Notification of acceptance mailed June 15, 1990 Abstracts due for early distribution July 10, 1990 Revised papers must be received July 30, 1990 Workshop