AISB'93 Conference in AI and Cognitive Science

aisb93-prog@computer-science.birmingham.ac.uk aisb93-prog at computer-science.birmingham.ac.uk
Tue Jan 19 20:54:40 EST 1993


________________________________________________________________________
________________________________________________________________________

             CONFERENCE PROGRAMME and REGISTRATION INFORMATION

                               A I S B' 9 3

'P R O S P E C T S   F O R   A R T I F I C I A L   I N T E L L I G E N C E'

                    Cognitive Science Research Centre
                       The University of Birmingham
                       March 29th -- April 2nd 1993
________________________________________________________________________
________________________________________________________________________


                              CONTENTS

                1. Message from the Programme Chair
                2. Technical Programme
                3. Workshops and Tutorials
                4. Registration Form

                            ORGANISATION
Programme Chair:
    Aaron Sloman    (University of Birmingham)

Programme Committee:
    David Hogg      (University of Leeds)
    Glyn Humphreys  (University of Birmingham)
    Allan Ramsay    (University College Dublin)
    Derek Partridge (University of Exeter)

Local Organiser:
    Donald Peterson (University of Birmingham)

Administration:
    Petra Hickey    (University of Birmingham)

                          GENERAL ENQUIRIES
AISB'93,
School of Computer Science,
The University of Birmingham,
Edgbaston,
Birmingham, B15 2TT,
U.K.

Email:    aisb93-prog at cs.bham.ac.uk

Phone:    +44-(0)21-414-3711        Fax:    +44-(0)21-414-4281


                    WORKSHOP and TUTORIAL ENQUIRIES

Hyacinth S. Nwana,
Computer Science Dept.
Keele University, Newcastle,
Staffs ST5 5BG,
ENGLAND.

JANET: nwanahs at uk.ac.keele.cs
Other: nwanahs at cs.keele.ac.uk

Phone: +44 (0)782 583413           Fax: +44 (0)782 713082

________________________________________________________________________

                   MESSAGE FROM THE PROGRAMME CHAIR
________________________________________________________________________

The biennial conferences of the Society for the Study of Artificial
Intelligence and the Simulation of Behaviour are traditionally
"single-track" scientific meetings aiming to bring together all areas
of research in AI and computational cognitive science, and AISB'93 is
no exception. With the end of the century close at hand, it seemed
appropriate to choose a forward looking theme, so the five invited
speakers, all distinguished researchers in their own sub-fields, have
been asked to identify trends and project into the future, instead of
simply surveying past achievements. Some but not all of the submitted
papers also analyse prospects; the others report on work already done.

The referees and the selection committee used as a major criterion for
selection the requirement that papers should be of interest to a
general AI audience. All of the papers have in common a commitment to
a "design-based" approach to the study of intelligence, though some of
them focus mainly on requirements, some mainly on designs and some on
actual implementations, and of course there is wide variation not only
regarding the sub-domains of AI (such as vision, learning, language,
emotions) but also between the techniques used (such as symbolic
reasoning, neural net models, genetic algorithms), and also between
those who attempt to design intelligent agents using a top down
analysis of human-like intelligence and those who work bottom up from
primitive insect-like mechanisms. There is also international variety,
with papers from several European countries and further afield.

This variety of topics and approaches promises to make the conference
particularly lively, with plenty of scope for controversy. We have
therefore decided to allow a little more time than usual for each item
in the programme, so that questions and discussions can add to the
interest.

There will also be poster presentations, where some work that could
not be included in the formal proceedings can be presented, and it is
expected that there will be book displays by major AI publishers and
possibly some displays and demonstrations by vendors of AI software
and systems. The conference will be preceded by a programme of seven
tutorials and workshops for which separate registration is available.

Integral Solutions Limited have agreed to present a prize of AI
software, including Poplog, and a place on one of their training
courses, for the paper voted "best presented" by the audience.

For those involved in AI and Cognitive Science, the conference is a
primary opportunity to meet, discuss and learn about current work. For
those new to these fields, the conference is a chance to become
acquainted with them in pleasant surroundings and to meet the people
involved. For full-time students, large reductions in registration
fees are offered.

