Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!gatech!howland.reston.ans.net!news.sprintlink.net!EU.net!uknet!newsfeed.ed.ac.uk!leeds.ac.uk!news
From: amp@cbl.leeds.ac.uk (Ana Paiva)
Subject: CFP - Computational Mathetics Workshop at AI-ED 95
Message-ID: <1995Apr30.162654.10068@leeds.ac.uk>
Date: Sun, 30 Apr 1995 17:26:54 +0100 (BST)
X-Newsreader: TIN [version 1.2 PL2]
Lines: 58

WORKSHOP ANNOUNCEMENT / CALL FOR POSITION PAPERS

		       Computational Mathetics

Below are some details about a workshop to be held on the 
first day of AI-ED 95 in Washington.  (Details of AI-ED 95 
may be obtained from aace@virginia.edu.) If you wish to 
participate in the workshop, please send a position paper 
to the workshop chair by May 30th.

-------------------------------------------------------------------------

		       Computational Mathetics
                Wednesday (all day), August 16th August

			   Workshop Chair:
			     John Self
		       Computing Department
		       Lancaster University
		       Lancaster LA1 4YR, UK
		       Email: jas@comp.lancs.ac.uk

		       Organizing Committee:
Ulrich Hoppe, Duisburg, Germany
Sherman Huang, Calgary, Canada
Ana Paiva, Lisbon, Portugal


Recently, the AI-ED field has moved away from its roots in AI to
consider broader educational, psychological and social issues.  Such
considerations should be complemented by the kind of theoretical rigour
common in other areas of applied AI.  Computational Mathetics is a term
invented to denote the study of learning and teaching using the
technical, formal concepts of AI.  The purpose of Computational
Mathetics is to enable components of AI-ED systems to be designed by
analytic means (eventually).  Recent work on multi-agent systems
promises a foundation for Computational Mathetics, since AI-ED systems
are essentially concerned with interactions between various agents
which may be ascribed various mental attitudes.  Other relevant areas
of formal AI include belief revision, diagnosis, dialogue, machine
learning, meta-reasoning, and nonmonotonic reasoning.

The main aim of this workshop is to review the extent to which formal
AI can begin to provide an analytic basis for AI-ED systems, and to
identify those areas where progress is most likely or urgent.  The
workshop will be organised as a set of sessions each with a panel 
discussion based on a review paper.

The workshop is intended for those who have made, or hope to make, some
contribution to Computational Mathetics.  They would be able to relate
some area of formal AI to Computational Mathetics.  Those wishing to
participate should submit a short position paper by May 3th to the 
workshop chair outlining their experiences or views on some aspect 
of Computational Mathetics.

----
Ana Paiva
amp@cbl.leeds.ac.uk
