From: Jorge Luis Diaz-Herrera
Subject: SIGAda Artificial Intelligence WG Meeting
Date: 
Message-ID: <1995May21.113645.28431@sei.cmu.edu>
--------------------------------------------------------------------------
				      SIGAda Artificial Intelligence WG Meeting
						at the Washington Ada Symposium
								   June 27 1995
			     AIWG 1-day Workshop
			     -------------------
The purpose of this workshop is to bring together software researchers and
practitioners from real-time, Ada and AI communities to exchange ideas,
results, and lessons learned, addressing the unique set of problems brought
about by the integration of Artificial Intelligence (AI) into conventional
embedded systems. 

WHY?
----
   Artificial Intelligence technology is proving to be of value in solving
   complex problems requiring reasoning on dynamic, uncertain, and incompletely
   specified domains. AI has been successfully applied in a range of
   applications including, for example, decision support systems and situation
   assessment--for example, target classification and early warning
   systems--by allowing the manipulation of vast amounts of information
   generated by modern sensors and intelligence systems. 

TOPICS
------
   Although these next generation embedded systems possess some unique special
   purpose requirements, they must be integrated with existing conventional
   software performing conventional real-time tasks. The integration of matured
   AI methods and techniques with conventional software engineering remains
   difficult and poses both implementation and conceptual problems. 

   Our ultimate goal is to understand what problems the embedded AI community
   (specially the defense establishment) face and what solutions are
   potentially or actually available to address these problems. As a result,
   we would be able to identify potential technology that makes the practice
   of software engineering more effective in solving embedded AI
   implementation problems. This introduces new conceptual and engineering
   problems into traditional AI and important software engineering challenges;
   these include
   o Systems design and intelligence integration
     -  AI problems and their solutions within the framework of embedded
	real-time systems. 
     -  Integration of AI technology with conventional, complex, large
	software systems. 
   o Real-time AI computing
     -  Algorithms (e.g., performance within real-time constraints) 
     -	Theory (e.g., deadline-driven reasoning with dynamically changing data)
   o Software Engineering issues
     -	Problems in scaling up (e.g., from prototypes to full-scale deployed
	systems) 
     -	Compliance with standard practice
     -	Adequacy of traditional AI languages and tools (specially CommonLisp)
     -	Adequacy of traditional software engineering languages and tools
	(specially Ada) 

Submit a position paper (2-3 pages) on any of the subjects listed above (or
other related topic) by May 31, 1995. Authors will be notified of acceptance
by June 10, 1995 and will be given instructions for final preparation of their
papers/presentations at that time. (Submissions by e-mail using PostSript(tm)
will be accepted and encouraged) 

	For additional information and address to send submissions:

Dr. Jorge L. Diaz-Herrera
Software Engineering Institute
Carnegie Mellon University
4500 Fifth Avenue, Pittsburgh, PA 15213-3890
voice: (412) 268-7636; 	  FAX: (412) 268-5758;     e-mail: ·····@SEI.CMU.EDU



				SIGAda AIWG
		Artificial Intelligence Working Group Charter

Jorge L. Diaz-Herrera (SEI), chair
Janet F. Johns (MITRE Corp.), vice-chair

Aims and Objectives
-------------------
Typically, AI languages are higher-level than more traditional languages for
embedded systems such as Ada, but they are lacking in several areas.
Currently, LISP (and its many derivatives) is the language of choice among DoD
Artificial Intelligence implementers, its continued use may retard the
expected benefits and widespread use of Ada. 

The purpose of this working group is to respond to the issues brought about by
the interaction between Artificial Intelligence and Ada. It encompasses
primarily the use of the Ada language and software engineering approaches to
the development of AI systems to identify specific requirements from AI
community and collect and disseminate information in the subject area, such
as: 
   o	lessons learned (technical reports)
   o	available applications (survey reports)
   o	engineering technology (catalogue of components and guidelines of
	approaches) 
   o	workshops and tutorials
   o	published proceedings, and special reports in SIGAda�s newsletter

Long Term Goals
_______________
   o	Identification of minimal facilities for engineering AI Software
  	(preparation of guidelines/handbook) 
   o	Identification and preliminary design of set of reusable AI components
	that will grow into a common set of standard interfaces. 
   o	Explore Ada-CommonLISP interface requirements and eventually propose
	an interface annex 
   o	Penetration in the AI community 

Activities
----------
   o	Organize AI-Ada workshops and publish proceedings.
   o	Publish annual reports in Ada letters.
   o	Conduct tutorials on AI-Ada to both communities.
   o	Conduct surveys in order to locate and summarize Ada usage for AI
	applications. 
   o	Identify requirements from the AI community (laboratories, industry
	and government) that have incidence on the Ada language through
	secondary standards.  
   o	Conduct in-depth studies on issues related to applying software
	engineering to AI software development. Publish findings. 

Members
-------
Membership of the AIWG is open to all persons who address any of the officers
in writing expressing their wishes to join the group, after which they will be
added to the membership list. This list becomes the mailing list of the group.
Members are encouraged to be active participants in the group activities, but
they do have formal duties.

     We need your support become an ACTIVE member, come to our summer meeting!
==============================================================================