From: rose@src.honeywell.com (Fred Rose)
Subject: CALL FOR PAPERS: Applications of AI Special Session
To: comp.lang.vhdl, comp.lang.verilog, comp.lsi.cad
Posted-Date: Thu, 10 Sep 92 11: 14:55 CDT
Organization: Honeywell Systems & Research Center
Date: Thu, 10 Sep 1992 16:14:55 GMT
Received-Date: Thu, 10 Sep 92 11: 14:56 CDT



**************************************************************************

   APPLICATIONS OF AI XI: Knowledge-Based Systems in Aerospace & Industry
   ---------------------------------------------------------------------

                          SPECIAL SESSION:  
   INTEGRATING AI REASONING SYSTEMS AND HARDWARE DESCRIPTION LANGUAGES


                          CALL FOR PAPERS

Authors are invited to submit draft papers for this special session that
will be held at the Applications of Artificial Intelligence XI Conference.
The focus of this year's conference is on industrial and aerospace
applications of AI, machine learning, and reasoning systems.  The
conference will take place April 12-16, 1993 in Orlando, Florida.  This
special session will be scheduled for a half-day sometime during the
conference.  Further details on the conference are given in the conference
announcement attached to the end of this special session description.

This special session will focus on issues involved in 'knowledge sharing'
between AI reasoning systems and equipment descriptions, specifications and
models.  Since each source contains information of interest to the other,
the ability to establish interactions between them should have great
benefits for both.

The obvious benefit to AI systems is a partial solution to the age-old
knowledge acquisition bottleneck.  Knowledge-based systems, especially
reasoning systems and many machine learning techniques, typically require
extensive knowledge about the domain in which they are to operate.  The
required breadth and depth of this prerequisite knowledge is especially
challenging in complex, real-world domains such as industrial and aerospace
applications.  On the other hand, it is commonplace in these domains for
equipment to be well documented, both before and after manufacture, with
detailed specifications about its functionality and performance
characteristics.  It will soon be the case that most of these equipment
specifications will be written and developed as executable software
simulations in hardware description languages such as the VHSIC Hardware
Description Language (VHDL) and Verilog.

Clearly, it would be of great benefit for knowledge-based systems to be
able to obtain at least some of their prerequisite knowledge from such
sources.  As one prominent researcher in the area of explanation based
learning speculated: "We foresee a future in which manufacturers of
component equipment themselves provide descriptions, in some standard
knowledge-based formalism, of the functionality of their product just as
today they provide technical descriptions in a form understandable to
[equipment] designers.  As the manufacturer makes available refined
versions of installed equipment, the old knowledge-based description of the
component is simply supplanted with the new.  The knowledge engineer need
only oversee incorporation of the new knowledge insuring that there are no
negative interactions that harm overall system performance."  (Jerry
DeJong, March, 1992)

There are also great potential benefits for hardware designers to
integrating AI systems with hardware description languages and simulations.
These potential benefits come from the fact that AI systems are much better
sources for representing and reasoning about high-level, integrated system
performance descriptions.  Such high-level representations and reasoning
can be used to derive requirements around which systems should be designed.
This sort of reasoning can also be used in verifying that integrated
systems of components will perform as required.  Finally, such high-level
reasoning can effectively be used to guide efficient resource usage or fast
reconfiguration of systems of components.

This special session will be devoted to exploring issues that arise in
integrating AI reasoning systems with descriptions, models, specifications
or simulations of equipment.  We are especially soliciting papers reporting
on current or recent work integrating AI reasoning systems with hardware
description languages, from either of the perspectives described above.  We
also encourage papers on directly relevant topics such as knowledge sharing
research, multilevel and integrated reasoning systems, variable resolution
modeling, reasoning over multiple models, automated simulation design and
analysis, and deriving hardware requirements from high-level AI reasoning
systems.

Submission Guidelines:

To submit a paper, send four copies not exceeding 10 pages single-spaced
(approx. 5000 words) including figures and bibliography by October 5, 1992
to the following address.  

                 SPECIAL SESSION
                 c/o Chris Miller
                 Honeywell Systems and Research Center
                 3660 Technology Drive, MN65-2500
                 Minneapolis, MN  55418

We will review your paper and notify you of acceptance by 10 December.
Camera-ready papers (5000 words) will be due Jaunary 18, 1993.  We
encourage prospective authors to contact any of the session organizers to
discuss topics before submitting full papers.
                 

Session Organizers