The location of the conference is one of the attractive halls of
residence in a pleasant lakeside setting at one end of the campus of
the University of Birmingham. This is not very far from the city
centre, so a visit to one of the local attractions of the centre, such
as the renowned Symphony Hall, will require a journey of only a few
minutes by taxi or train. Single room accommodation has been booked,
and the auditorium is in the same building as the bedrooms and dining
room, so that the conference will provide excellent opportunities for
informal mixing and discussions. The number of rooms available is
limited, so early booking is recommended.

We look forward to seeing you and hope you enjoy the conference.

Aaron Sloman.



________________________________________________________________________

                          TECHNICAL PROGRAMME

        (The order is provisional. Invited talks are asterisked)
________________________________________________________________________


                           MONDAY MARCH 29TH

Workshops and Tutorials (see below)

                    TUESDAY MARCH 30TH (Morning)

Workshops and Tutorials (see below)

                    TUESDAY MARCH 30TH (Afternoon)

* Kurt Van Lehn (Pittsburg)
--- Prospects for modelling human learning (e.g. college physics)

Husbands, Harvey, Cliff
--- An evolutionary approach to AI

Edmund Furse
--- Escaping from the box

Thomas Vogel
--- Learning biped robot obstacle crossing

Antunes, Moniz, Azevedo
--- RB+ the dynamic estimation of the opponent's strength

                          WEDNESDAY 31ST MARCH

* Ian Sommerville (Lancaster)
--- Prospects for AI in systems design

Oh, Azzelarabe, Sommerville, French
--- Incorporating a cooperative design model in a computer aided
design improvement system

Stuart Watt
--- Fractal behaviour analysis

Valente, Breuker, Bredewg
--- Integrating modeling approaches in the commonKADS library

Cawsey, Galliers, Reece, Jones
--- Revising beliefs and intentions: a unified framework for agent interaction

* Allan Ramsay (Dublin)
--- Prospects for natural language processing by machine

Lin, Fawcett, Davies
--- Genedis: the discourse generator in communal

Miwa, Simon
--- Production system modelling to represent individual differences:
tradeoff between simplicity and accuracy in simulation of behaviour

Freksa, Zimmerman
--- Enhancing spatial reasoning by the concept of motion

POSTER SESSION
 

                          THURSDAY 1ST APRIL

* Glyn Humphreys (Birmingham)
---  Prospects for connectionism - science and engineering

Rodrigues, Lee
--- Nouvelle AI and perceptual control theory

Vogel, Popwich, Cercone
--- Logic-based inheritance reasoning

Beatriz Lopez
--- Reactive planning through the integration of a case-based system
and a rule-based system

James Stone
--- Computer vision: what is it good for?

SESSION ON EMOTIONS AND MOTIVATION

Bruce Katz
--- Musical resolution and musical pleasure

Moffatt, Phaf, Frijda
--- Analysis of a model of emotions

Beaudoin, Sloman
--- A computational exploration of the attention control theory of
motivator processing and emotion

Reichgelt, Shadbolt et al.
--- EXPLAIN: on implementing more effective tutoring systems

POSTER SESSION

CONFERENCE DINNER

                    FRIDAY 2ND APRIL (Morning)

* David Hogg (Leeds)
--- Prospects for computer vision

Elio, Watanabe
--- Simulating the interactive effects of domain knowledge and category
structure within a constructive induction system

Dalbosco, Armando
--- MRG an integrated multifunctional reasoning system

Bibby, Reichgelt
--- Modelling multiple uses of the same representation in SOAR1

Sam Steel
--- A connection between decision theory and program logic

INFORMAL WORKSHOP ON MOTIVATION, EMOTIONS AND ATTENTION (see below)


________________________________________________________________________

Workshop 1:	Connectionism, Cognition and a New AI

Organiser:	Dr Noel Sharkey  (Exeter)

