Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!yeshua.marcam.com!news.kei.com!ub!acsu.buffalo.edu!amruth
From: amruth@cs.buffalo.edu (Amruth Kumar)
Subject: CFP: 'Reasoning About Function' track at FLAIRS '95
Message-ID: <CyKLup.MKE@acsu.buffalo.edu>
Sender: nntp@acsu.buffalo.edu
Nntp-Posting-Host: hadar.cs.buffalo.edu
Organization: State University of New York at Buffalo/Computer Science
Date: Tue, 1 Nov 1994 04:01:36 GMT
Lines: 86

Please also pass this on to any colleagues who may be interested:

                      CALL FOR PAPERS
                      ---------------

                 "Reasoning About Function"
                  ------------------------
                  track to be held during
           Florida AI Research Symposium (FLAIRS 95)
                at Melbourne Beach, Florida
                    on April 27-29, 1995.

Submission: 2000 word paper by ftp by November 15th
Notification to Authors: January 7th, 1995
Camera Ready Copy due:   March 1st, 1995

   The explicit representation and use of the function (purpose) 
 of an object, either as intended by its designer or as interpreted 
 by its user, is emerging as a focal point of problem solving in 
 fields as diverse as Device Invention, Redesign, Diagnosis, 
 Explanation Generation and Automatic Debugging.  Explicit treatment 
 of function has proven to be very useful because of its potential 
 to organize and provide access to causal knowledge of the object 
 (eg., focuses on missing causality during redesign), because of the 
 improved focus it brings to the reasoning process (eg., discriminates 
 among suspects during diagnosis) and because of its utility in 
 addressing the scaling problem. 

   To date, function-based knowledge has been successfully
 applied in several domains, a few of them being Software 
 Engineering, Human Physiology, Medicine, Architecture, Law, 
 and various fields of  engineering such as Electrical, 
 Aerospace and Chemical Engineering. 
 This track is hoped to provide a forum for researchers to exchange
 ideas, swap notes across domains, and present their experiences.

 Papers of interest to this track are: 
  * Reasoning techniques that use function
  * Representation formalisms for function
  * Applications of function: reports, results

PS: If you are not sure whether your paper fits into the above topic,
  please refer to the following reports for clarification. These are
  reports from a previous workshop on "Reasoning About Function", held
  at AAAI-93:
   * AI Magazine, 15(1): Spring 94 issue, pp 64-65
   * SIGART Bulletin 5(3): July 94 issue, pp 49-51

SUBMISSION DETAILS:
-------------------
Maximum Length: 2000 words

Submission: by anonymous ftp to the site 
           "ftp.cs.buffalo.edu", 
   in the directory users/amruth, by:
            November 15th, 1994.

Note:
  * Preferred formats are dvi and postscript. If you have
      a different format, you may be asked to submit a hard
      copy of the paper also.
  * This paper should be a single self-contained file.
  * DO NOT include your name/affiliation or any other
      identifying information in the file.
  * The name of the file should be the last name of the first
      author.
  * Once you have submitted your paper, please send mail to
           amruth@ultrix.ramapo.edu
      informing me about your submission, within 24 hours.
      In this mail message, specify the name(s), address(es)
       affiliation(s) and telephone/fax numbers of all the authors,
       along with the name of the submitted file.
      THIS STEP IS A MUST FOR SUBMISSION.

IMPORTANT DEADLINES:
--------------------
Notification to Authors: January 7th, 1995, by electronic
  mail where possible. 

Camera Ready Copy due:   March 1st, 1995
This should be sent to the Program Chair, Dr. John H. Stewman.

For Further Information, Contact:
  Amruth N. Kumar
  (amruth@ultrix.ramapo.edu)
  201-529-7712
