ks@tut.fi (Kari Systa) (02/23/89)
SCAI'89
THE SECOND SCANDINAVIAN CONFERENCE ON
ARTIFICIAL INTELLIGENCE 1989
June 13 - 15, 1989
Tampere, Finland
Organizers:
Finnish Artificial Intelligence Society (FAIS)
Tampere University of Technology
INVITATION
You are cordially invited by the Organizing Committee to attend the 2nd
Scandinavian Conference on Artificial Intelligence SCAI'89.
SCAI'89
will be held from Tuesday, June 13, to Thursday, June 15, 1989
at Tampere University of Technology, Tampere, Finland.
This second announcement and final call includes general information,
preliminary programme, and the final registration and hotel reservation
form.
We look forward to welcoming you personally in Tampere in June.
Hannu Jaakkola
Chairman of the Organizing Committee
SCAI'89
The Conference is organized by the Finnish Artificial Intelligence So-
ciety and Tampere University of Technology in cooperation with Scandina-
vian AI Societies.
During the last few years there have been several national AI conferen-
ces in all the Nordic countries. To improve Nordic cooperation on this
research area a series of Nordic conferences was started last year and
the "First Scandinavian Conference on Artificial Intelligence" was held
in Tromso Norway. SCAI'89 is the second conference int his series and
has become more international than the first one. In the "Second Confe-
rence on Artificial Intelligence" there are presentations from fifteen
countries, the main part of those come from Nordic countries. This way
we have succeeded in saving the character of the conference as the forum
for Nordic scientists to meet each other but at the same time we have
had an opportunity to widen these contacts even to scientists outside
Nordic the countries.
GENERAL INFORMATION
VENUE
The Conference will be held at Tampere University of Technology, Tampe-
re, Finland, from Tuesday, June 13 to Thursday, June 15, 1989. The Uni-
versity is located in Hervanta, 8 km southeast from the centre of Tampe-
re. A free bus service will be arranged between the hotels indicated
below and the University during the Conference. A communal bus service
is also available from the centre to Hervanta with lines 20, 23 and 30.
TRAVEL
Car ferries of Silja Line and Viking Line sail from Stockholm to Helsin-
ki and Turku with both overnight and daytime crossings, and Vasalines
ferries from Sundsvall and Umeo to Vaasa. Tampere is located 165 km
from Turku and 235 km from Vaasa. There is a train connection from Tur-
ku harbour and from Vaasa to Tampere.
Those arriving by plane to Helsinki will find it easiest to continue by
plane to Tampere. It is also possible to take the airport bus to Hel-
sinki Railway Station and a train to Tampere. The distance is 175 km
and the journey takes approximately two hours. There are train departu-
res about once an hour.
ACCOMMODATION
Reservations have been made at Hotel Tampere and Hotel Cumulus by the
Organizing Committee. Room reservation can be made with the enclosed
reservation form before April 15, 1989.
HOTEL TAMPERE (phone +358 31 121 980)
is located in the city centre opposite to the railway station.
Rates:
Single room FIM 230/night/person
Double room FIM 160/night/person
Breakfast, morning sauna and swimming are included in the prices.
HOTEL CUMULUS (phone +358 31 35 500)
is also located in the city centre by the Tammerkoski rapids.
Rates:
Single room FIM 330 /night/person
Double room FIM 260 /night/person
Breakfast, afternoon sauna and swimming are included in the price.
The hotel accommodation fee should be paid directly to the hotel recep-
tion on departure. No advance deposit is required. The Organizing Com-
mittee reserves the right to make changes in hotel reservations if ne-
cessary.
REGISTRATION
Registration can be made with the enclosed form. You may also register
on your arrival, though advance registration is recommended.
REGISTRATION FEE
Registration fee:
Members of National AI Societes FIM 1 600
For non-members + FIM 300
Late registration after April 15, 1989 + FIM 300
Full time undergraduate students FIM 500
(Certificate of the Institute required)
The registration fee covers admission to all sessions, proceedings, bus
tranportation mornings and evenings, Reception, Conference Banquet and
lunches and coffee during the Conference.
The fee should be paid to: SCAI'89
Tampere University of Technology
POSTIPANKKI, HELSINKI
SWIFT PSPB F1HH
Account no TA 1409-6
ACCOMPANYING PERSONS
The fee for accompanying persons is FIM 300 and it covers the Reception
and Conference Banquet.
CANCELLATION
No refund can be made to those cancelling after May 15, 1989.
PROCEEDINGS
The written papers are published in the SCAI'89 Proceedings.
LANGUAGES
Papers may be written and presented in English or in Nordic languages.
CATERING
Lunches and coffee during the Conference are included in the participa-
tion fee and will be served at the University of Technology.
EXHIBITION
An exhibition of AI-tools and literature will be held during the Confe-
rence.
WORKSHOPS
On Wednesday, June 14, four workshops will be arranged on the following
topics:
- Knowledge-Based Software Engineering
- Expert Systems in Process Design, Operation and Maintenance
- AI Solutions in Education
- Medical Expert Systems
The aim of the workshops is to arrange an open forum for specialists on
those topics. Workshops itself are a part of the Conference but more
informal than normal conference sessions. Programme of the workshops is
planned to form a fixed whole and include invited outline speeches as
well as free discussion. Workshops are included the Conference fee.
Forehand registration is desired (not binding) to help with the organi-
zing of the Conference.
SOCIAL EVENTS
RECEPTION
Tuesday, June 13 at the City Hall
The City Hall is located in the city centre within walking distance from
the hotels.
CONFERENCE BANQUET
Wednesday, June 14 at 19.30 at Hotel Rosendahl
The hotel is located on the Pyynikki heights, 2 km from the city centre.
Bus transportation will be arranged.
Both events are included in the fee.
CONFERENCE OFFICE
The Conference Office and registration desk at Tampere University of
Technology will be open from 8.30 during the Conference. The Conference
Office telephone number will be (during the conference June 13-15)
+358 31 162 044.
THE SECOND SCANDINAVIAN CONFERENCE ON
ARTIFICIAL INTELLIGENCE
Tampere, Finland
June 13-15, 1989
THE PRELIMINARY PROGRAMME
The programme of the Conference will contain four invited lecturers and
contributed papers in sessions and five invited workshop speakers in
workshops.
PRELIMINARY SCIENTIFIC PROGRAMME
OPENING OF THE CONFERENCE
Timo Lepisto, President at Tampere University of Technology
Seppo Linnainmaa, Doctor, Chairman of the FAIS
OPENING SESSION
Prof. Donald MICHIE, U.K., The Turing Institute, Machines that Learn and
Machines that Teach (INVITED SPEAKER)
MEDICAL AND BIOLOGICAL APPLICATIONS
Tommi SUKUVAARA, Technical Research Centre of Finland/Medical Enginee-
ring Laboratory, FINLAND, Knowledge Based Intensive Care Alarming System
Pirkko NYKANEN, Technical Research Centre of Finland/Medical Engineering
Laboratory, FINLAND, Knowledge Modelling and Representation to Support
an Interpretation Task - Experiences from Thyroid Function Diagnosis
Christian STEINEBACH, Institutt for Marint Maskineri/NTH, NORWAY, Sal-
mex: An Intelligent Knowledge Based System for Diagnosis of Fish Disea-
ses
Kristian SANDAHL, Departement of Computer and Information Science, SWE-
DEN, Knowledge-Based Planning of Experiments in a Biochemical Domain-
Membrane Protein Purification
RISK MANAGEMENT
Jouko SUOKAS, Technical Research Centre of Finland/Occupational Safety
Engineering Laboratory, FINLAND, Knowledge Based Risk Management System
Roar FJELLHEIM, Computas Expert Systems, NORWAY, Knowledge-Based Support
for Event Tree Construction
Chakib KARA-ZAITRI, University of Bradford, U.K., Fuzzy Reliability Ex-
pert Systems
DESIGN AND MAINTENANCE
Niels KNUDSEN, Copenhagen Telephone Company, DENMARK, Expert System to
Find Hardware Faults on a PABX
Ari VEPSALAINEN, Technical Research Centre of Finland/Computer Science
Laboratory, FINLAND, Use of Dynamical Network in Machine Maintenance
Atsuhiro TAKASU, Research Center for Advanced Science and Technology,
University of Tokyo, JAPAN, Intelligent Wing Design Support System
Timo LEINONEN, Tecnical Research Centre of Finland/Computer Technology
Laboratory, FINLAND, Expert System for Key Combination Design of Door
Locks
ADVICE GIVING
Petri VIERTIO, Technical Research Centre of Finland/Graphic Arts Labora-
tory, FINLAND, Knowledge-Based Pagination
Hari AHLUWALIA, Expertech, U.K., Building an Expert System - 'The Pen-
sion Choice'
Raija HYNYNEN, Technical Research Centre of Finland/Laboratory of Urban
Planning and Building Design, FINLAND, Aatu - Expert System in Advice
Giving and Decision Making in Municipal Organizations
KNOWLEDGE ACQUISITION AND ANALYSIS
Manny RAYNER, Swedish Institute of Computer Science, SWEDEN, Formal Rea-
soning about Plan-Controlled Vehicles
Pirkko NYKANEN, Technical Research Centre of Finland/Medical Engineering
Laboratory, FINLAND, An Approach to Combine Evaluation with Development
in Medical AI: The "Microbe" Prototype Expert System
Aki MAKIVIRTA, Technical Research Centre of Finland/Medical Engineering
Laboratory, FINLAND, Reliable Data-Fusion for Knowledge Based Intensive
Alarming Systems
KNOWLEDGE REPRESENTATION I
Setsuo OHSUGA, University of Tokyo/RCAST, JAPAN, Knowledge Representa-
tion and AI System Architecture (INVITED SPEAKER)
Christine MILLET, C.N.E.T (France Telecom), EUROSOFT Systemes, FRANCE,
Explanatory Meta-Rules to Provide Explanations in Expert Systems
Peter EKLUND, University of Linkoping, Departement of Computer Science,
SWEDEN, Using Path Algebras and Conceptual Graphs to Encode Knowledge
Bases
Cristiano CASTELFRANCHI, Instituto di Psicologia del CNR, ITALY, Struc-
tures in an Assertional Box
KNOWLEDGE REPRESENTATION II
Oyar KRUMBERG, Riga Politechnical Institute, Latvian SSR, USSR, Fuzzy
Series and Knowledge Antiqation
Patrick DOHERTY, Linkoping University, Department of Computer and Infor-
mation Science, SWEDEN, A Semantics for Inheritance Hierarchies with Ex-
ceptions Using a Logic Preferential Entailment
Christopher J. THORNTON, School of Cognitive and Computing Sciences,
University of Sussex, U.K., A Logical Model of Higher Order Classes
L. LITVINTSEVA, Academy of Sciences, Computer Center, USSR, CHRONOS -
The Inference System in the Pilot
REASONING I
Seppo LINNAINMAA, Technical Research Centre of Finland, Laboratory for
Information Processing, FINLAND, Robust Truth Maintenance through Tole-
rance Propagation
Jorgen Fischer NILSSON, Technical University of Denmark, Department of
Computer Science, DENMARK, A Case Study in Knowledge Representation and
Reasoning with Higher-Order Combinators
Harald KJELLIN, University of Stockholm, Department of Computer and Sys-
tems Sciences, SWEDEN, Pruning the Knowledge-Base before Finding a Matc-
hing Event
X. LIU, Heriot-Watt University, Intelligent Automation Laboratory, U.K.,
Managing Evidential Combinatorial Explosion
REASONING II
Jalal MALEKI, Linkoping University, Dept. of Computer and Information
Science, SWEDEN, A Representation System for Temporal Reasoning
Antti VALMARI, Technical Research Centre of Finland/Computer Technology
Laboratory, FINLAND, State Space Generation with Induction
Zbigniew STACHNIAK, York University, Dept. of Computer Science, CANADA,
A Resolution Framework for Finely-Valued First-Order Logics
John WOLSTENCROFT, University College London, U.K., Restructuring, Re-
minding and Repair: What's Missing from Models of Analogy
LOGIC PROGRAMMING I
Rolf T. NOSSUM, Oslo College of Engineering, NORWAY, Belief without Om-
niscience
Andreas ZELL, Universitat Stuttgart, Institut for Informatik, FRG, Ite-
rative-Deepening Prolog
Ulf SUNDIN, Infologics AB, SWEDEN, Asking about Negative Knowledge
Eric GREGOIRE, Universite Catholique de Louvain, Unite d'Informatique,
BELGIUM, Reducing Conditional Logic to Default Logic and Logic Programs
LOGIC PROGRAMMING II
Enn TYUGU, Institute of Cybernetics of the EAS, ESTONIA, USSR, Proposi-
tional Logic Programming and Type Theories (INVITED SPEAKER)
Martin ARONSSON, Swedish Institute of Computer Science (SICS), SWEDEN,
GCLA, Generalized Horn Clauses as a Programming Language
Zsolt SZABO, Applied Logic Laboratory, HUNGARY, Quasi-Equations for Lo-
gic Programming
Eric RUTTEN, IRISA /INRIA, FRANCE, Temporal Logics and Structered Plans
MACHINE LEARNING
Carl-Gustaf JANSSON, University of Stockholm, Dept. of Computer and Sys-
tems Sciences, SWEDEN, Reuse of Problem Solving Experience for the Week-
ly Planning of School Meals
Gunnar BLIX, University of Illinois at Urbana-Champaign, Dept. of Compu-
ter Science, USA, Ingeborg SOLVBERG, ELAB-RUNIT, Knowledge Technology
Laboratory, NORWAY, Learning in a Knowledge Acquisition Toolkit
Feng CAO, The Turing Institute, Deptartment of Computer Science, U.K.,
Learning by Experimentation in a Robot World
Leo VYHANDU, Tallinn Technical University, ESTONIA, USSR, A Method for
Automatic Generation of Statements from Examples
NATURAL LANGUAGE PROCESSING I
Asbjorn ANDERSEN, OC Consultant Engineers and Planners, DENMARK, Genera-
tion of Text for Technical Manuals
Leo KULIKOV, SITRA Foundation, FINLAND, Automatic Translation of a High-
ly Constrained Language
J. COURTIN, Laboratoire de Genie Informatique (IMAG), FRANCE, Interac-
tive Multi-Level Systems for Correction of Ill-Formed French Texts
Olli BLOBERG, Inst. for lingvistik, University of Umeo, SWEDEN, Machine
Translation from a Natural Sublanguage to Another
NATURAL LANGUAGE PROCESSING II
Mark T. MAYBURY, United States Air Force Systems Command, Rome Air Deve-
lopment Center, Intelligence Interface Group, USA, Rhetorical Variance
in Natural Language Descriptions
William H. EDMONDSON, Birmingham University, Computer Science Depart-
ment, U.K., Knowledge Representation and Inference: A Non-Linear App-
roach to Natural Language Processing
Wee Teng HOON, University of Cambridge, Computer Laboratory, U.K., The
Segmentation of Discourse
Eero LASSILA, SITRA Foundation, FINLAND, Parsing Finnish Sentences by
Performing Functionally Defined Sequential Subtasks
SIGNAL PROCESSING
Matti KARJALAINEN, Helsinki University of Technology/Acoustics Laborato-
ry, FINLAND, Object-Oriented Signal Processing: Principles and Experi-
ments
Olli SAARELA, Tampere University of Technology, Laboraroty of Measure-
ment Technology, FINLAND, Detection of Process Disturbances Using Mo-
del-Based Reasoning
Filipic BOGDAN, Artificial Intelligence Laboratory, "Jozef Stefan" Ins-
titute, YUGOSLAVIA, Knowledge-Based Spectrum Estimation
SOFTWARE ENGINEERING
Erling MAARTMANN-MOE, Norsk Regnesentral, NORWAY, Intergrasjon av ex-
pertsystemer i saksbehandling
M. BOUTELDJA, Helsinki University of Technology, Deptartment of Computer
Science, FINLAND, Building an Embedded Knowledge-Based Application Using
Abstractions
Veikko SEPPANEN, Tecnical Research Centre of Finland, Computer Technolo-
gy Laboratory, FINLAND, Navigation Dimensions in Knowledge-Based Soft-
ware Reuse
Hans-Ludwig HAUSEN, GMD, Schloss Birlinghoven, FRG, Knowledge Based
Control of Software Methods and Tools
TOOLS AND TECHNIQUES I
Esko JUUSO, University of Oulu, Departement of Process Engineering, FIN-
LAND, Expert System and Fuzzy Simulation of Electrical Flow
Aarno LEHTOLA, Technical Research Centre of Finland/Computer Science La-
boratory, FINLAND, Interfacing SQL Databases to Knowledge Based Systems
- A Case Study in Intelligent Timetable Searching
Juha HYNYNEN, Computer Science Laboratory, Helsinki University of Tech-
nology, FINLAND, On the Use of Object Oriented Paradigm in a Distributed
Problem Solver
Guilherme BITTENCOURT, Universitat Karlsruhe, Institut fur Algoritmen
und Kognitive Systeme, FRG, A System to Aid in the Specification of
Knowledge-Based Systems
TOOLS AND TECHNIQUES II
Markku OIVO, Technical Research Centre of Finland, Computer Technology
Laboratory, FINLAND, Building Embedded Real Time Expert Systems
Larry PRESS, California State University, USA, Execution and Development
Efficiency of Eleven Expert System Shells for Personal Computers
Jaak HENNO, Tallinn Technical University, ESTONIA, USSR, An Expert Sys-
tem Shell Using Precalculated Minimal Semantics
Bernt A. BREMDAL, Norwegian Petroleum Consultants A/S, Knowledge-Based
Systems Group, NORWAY, An Object-Oriented Approach to the Automation of
Form-Based Procedures
USER INTERFACES
Eero SORMUNEN, Tecnical Research Centre of Finland/Information Services,
FINLAND, A Knowledge Based Intermediary System for Finnish Databases
Aulis JARVINIEMI, Tampere University of Technology/Laboratory of Measu-
rement Technology, FINLAND, User Interface in Signal Analysis Expert
System
J.K. NURMINEN, Nokia Research Center, FINLAND, Combining Symbolic Compu-
ting with Conventional Design and Analysis Techniques
Tapani SAVOLAINEN, Hewlett-Packard Oy, FINLAND, Expanding Man-Machine
Communication by Computer Aided Creativity
WORKSHOPS
KNOWLEDGE-BASED SOFTWARE ENGINEERING
CHAIRMAN Dr. Veikko Seppanen, TechnicalResearch Centre of Finland/Compu-
ter Science Laboratory
The workshop complements the Software Engineering Session of the Confe-
rence by focussing on the following topics:
1. What are the roles of problem-specific and general, software
engineering knowledge in existing knowledge-based software
development tools?
2. How can we approach the knowledge acquisition bottleneck in this
context?
3. Knowledge-based software development assistants, what is the role
of human designers?
EXPERT SYSTEMS IN PROCESS DESIGN, OPERATION AND MAINTENANCE
CHAIRMAN Dr. Jouko Suokas, Technical Research Centre of Finland/ Occupa-
tional Safety Engineering Laboratory
The aim of the workshop is to present current research on AI in process
design, operation and maintenance. Most of the papers concern methodo-
logy development. Topics covered include qualitative reasoning, know-
ledge based design and planning, and knowledge based analysis. Some pa-
pers presenting examples of practical applications are also included.
AI SOLUTIONS IN EDUCATION
CHAIRMAN Lic.Comp Sci. Pentti Hietala, University of Tampere
The invation of Artificial Intelligence in educational technology is
said to have a dramatic impact on the quality of teaching. This works-
hop explores these claims, and tries to give an up-to-date view of the
possibilities and limits present when applying AI techniques to educa-
tional problems. The two faces of AI impact are considered: on one
hand, the application of AI techniques in the design of knowledge-based
instructional software, and, on the other hand, the use of AI languages
and shells in teaching.
In the workshop,
- an overview of current research issues and efforts is given,
- both knowledge based tutoring systems and open-ended learning
environments are discussed,
- several special interest areas are explored in more detail,
for example, the uses of machine learning in student modelling,
and experiences of Prolog and Logo in elementary teaching,
- finally, possibilities as well as difficulties foreseen for future
are considered
MEDICAL EXPERT SYSTEMS
CHAIRMAN Prof. Niilo Saranummi, Technical Research Centre of Fin-
land//Medical Engineering Laboratory
AI integrated with other IT&T technologies promises to be a suitable
method to provide decision support (DS) for clinicians and other health
care professionals. However, the gap between this vision of clinically
acceptable and functional DS products and the present level of sophisti-
cation of IT&T applications in health care is large.
Through research and piloting with prototypes some of the obstacles hin-
dering DS products being developed and utilized in health care have been
identified, like understanding clinical DS, representing and acquiring
medical knowledge efficiently and in a format understandable to the cli-
nicians, intergrating DS with medical records, designing products not
prototypes and finally human interaction with DS systems.
SCAI'89 SECRETARIAT
All correspondence should be directed to:
SCAI'89
Tampere University of Technology Phone internat. +358 31 162 441
Ms Raili Siekkinen Telefax +358 31 162 907
PO Box 527 Telex 22313 ttktr sf
SF-33101 TAMPERE, Finland email: scai89@tut.fi
DEADLINES
Registration with normal fee: April 15, 1989
Hotel reservation: April 15, 1989
REGISTRATION FORM for SCAI'89 SCAI'89, Tampere University of
Technology
Ms Raili Siekkinen
PO Box 527
SF-33101 TAMPERE, Finland
Last name_______________________________________________________________
First name____________________________ Title/Position________________
Company/________________________________________________________________
institution
________________________________________________________________
Address_________________________________________________________________
_________________________________________________________________
Code_________________ City________________Country_____________________
Phone________________Telefax_____________________email__________________
ACCOMPANYING PERSON(S)
Last name_________________________ First name__________________________
PARTICIPATION FEE
Registration fee FIM 1 600
Late fee after April 15 + FIM 300
Non-members of some National AI Society + FIM 300
Accompanying person's fee + FIM 300
Full time students, undergraduates
(Certificate required) FIM 500
_________________________________________________________
Total amount paid FIM
I have transferred the amount to the bank account
SCAI'89
Tampere University of Technology
POSTIPANKKI, HELSINKI
SWIFT PSPB F1HH
no. TA 1409-6
I intend to participate the following workshops:
(Registration to the workshops is to help organizers but it is not bin-
ding)
Knowledge based software engineering
Expert Systems in processing...
AI solutions in education
Medical expert systems
HOTEL RESERVATION
Arrival June 1989 Departure June 1989
Hotel Tampere Hotel Cumulus
Single room FIM 230/night/ Single room FIM 330/night
Double room FIM 160/night/person Double room FIM
260/night/person
shared with____________________ shared with___________________
Date Signature
CERTIFICATE
Hereby we certify that Mr./Ms___________________________________________
is a full time undergraduate student at the________________________Uni-
versity/Insitute.
Date_____________________ Signature_________________________Stamp of
the Univer-
sity