Committee:
		Andy Clark (Sussex)
		Glyn Humphries (Birmingham)
		Kim Plunkett (Oxford)
		Chris Thornton (Sussex)

Time:		Monday 29th pm & Tuesday 30th March (all day)

Note:		This workshop overlaps with the events in the main
                Technical Programme on the afternoon on Tuesday 30th.
________________________________________________________________________


A number of recent developments in Connectionist Research have strong
implications for the future of AI and the study of Cognition. Among the
most important are developments in Learning, Representation, and
Productivity (or Generalisation). The aim of the workshop would be to
focus on how these developments may change the way we look at AI and the
study of Cognition.

SUGGESTED TOPICS FOR DISCUSSION ABSTRACTS INCLUDE:
Connectionist representation, Generalisation and Transfer of Knowledge,
Learning Machines and models of human development,
Symbolic Learning versus Connectionist learning,
Advantages of Connectionist/Symbolic hybrids,
Modelling Cognitive Neuropsychology,
Connectionist modelling of Creativity and music (or other arts).

WORKSHOP ENTRANCE
Attendance at the workshop will be limited to 50 or 60 places, so please
let us know as soon as possible if you are planning to attend, and to
which of the following categories you belong.

DISCUSSION PAPERS
Acceptance of discussion papers will be decided on the basis of extended
abstracts (try to keep them under 500 words please) clearly specifying a
15 to 20 minute discussion topic for oral presentation.

ORDINARY PARTICIPANTS
A limited number places will be available for participants who wish to
sit in on the discussion but do not wish to present a paper. But please
get in early with a short note saying what your purpose in attending is.

PLEASE SEND SUBMISSIONS TO:
Dr. Noel Sharkey
Centre for Connection Science
Dept. Computer Science
University of Exeter
Exeter EX4 4PT
Devon U.K.          Email: noel at uk.ac.exeter.dcs

REGISTRATION: see Registration Form below.

________________________________________________________________________

Workshop 2:   Qualitative and Causal Reasoning

Organiser:    Dr Tony Cohn (Leeds, U.K.)

Committee:    Mark Lee (Aberystwth)
              Chris Price (Aberystwth)
              Chris Preist (Hewlett Packard Labs, Bristol)

Time:         Monday 29th March + Tuesday 30th March (morning)
________________________________________________________________________


This workshop is intended to follow on from the series of DKBS (Deep
Knowledge Based Systems) workshops which were originally initiated
under the Alvey programme.  QCR93 will be the 8th in the series.  The
format of the 1.5 day workshop will consist mainly of presentations,
with ample time for discussion.  It is hoped to have an invited talk
in addition.  Participation will be by invitation only and numbers
will be limited in order to keep an informal atmosphere.  If you wish
to present a paper at the workshop, please send 4 copies (max 5000
words) to the address below by 20 Feb. An electronic submission is
also possible (either postscript or plain ascii).  Alternatively send
a letter or email explaining your reasons for being interested in
attending.  Papers may address any aspect of Qualitative and Causal
Reasoning and Representation.  Thus the scope of the workshop includes
the following topics:

 * Task-level reasoning (e.g., design, diagnosis, training, etc.)
 * Ontologies (e.g., space, time, fluids, etc.)
 * Explanation, causality and teleology
 * Mathematical formalization of QR
 * Management of multiple models (formalization, architecture, studies)
 * Model building tools
 * Integration with other techniques (e.g., dynamics, uncertainty, etc.)
 * Methodologies for selecting/classifying QR methods
 * Practical applications of QR, or Model Based Reasoning etc.

These topics are not meant to be prescriptive and papers on other
related or relevant topics are welcome.
Suggestions for special sessions for the workshop are also welcome (eg
panel session topics).

There may be some partial bursaries available to students who wish to
attend. If you wish to apply for such a bursary, then please send a
letter giving a case for support (include details of any funding
available from elsewhere). A CV should be attached.  Electronic
submission is preferred.

REGISTRATION: see Registration Form below.

