From alife@COGNET.UCLA.EDU Fri Jan 22 233955 1993 Return-Path +lt;alife@COGNET.UCLA.EDU+gt

Master Index Current Directory Index Go to SkepticTank Go to Human Rights activist Keith Henson Go to Scientology cult

Skeptic Tank!

From alife@COGNET.UCLA.EDU Fri Jan 22 23:39:55 1993 Return-Path: Received: from Regulus.COGNET.UCLA.EDU by (5.65c/Spike-2.0) id AA25861; Fri, 22 Jan 1993 23:39:49 -0500 Received: by (Sendmail 5.61c+YP/3.20-COG) id AA20359; Fri, 22 Jan 93 18:15:05 -0800 Date: Fri, 22 Jan 93 18:15:05 -0800 From: alife@COGNET.UCLA.EDU Message-Id: <> To: alife@COGNET.UCLA.EDU Subject: Alife Digest Volume #093 Status: R Alife Digest, Number 093 Friday, January 22nd 1993 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~ Artificial Life Distribution List ~ ~ ~ ~ All submissions for distribution to: ~ ~ All list subscriber additions, deletions, or administrative details to: ~ ~ ~ ~ All software, tech reports to Alife depository through ~ ~ anonymous ftp at in ~ftp/pub/alife ( ~ ~ ~ ~ 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 ********************************************************************** ------------------------------ Date: Mon, 18 Jan 93 20:18:57 +0100 From: (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: 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 ( 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, ------------------------------ Subject: HMC Symposium on Pattern Formation Date: Fri, 15 Jan 93 8:55:43 PST From: "Robert M. Keller" 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), 909-621-8561 Robert Keller, Computer Science, 909-621-8483 Robert Borrelli, Mathematics, 909-621-8023 Stavros Busenberg, Mathematics, 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: 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: 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: Other: 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: 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: INTERNET: BITNET: 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: other: 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 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 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 ________________________________________________________________________ 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: 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 *******************


E-Mail Fredric L. Rice / The Skeptic Tank