Copy Link
Add to Bookmark
Report
Alife Digest Number 093
Alife Digest, Number 093
Friday, January 22nd 1993
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~ Artificial Life Distribution List ~
~ ~
~ All submissions for distribution to: alife@cognet.ucla.edu ~
~ All list subscriber additions, deletions, or administrative details to: ~
~ alife-request@cognet.ucla.edu ~
~ All software, tech reports to Alife depository through ~
~ anonymous ftp at ftp.cognet.ucla.edu in ~ftp/pub/alife (128.97.50.19) ~
~ ~
~ List maintainers: Liane Gabora and Rob Collins ~
~ Artificial Life Research Group, UCLA ~
~ ~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Today's Topics:
Calendar of Alife-related Events
How to get Cellsim V2.5
HMC Symposium on Pattern Formation
AISB'93 Conference in AI and Cognitive Science
----------------------------------------------------------------------
Date: Fri, 22 Jan 93 18:08:22 -0800
From: liane@CS.UCLA.EDU (Liane Gabora)
Subject: Calendar of Alife-related Events
**********************************************************************
Symposium on Pattern Formation, Claremont California Feb 12-13, 1993 v90
Biol and Tech of Autonomous Agents, Trento Italy Mar 1-12, 1993 v88
Conf on Neural Networks, San Francisco CA Mar 28-Apr 1, 1993 v79
Conf on Fuzzy Systems, San Francisco CA Mar 28-Apr 1, 1993 v79
AI and Simulation of Behaviour Conf, Birmingham UK Mar 29-Apr 2, 1993 v75
Intnl Conf on Neural Nets and GAs, Innsbruck, Austria Apr 13-16, 1993 v80
BEAM Robot Olympics, Toronto Canada Apr 22-25, 1993 v81
European Conf on ALife, Brussels May 24-26, 1993 v82
Intnl Workshop Neural Networks, Barcelona Spain June 9-11, 1993 v76
Intelligent Systems for Molecular Biology, Washington July 7-9, 1993 v84
Fifth Intnl Conf on GAs, Urbana-Champaign IL July 17-22, 1993 v80
Dynamically Interacting Robots Workshop Late Aug, 1993 v91
Congress on Medical Informatics, Sao Paulo, Brazil Sept 9-14, 1995 v91
(Send announcements of other activities to alife@cognet.ucla.edu)
**********************************************************************
------------------------------
Date: Mon, 18 Jan 93 20:18:57 +0100
From: tony@arti14.vub.ac.be (Tony Bell)
I am interested in alife models, or other theoretical models
which approach the problem from the perspective of thermodynamics.
What I mean is that there is free energy up for grabs in the world,
and the creatures (presumably one-celled) have to have metabolisms
that enable them to get it efficiently and keep it. A short browse
through, for example, "The Vital Force: a study of bioenergetics"
by Franklin M. Harold, ought to be enough to convince you of the
phenomenal efficiency of ATP cycles and ion pumping, the finely
calibrated complexity of `the metabolic web', and the primacy of
energy flow in all this.
I guess everyone has a notion that their creatures have a `metabolism'
and that `action requires energy', but I am primarily interested
in any models which have abstracted well from real metabolisms
and keep energetic (as opposed to genetic) considerations to the
forefront.
Tony Bell
------------------------------
Date: Wed, 20 Jan 93 13:34:06 MST
From: hiebeler@santafe.edu
Subject: How to get Cellsim V2.5
Someone recently asked how to get Cellsim version 2.5. It is
currently available for anonymous FTP on think.com (131.239.2.1) under
the directory "pub/cellular-automata/cellsim".
For those who don't know, Cellsim is a cellular automata simulation
package that runs under the SunView windowing system; it runs on Sun
workstations, and can also run on a CM-2 if you can access one on the
network. Cellsim will use a lookup-table to do the computation if the
number of states and neighborhood are small enough; otherwise it will
call a user-supplied update-function to do the cell updates. You can
also plug in user-supplied analysis modules to do whatever
measurements or post-processing you like, etc.
Version 2.5 was released a couple of years ago. Note that the CM-2
portion of the code needs to be updated in order to compile, so if you
want to use it with a CM-2, let me know and I'll try to throw together
a quick update.
Actually, I am nearly done with Cellsim version 3.0, which is
X11-based. I probably only have about 1 more week of work to do on it
(and then I need to document all the new stuff). But I'm involved in
another big project (which I may describe here sometime soon), so I
don't know when I'll get around to finishing. But it will be
announced here and on the CA mailing-list/newsgroup when it is ready.
--
Dave Hiebeler
Thinking Machines Corporation, and Santa Fe Institute
hiebeler@think.com, hiebeler@santafe.edu
------------------------------
Subject: HMC Symposium on Pattern Formation
Date: Fri, 15 Jan 93 8:55:43 PST
From: "Robert M. Keller" <keller@jarthur.Claremont.EDU>
This message provides more detail on the HMC Symposium on Pattern Formation
posted earlier.
Harvey Mudd College
SYMPOSIUM on PATTERN FORMATION
February 12-13, 1993
The symposium will provide a focus on pattern formation from multidisciplinary
vantage points, particularly on aspects of interest to biologists, computer
scientists, mathematicians, and physical scientists. It will examine current
questions in pattern formation within each of these fields and also with
cross-disciplinary perspectives. The area of pattern formation includes
formation of both natural and artificial cellular organisms, formation of
patterns on and within these organisms, and space-time growth patterns. Of
major concern is the formation of emergent patterns through the actions and
interactions of many semi-autonomous units, none of which directs or has full
knowledge of the overall process.
Preliminary Program
>>>>> Friday AM
WELCOME
8:30am to 9:00am -- Beckman 124
INTRODUCTION
Beckman Lecture Hall (Beckman 126)
9:00am -- noon
9:00 Bruce Boghosian Thinking Machines, Inc.
correlations and pattern formation in cellular automata fluids.
(Invited)
9:40 Leah Edelstein-Keshet University of British Columbia
Theories of pattern formation based on short and long-ranged
interactions. (Invited)
10:20 Break Beckman 124
10:50 Karel Culik II University of South Carolina
Pattern generation based on fractals, automata and L-systems.
(Invited)
11:30 Mei Zhu University of Washington
Mechanisms for biological pattern formation -- nonlinear effects
(Contributed)
11:45 Michael Lyons Caltech
Nonlinear analysis of neural pattern formation models.
(Contributed)
12:00 LUNCH
Green Room (Platt Campus Center)
>>>>> Friday PM
APPLICATIONS I
Beckman Lecture Hall (Beckman 126)
1:15pm to 4:05pm
1:15 David R. Soll University of Iowa
The rhythmic behavior of cells in chemotactic waves during
Dicytostelium Aggregation. (Invited)
1:55 John Gerhart Berkeley
Axis formation in Xenopus embryos. (Invited)
2:35 Break Beckman 124
3:05 Peter Salamon San Diego State University
Patterns in the distribution of complexity in naturally
occurring genome sequences. (Contributed)
3:20 Marek Kimmel Rice University
Emergence of stable DNA repeats from random sequences under
unequal sister chromatid exchange. (Contributed)
3:35 Mark Millonas Los Alamos National Laboratory
Swarm field dynamics and functional morphogenesis.
(Contributed)
3:50 John O. Kessler University of Arizona
Microbial consumption patterns.
(Contributed)
4:15 WORKSHOP
Bridging the theory/observation gap.
4:15pm to 5:15pm -- Beckman 126
RECEPTION and DINNER
Reception begins at 6:00pm, Dinner at 6:30pm
Green Room (Platt Campus Center)
>>>>> Saturday AM
MECHANISMS and ANALYSIS
Beckman Lecture Hall (Beckman 126)
8:30 John R. Koza Stanford University
Discovering cellular automata rules using genetic programming.
(Invited)
9:10 Rik Belew UCSD
Interposing a model of development between neural networks
and genetic algorithms. (Invited)
9:50 Rob Shaw McArthur Fellow
Transitions to turbulence in a reaction-diffusion system.
(Invited)
10:30 Break Beckman 124
11:00 Stephanie Forrest University of New Mexico
Emergent computation in the immune system. (Invited)
11:40 Kurt Fleischer Caltech
Generating heterogeneous asymmetric artificial neural networks
using developmental models. (Contributed)
11:55 LUNCH
Green Room (Platt Campus Center)
>>>>> Saturday PM
APPLICATIONS II
Beckman Lecture Hall (Beckman 126)
1:15 Scott Fraser CalTech
Patterning of the developing brain: using intravital microscopy
to follow cell lineages and axonal growth. (Invited)
1:55 Jonathan Roughgarden Stanford University
Patterns in the ecology of barnacle populations from the
California current system. (Invited)
2:35 Break Beckman 124
3:05 Sven Jakubith Berkeley
Spontanous pattern formation during the oxidation of Carbon
monoxide on single crystal platinum surfaces. (Contributed)
3:20 Andreas Herz Caltech
Unexpected simplicity in spatio-temporal patterns in models for
neural networks and population dynamics. (Contributed)
3:35 Paul H. Frankel USC
Slow synapses and robust bursting patterns.
(Contributed)
4:00 Panel on future directions
4:00pm to 5:00pm -- Beckman 126
5:00 End of Symposium
------------------------------------------------------------------------------
Requests for symposium attendance by faculty, researchers and students should
be directed to one of the organizing committee listed below, stating the nature
of interest. The number of participants is limited due to space constraints.
A registration fee of $75 U.S. will be charged to defray costs. This fee will
include two lunches and one dinner at the conference site.
Lodging is available at Griswold's Inn, 555 W Foothill Blvd., Claremont.
909-626-2411 at the rate of $60 per night, including full buffet breakfast. A
shuttle from the Ontario, CA airport (ONT) is provided by Griswold's.
------------------------------------------------------------------------------
Participants might also be interested in the following talk open to the public
the evening before, as part of the dedication of the new F.W. Olin Science
Center at Harvey Mudd College:
The Computational Brain
Professor Terry Sejnowski
Howard Hughes Medical Institute,
The Salk Institute for Biological Studies, and
University of California, San Diego
7:00 pm, Thursday, February 11, 1993
Galileo Hall, 301 East Twelfth Street, Claremont, CA
------------------------------------------------------------------------------
Symposium Organizing Committee
T.J. Mueller, Biology (chair) mueller@hmcvax.claremont.edu, 909-621-8561
Robert Keller, Computer Science keller@jarthur.claremont.edu, 909-621-8483
Robert Borrelli, Mathematics borrelli@hmcvax.claremont.edu, 909-621-8023
Stavros Busenberg, Mathematics busenberg@hmcvax.claremont.edu, 909-621-8023
Harvey Mudd College
Claremont, CA 91711
Symposium advisory board
Leah Edelstein-Keshet, University of British Columbia
Scott Fraser, Caltech
David Goldberg, University of Illinois
J.D. Murray, University of Washington
Clifford Pickover, IBM Watson Research Center
------------------------------
Date: Wed, 20 Jan 93 01:54:15 GMT
From: aisb93-prog@computer-science.birmingham.ac.uk
Subject: AISB'93 Conference in AI and Cognitive Science
________________________________________________________________________
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@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@uk.ac.keele.cs
Other: nwanahs@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@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@uk.ac.leeds.scs INTERNET: agc@scs.leeds.ac.uk
BITNET: agc%uk.ac.leeds.scs@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@uk.ac.keele.cs
other: nwanahs@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@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@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@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@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 ___________
------------------------------
End of ALife Digest
*******************