CORRESPONDENCE AND SUBMISSIONS:
Tony Cohn,
Division of AI,
School of Computer Studies,
University of Leeds,
LEEDS, LS2  9JT, ENGLAND.

UUCP:    ...!ukc!leeds!agc
JANET:  agc at uk.ac.leeds.scs         INTERNET: agc at scs.leeds.ac.uk
BITNET: agc%uk.ac.leeds.scs at UKACRL
PHONE:  +44 (0)532 335482           FAX:  +44 (0)532 335468

________________________________________________________________________

Workshop 3:	AISB POST-GRADUATE STUDENT WORKSHOP

Organiser:	Dr Hyacinth Nwana
		University of Keele, UK.


Time:		Monday 29th (all day) + Tuesday 30th March (morning)
________________________________________________________________________


Many postgraduate students become academically isolated as a result of
working in specialised domains within fairly small departments.  This
workshop is aimed at providing a forum for graduate students in AI to
present and discuss their ideas with other students in related areas. In
addition there will invited presentations from a number of prominent
researchers in AI.  A small number of group discussions is planned,
including study for and completion of theses, life after a doctorate,
paper refereeing and how to make use of your supervisor.

All attendees are expected to present an introduction to their
research in a poster session on the first day's morning.  In addition
a couple of attendees will be given the opportunity to present short
papers.

Confirmed tutors so far include:
Dr John Self (Lancaster) -  'Why do supervisors supervise?'
Dr Steve Easterbrook (Sussex) - 'How to write a thesis'
Dr Elizabeth Churchill (Nottingham) - Title to be confirmed.
Dr Peter Hancox (Birmingham) - Title to be confirmed.

Applicants are asked to submit a two-page abstract of their current
work.  In addition full papers of between 3000 and 5000 words may
be submitted.  These will be considered for publication in a
supplement to the AISB quarterly journal.

Deadline for 2-page abstracts: 10th February 1993

Please send an abstract or a full paper of work to:

Dr. Hyacinth S. Nwana,
Computer Science Dept.
Keele University, Newcastle,
Staffs ST5 5BG,
ENGLAND.

JANET: nwanahs at uk.ac.keele.cs
other: nwanahs at cs.keele.ac.uk
tel: +44 (0)782 583413
fax: +44 (0)782 713082

REGISTRATION: see Registration Form below.



________________________________________________________________________

Workshop 4: 	Motivation, Emotions and Attention

Organiser:	Tim Read, 
		University of Birmingham

Time: 		Friday 2nd April 2.30 - 5pm 
________________________________________________________________________


An informal workshop will be held after lunch on Friday 2nd April
enabling further discussion of issues raised in the Thursday afternoon
session on motivation and emotions, and possibly additional
presentations. There will be no charge, though numbers will be limited
by available space. For more information contact

The study of emotion encounters many difficulties, among them the
looseness of emotional terminology in everyday speech. A theory of
emotion should supersede this terminology, and should connect with
such issues as motivation, control of attention, resource limitations
architectural parallelism and underlying biological mechanisms.

Computation provides useful analogies in generating an information
processing account of emotion, and computer modelling is a rigorous
and constructive aid in developing theories of affect.

It makes sense for researchers within this field to collaborate, and
the aim of the workshop is to facilitate cross-fertilisation of ideas,
sharing of experience, and healthy discussion.

If you wish to make a presentation, please contact: 

Tim Read
School of Computer Science,
The University of Birmingham,
Edgbaston,
Birmingham
B15 2TT, England

EMAIL   T.M.Read at cs.bham.ac.uk
Phone: +44-(0)21-414-4766       Fax:   +44-(0)21-414-4281

REGISTRATION: see Registration Form below (no charge for this workshop)


________________________________________________________________________

Tutorial 1: 	Collaborative Human-Computer Systems:
		Towards an Integrated Theory of Coordination

		Dr Stefan Kirn
		University of Muenster, Germany

Time: 		Monday 29th March (morning)
________________________________________________________________________


