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