Keith Levi                                 email:  levi@miu.edu
Computer Science Department                telephone: 515 472-1103
Maharishi International University
Fairfield, IA 

Chris Miller                               email:  cmiller@src.honeywell.com
Honeywell Systems and Research Center      telephone: 612 782-7484
Minneapolis, MN

Dale Moberg                                email:  moberg@cis.ohio-state.edu
Laboratory for Artificial Intelligence     telephone: 614 292-8578
  Research
Ohio State University
Columbus, OH

Fred Rose                                  email:  rose@src.honeywell.com
Honeywell Systems and Research Center      telephone: 612 782-7484
Minneapolis, MN



************************************************************************
               ATTACHMENT:  CONFERENCE ANNOUNCEMENT
************************************************************************


   APPLICATIONS OF AI XI: Knowledge-Based Systems in Aerospace & Industry
   ---------------------------------------------------------------------

				April 12-16, 1993
				Marriott's Orlando World Center
				Resort and Convention Center
				Orlando, Florida,  U.S.A.

Sponsored by:	SPIE -- The Society for Optical Engineering 
In cooperation with: 	
                 AIAA -- The American Institute of Aeronautics and Astronautics
                 IEEE Computer Society
                 IEEE Systems, Man, and Cybernetics Society
                 AAAI -- American Association for Artificial Intelligence

Conference Co-Chairs:
   Usama M. Fayyad                         Ramasamy Uthurusamy        
   Jet Propulsion Lab                      General Motors Research Laboratories
   California Institute of Technology    

Program Committee: 

   Ray Bareiss, Northwestern University 
   James Bezdek, University of West Florida  
   Gautam Biswas, Vanderbilt University
   Wray Buntine, NASA Ames Research Center 
   Steve Chien, Jet Propulsion Lab  
   Tharam Dillon, La Trobe University, Australia
   Richard Doyle, Jet Propulsion Lab  
   Doug Fisher, Vanderbilt University  
   Paul Fishwick, University of Florida  
   David Franke, MCC 
   Ashok Goel, Georgia Tech.  
   Larry Hall, University of South Florida  
   Yumi Iwasaki, Stanford University 
   Ramesh Jain, The University of Michigan
   Steven Lytinen, The University of Michigan
   Stephen C.Y. Lu, University of Illinois
   Ray Mooney, University of Texas at Austin
   Gregory Piatetsky-Shapiro,  GTE Laboratories  
   J. Ross Quinlan, University of Sydney, Australia
   Ethan Scarl, Boeing Computer Services  
   Jude Shavlik, University of Wisconsin, Madison  
   Prakash Shenoy, University of Kansas 
   N.S. Sridharan, Intel Corporation
   Evangelos Simoudis, Lockheed Aerospace 
   Stephen Smith, Carnegie Mellon University 
   Jon Sticklen, Michigan State University 
   Richard Zurawsky, Swinburne Institute of Technology, Australia


This year we will focus on techniques and applications that deal with 
actual industrial and aerospace applications of AI, machine learning,
and reasoning systems.

Topics of interest include but are not limited to:

1. Machine Learning 
2. Industrial and Aerospace Applications 
3. Diagnostic Systems
4. Knowledge Acquisition and Refinement 
5. Knowledge Based Systems: Verification and Validation 
6. Manufacturing Systems 
7. Case-Based Reasoning  
8. Functional Reasoning 
9. Model-Based and Qualitative Reasoning 
10. Multilevel and Integrated Reasoning Systems
11. Planning and Scheduling 
12. Design 
13. Training and Tutoring Systems 
14. Intelligent Interfaces and Natural Language Processing
15. Intelligent Database Systems
16. Parallel Architectures

Submissions will be reviewed by at least two members of the program
committee and reviews will be returned to the authors.  It is important
that each paper clearly state the problem which is being addressed, the
contribution that has been made, and the relation to the current state of
the art.

The program committee and conference chairs will make a selection of the
best papers accepted, and these authors will be invited to submit a revised
version of their paper to one or more special issues of journals in AI (to
be decided later).
             
Each presenter is generally allowed 20 to 25 minutes for presentation, plus a 
brief discussion period (about 5 minutes). SPIE will provide the following 
media equipment free of charge: 35 mm carousel slide projectors, overhead 
projectors, electronic pointers and VHS format video display. 

Author Benefits
  Authors and coauthors who attend the conference will be accorded a 
  reduced-rate registration fee, a complimentary one-year non-voting
  membership in SPIE (if never before a member), and other special benefits.


 

Newsgroups: comp.lang.vhdl