Intelligent support of human experts' intellectual work is one of the
most competitive edges of computer technology today. Important
advances have been made in the fields of computer networking, AI
(e.g., KADS, CBR, Distributed AI), integrated design frameworks (the
European JESSI project), nonstandard databases (e.g., databases for
teamwork support), computer supported cooperative work, and
organizational theory. The time is ripe for developing integrated
human computer collaborative systems to significantly enhance the
problem solving capabilities of human experts. Perhaps one of the most
interesting challenges here is the development of an integrated theory
of human computer coordination. Such a theory will help to link humans
and computers together in order to let them collaboratively work on
complex "nonstandard" problems.  It is the aim of the tutorial to put
the loose ends of the above mentioned disciplines together thus
arguing towards the development of an integrated theory of human
computer coordination. Only undergraduate-level knowledge in at least
one of the following fields is assumed: AI, database/information
systems, organisational theory and CSCW.

Dr Stefan Kirn is senior researcher and project leader at the
Institute of Business and Information Systems of the Westfaelische
Wilhelms-University of Muenster. He has more than 30 major
publications in international journals and conferences, primarily in
the areas of DAI, Cooperative Information Systems, CSCW and
Computer-Aided Software Engineering.

REGISTRATION: see Registration Form below.


________________________________________________________________________

Tutorial 2:	The Motivation, Meaning and Use of Constraints

		Dr Mark Wallace
		European Computer-Industry Research Centre
		Munchen, Germany.

Time: 		Monday 29th March (afternoon)
________________________________________________________________________


This tutorial explains how constraints contribute to clear, clean,
efficient programs.  We study constraints as specification tools, as
formal tools, and as implementation tools.  Finally we examine the use
of constraints in search and optimisation problems.  As the tutorial
unfolds, we will explain the three different notions of constraints:
constraints as built-in relations, with built-in solvers; constraints
as active agents, communicating with a store; and propagation
constraints.  We will also explain how these notions are related, and
moreover how the different types of constraints can all be combined in
a single program.  For programming examples, the logic programming
framework will be used.

It will be aimed at postgraduates, researchers and teachers of AI, who
would like to know what constraints are, and what they are for.  Also
anyone interested in declarative programming, seeking a solution to the
problem of efficiency, will benefit from the tutorial.  An understanding
of formal logic will be assumed, and some familiarity with logic
programming will be necessary to appreciate the programming examples.

Dr Mark Wallace leads the Constraints Reasoning Team at ECRC (the
European Computer-Industry Research Centre), Munich.  He introduced
"Negation by Constraints" at SLP'87. He has recently presented papers at
IJCAI'92, FGCS'92 and JFPL'92. Recent tutorial presentations include a
short course on Deductive and Object-Oriented Knowledge Bases at the
Technical University of Munich, and "Constraint Logic Programming - An
Informal Introduction", written with the CORE team at ECRC for the Logic
Programming Summer School, '92.


REGISTRATION: see Registration Form below.

________________________________________________________________________

Tutorial 3:	A Little Turing and Goedel for Specialists in AI

		Prof. Alexis Manaster Ramer
		Wayne State University, USA.

Time: 		Monday 29th March (morning + afternoon)
________________________________________________________________________


Currently debated issues in the foundations of AI go directly back to
technical work of people like Turing and Godel on the power and limits
of formal systems and computing devices.  Yet neither the relevant
results nor the intellectual climate in which they arose are widely
discussed in the AI community (for example, how many know that Godel
himself believed that the human mind was not subject to the limits set
by his theorems on formal systems?).  The purpose of this tutorial is
to develop a clear picture of the fundamental results and their
implications as seen at the time they were obtained and at the present
time. We will primarily refer to the work of Godel, Turing, Chomsky,
Hinttika, Langendoen and Postal, Searle, and Penrose.  Some background
knowledge is assumed: some programming, some AI and some discrete
mathematics.

