"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