Dr Alexis Manaster Ramer is professor of Computer Science at Wayne
State University. He has over 100 publications and presentations in
linguistics, computational linguistics, and foundations of CS and AI.
A few years ago, he taught a short course on the theory of computation
for the Natural Language Processing group at the IBM T.J.Watson
Research Center (Hawthorne, NY, USA) and this past summer taught a
one-week advanced course on mathematics of language at the European
Summer School in Logic, Language, and Information (Colchester, UK).


REGISTRATION: see Registration Form below.

________________________________________________________________________

                             OTHER MEETINGS
________________________________________________________________________


LAGB CONFERENCE.

Shortly before AISB'93, the Linguistics Association of Great Britain
(LAGB) will hold its Spring Meeting at the University of Birmingham
from 22-24th March, 1993. For more information, contact Dr.  William
Edmondson: postal address as below; phone +44-(0)21-414-4773; email
EDMONDSONWH at vax1.bham.ac.uk

JCI CONFERENCE

The Joint Council Initiative in Cognitive Science and Human Computer
Interaction will hold its Annual Meeting on Monday 29th March 1993 in
the same buildings as AISB'93 (in parallel with the AISB'93 workshops
and tutorials). The theme will be "Understanding and Supporting
Acquisition of Cognitive Skills". For more information, contact
Elizabeth Pollitzer, Department of Computing, Imperial College, 180,
Queens Gate, London SW7 2BZ, U.K.; phone +44-(0)71-581-8024; email
eep at doc.ic.ac.uk.

________________________________________________________________________

                           REGISTRATION  NOTES

                 Main Programme, Workshops and Tutorials
________________________________________________________________________


o Please print off the form, tick through the items you require, enter
sub-totals and totals and send by post, together with payment, to:

AISB'93 Registrations, 
School of Computer Science, 
University of Birmingham, 
Edgbaston, 
Birmingham B15 2TT, 
U.K.

o Payment should be made by cheque or money order payable to `The
University of Birmingham', drawn in pounds sterling on a UK clearing
bank and should accompany the form below.

o Registrations postmarked after 10th March count as late
registrations.

o It is not possible to register by email.

o Confirmation of booking, a receipt, and travel details will be sent on
receipt of this application form.

o The Conference Dinner (20 pounds) is on the evening of Thursday 1st.

o Delegates wishing to join AISB (thus avoiding the non-AISB member
supplement) should contact: AISB Administration, Cognitive and
Computing Sciences, University of Sussex, Brighton BN1 9QH, U.K.;
phone: +44-(0)273 678379; fax: +44-(0)273 678188; email:
aisb at cogs.susx.ac.uk

Donald Peterson, January 1993. 

______________________________________________________________________

         R E G I S T R A T I O N   F O R M   ----   A I S B' 9 3
______________________________________________________________________

Figures in parentheses are for full-time students (send photo copy of ID).

                         ACCOMMODATION and FOOD

          28th    29th    30th    31st    1st     sub-totals

lunch             5.50    5.50    5.50    5.50    ______

dinner            7.50    7.50    7.50    20.00   ______

bed &     23.00   23.00   23.00   23.00   23.00   ______
breakfast
                                          total   ______
vegetarians please tick  _____

               TECHNICAL PROGRAMME, WORKSHOPS and TUTORIALS

technical programme             175 (40)        _____

non-AISB members add            30              _____

late registration add           35              _____

Nwana workshop                  50              _____

Sharkey workshop                60 (30)	        _____

Cohn workshop                   60 (30)	        _____

Read workshop                   0               _____

Manaster Ramer tutorial         110 (55)        _____

Wallace tutorial                75 (30)         _____

Kirn tutorial                   75 (30)         _____

                                        total   _____       Pounds

                          PERSONAL DETAILS
                                                             Full time
Name             ___________________________________________ student? Y/N

Address          ___________________________________________

                 ___________________________________________

                 ___________________________________________

                 ___________________________________________

Phone            _________________________  Fax  ___________

Email            ___________________________________________

I wish to register for the events indicated, and enclose a cheque in
pounds sterling, drawn on a U.K. clearing bank and payable to the
`University of Birmingham' for .....

Signed           _________________________  Date ___________


More information about the Connectionists mailing list