🚀 go-pugleaf

From: "Andreas Zell" <unido!ifistg!zell>
To: mod-ki@unido.uucp
Date: Thu, 22 Jun 89 15:36:28 +0200
Subject: Bericht ueber die SCAI-89 in Tampere, Finnland (lang!)
Keywords: Berichte

mod-ki message 0255
************************************************************************
Bericht ueber die SCAI-89 (2nd Scandinavian Conference on Artificial
Intelligence 1989, 13.-15. Juni, Tampere Finnland)
 
Die SCAI-89 wurde gemeinsam von der FAIS (Finnish Artificial
Intelligence Society) und der Tampere University of Technology in
Kooperation mit der Danish, Norwegian bzw. Swedish AI-Society (DAIS,
NAIS bzw. SAIS), veranstaltet. Teilnehmer waren in erster Linie
skandinavische KI-Forscher, aber auch Redner aus England, Mitteleuropa,
der UDSSR, Japan und den USA waren vertreten, insgesamt etwa 70
Vortragende aus 15 Laendern und ca. 100 weitere Konferenzteilnehmer
(geschaetzt).

Tampere selbst (170.000 Einw.) liegt auf einer Landzunge zwischen zwei
grossen Seen, Naesijaervi und Pyhaejaervi, und ist nach Helsinki die
groesste Industriestadt in Finnland. Die Konferenz fand in der relativ
neuen (ca. 20 Jahre alten) Technischen Universitaet von Tampere statt,
die sich etwa 12 km ausserhalb des Stadtzentrums in Hervanta, einem
neuen Stadtteil von Tampere, befindet. Durch einen Pendelbus fuer die
Konferenz wurden die Teilnehmer von ihren Hotels abgeholt.
 
Bei der Registrierung erhielt jeder Teilnehmer eine huebsche blaue
Nylontasche, die sehr praktisch war, um die zwei dicken Tagungsbaende
von zusammen fast 1100 Seiten herumschleppen zu koennen. Bei einer
Tagungsgebuehr von Fmk 1600.- (ueber 700 DM) war so etwas aber auch zu
erwarten.

Parallel zur Tagung fand eine kleine Industrieausstellung statt mit
Praesentationen von Nokia Data (Nokia Knowledge Engineering, Nokia
Research Center) und Scandinavian Softline. Auf Suns, Nokia ??386,
Mac-II und IBM PS/2 wurden dort bekannte Expertensystem-Shells
demonstriert. Zwei grosse Staende hatten auch Addison-Wesley und
Prentice Hall, auf denen alle neuen Buecher zum Thema KI ausgestellt
waren. Aber zu welchen Preisen! Jedes Buch kostete im Schnitt doppelt
so viel wie in Deutschland!

Diese hohen Preise waren aber nichts Konferenz- oder KI-spezifisches,
sondern entsprechen dem allgemeinen Preisniveau in Finnland, das fuer
viele Dinge wie Lebensmittel, Essen, Trinken etc. fast doppelt so hoch
ist wie bei uns. Biertrinkern ist von einem Aufenthalt in Finnland
ganz abzuraten, mit Fmk 22 (ca. 10 DM) fuer 0.3 l (wegen der hohen
Alkoholsteuer) ist der Tagessatz schnell verbraucht. Zum Essen mittags
in der Studentenmensa gab es daher eine Art Malzbier...
 
Die Tagung war von Hannu Jaakkola und seinen Mitarbeitern,
einschliesslich einer Zahl studentischer Helfer, insgesamt sehr gut
organisiert. Dienstags gab es einen Empfang in der Stadthalle und am
Mittwoch abend bildete ein festliches Konferenzbanquett den
gesellschaftlichen Rahmen.
 
Doch nun zur Arbeit: Die Konferenz fand wegen der grossen Zahl der
Vortraege in 3, an einem Tag sogar in 4 parallelen Sitzungen statt.
Die Themengebiete lauteten: Reasoning I und II, Knowledge Rep. I und
II, Machine Learning, Design + Maintainance, Biological and Medical
Applications, Signal Processing, Advice Giving und Tools + Techniques
I, II, und III. Mittwochs wurden in 2 Hoersaelen die Workshops
Knowlegde-Based Software Engineering, AI Solutions in Education,
Medical Expert Systems sowie Expert Systems in Process Design,
Operation and Maintainance abgehalten.
 
Sehr positiv fand ich die Tatsache, dass nahezu alle 70 Vortraege in
Englisch gehalten wurden, obwohl auch die anderen skandinavischen
Sprachen zugelassen waren.
 
Nach der Eroeffnung durch Dr. Seppo Linnainmaa (FAIS chairman) trug im
eingeladenen Hauptvortrag Prof. Donald Michie (Turing Inst., UK) ueber
'Machines that Learn and Machines that Teach' vor. Meiner Ansicht nach
erfuellte der an historischen Episoden reiche Vortrag nicht ganz die
hochgesteckten Erwartungen. Dies ist aber haeufig so bei ganz grossen
Namen. Bei anderen eingeladenen Vortraegen, etwa dem von Prof. Setsuo
Ohsuga (Univ. Tokyo) und dem von Prof. Tyugu (Tallin, UdSSR) hatte ich
den Eindruck, dass sie aus verschiedenen, nicht ganz kohaerenten
Teilen zusammengesetzt waren. Die anderen eingeladenen Vortraege von
Prof. Steve Fickas (Univ. Oregon), Pertti Lounamaa (Nokia Research
Center) und Alan Rector (Univ. Manchester) fanden in Sitzungen statt,
die ich wegen der Parallelveranstaltungen nicht hoerte.

Die Qualitaet der akzeptierten Papiere war sehr unterschiedlich. Da
mich besonders die Bereiche Reasoning, Tools and Techniques, Knowledge
Representation und Logic Programming interessierten, ist meine Ansicht
hier natuerlich besonders subjektiv. Am Ende dieses Berichts fuege ich
eine kurze Aufstellung der Titel der einzelnen Vortraege an.
 
Besonders interessant fand ich persoenlich folgende Vortraege: M.
Aronsson et al.(SICS): "GCLA, Generalized Horn Clauses as a
Programming Language", die eine Einbeziehung von Assumptions als
Verallgemeinerung von Hornklauseln in der Sprache GCLA demonstrierten,
fuer die es auch eine recht effiziente Implementierung gibt. Rolf T.
Nossum stellte in seinem Vortrag "Belief without Omniscience" eine
Modalllogik fuer Belief vor, in der viele ueblicherweise
allgemeingueltigen Axiome, wie etwa der Abschluss von B unter
Implikation, unter B-Implikation etc. nicht mehr gueltig sind.
Interessant fand ich auch den Vortrag von U. Sundin: "Asking about
Negative Knowledge", ueber Probleme, die bei negativen Fragen in einem
interaktiven logischen System auftreten, das den Benutzer als
Erweiterung der Wissensbasis betrachtet.
 
Sehr interessant war auch der Vortrag eines anderen deutschen
Teilnehmers, Guilherme Bittencourt, "A System to Aid in the
Specification of Knowledge-Based Systems", das auf einer Symbiose
mehrerer Wissensrepraesentationsformalismen, Logik, Frames,
semantischen Netzen und Regeln, beruht. Einer der Hoehepunkte in
meinen Augen war der Vortrag von Eric Gregoire, "Reducing Inheritance
Theories to Default Logic and Logic Programs", in dem gezeigt wurde,
dass nichtmonotone semantische Netze unter einer skeptischen Theorie
der Mehrfachvererbung mit Ausnahmen uebersetzt werden koennen in
stratifizierte logische Programme. Damit erhalten diese Netze eine
aequivalente logische Semantik.

Da ich aber die meisten Vortraege wegen der parallelen Veranstaltungen
ohnehin nicht besuchen konnte soll dies keine Wertung der nicht
genannten Vortraege bedeuten.
 
Im folgenden eine Liste aller Vortraege nach Themengebieten, wobei ein
* als Praefix keine Wertung darstellt, sondern angibt, dass der
Vortrag im Tagungsband abgedruckt wurde. Ausserdem ist aus
Platzgruenden nur jeweils der Erstautor genannt. Bei Fragen nach
einzelnen Beitraegen (z.B. Adresse des Autors) bin ich gerne
behilflich.
 
MEDICAL AND BIOLOGICAL APPLICATIONS
*Tommi SUKUVAARA, Knowledge Based Intensive Care Alarming System
*Pirkko NYKANEN, Knowledge Modelling and Representation to Support
 an Interpretation Task - Experiences from Thyroid Function Diagnosis
*Christian STEINEBACH, An Intelligent Knowledge Based System for
 Diagnosis of Fish Diseases
*Kristian SANDAHL, Knowledge-Based Planning of Experiments in a
 Biochemical Domain- Membrane Protein Purification
 
RISK MANAGEMENT
*Jouko SUOKAS, Knowledge Based Risk Management System
*Roar FJELLHEIM, Knowledge-Based Support for Event Tree Construction
-Chakib KARA-ZAITRI, Fuzzy Reliability Expert Systems
 
DESIGN AND MAINTENANCE
*Niels KNUDSEN, Expert System to Find Hardware Faults on a PABX
*Ari VEPSALAINEN, Use of Dynamical Network in Machine Maintenance
*Atsuhiro TAKASU, Intelligent Wing Design Support System
*Timo LEINONEN, Expert System for Key Combination Design of Door Locks

ADVICE GIVING
*Petri VIERTIO, Knowledge-Based Pagination
*Hari AHLUWALIA, Building an Expert System - 'The Pension Choice'
*Raija HYNYNEN, Aatu - Expert System in Advice Giving and Decision
 Making in Municipal Organizations
 
KNOWLEDGE ACQUISITION AND ANALYSIS
*Manny RAYNER, Formal Reasoning about Plan-Controlled Vehicles
*Pirkko NYKANEN, An Approach to Combine Evaluation with Development
 in Medical AI: The "Microbe" Prototype Expert System
*Aki MAKIVIRTA, Reliable Data-Fusion for Knowledge Based Intensive
 Alarming Systems
 
KNOWLEDGE REPRESENTATION I+II
*Setsuo OHSUGA, Knowledge Representation and AI System Architecture
 (INVITED SPEAKER)
*Christine MILLET, Explanatory Meta-Rules to Provide Explanations in
 Expert Systems
*Peter EKLUNG, Using Path Algebras and Conceptual Graphs to Encode
 Knowledge Bases
*Cristiano CASTELFRANCHI, Structures in an Assertional Box
-Oyar KRUMBERG, Fuzzy Series and Knowledge Antiqation
*Patrick DOHERTY, A Semantics for Inheritance Hierarchies with
 Exceptions Using a Logic Preferential Entailment
-Christopher J. THORNTON, A Logical Model of Higher Order Classes
*L. LITVINTSEVA, CHRONOS - The Inference System in the Pilot

REASONING I+II
*Seppo LINNAINMAA, Robust Truth Maintenance through Tolerance
 Propagation
*Jorgen Fischer NILSSON, A Case Study in Knowledge Representation and
 Reasoning with Higher-Order Combinators
*Harald KJELLIN, Pruning the Knowledge-Base before Finding a Matching
 Event
 X. LIU, Managing Evidential Combinatorial Explosion
*Jalal MALEKI, A Representation System for Temporal Reasoning
*Antti VALMARI, State Space Generation with Induction
*Zbigniew STACHNIAK, A Resolution Framework for Finely-Valued
 First-Order Logics
*John WOLSTENCROFT, Restructuring, Reminding and Repair: What's Missing
from Models of Analogy

LOGIC PROGRAMMING I+II
*Enn TYUGU, Propositional Logic Programming and Type Theories
 (INV. SPEAKER)
*Martin ARONSSON, GCLA, Generalized Horn Clauses as a Programming
 Language
*Zsolt SZABO, Quasi-Equations for Logic Programming
*Eric RUTTEN, Temporal Logics and Structered Plans
*Rolf T. NOSSUM, Belief without Omniscience
*Andreas ZELL, Iterative-Deepening Prolog
*Ulf SUNDIN, Asking about Negative Knowledge
*Eric GREGOIRE, Reducing Conditional Logic to Default Logic and Logic
 Programs

MACHINE LEARNING
*Carl-Gustaf JANSSON, Reuse of Problem Solving Experience for the Weekly
 Planning of School Meals
*Gunnar BLIX, Learning in a Knowledge Acquisition Toolkit
*Feng CAO, Learning by Experimentation in a Robot World
*Leo VYHANDU, A Method for Automatic Generation of Statements from
 Examples
 
NATURAL LANGUAGE PROCESSING I+II
*Asbjorn ANDERSEN, Generation of Text for Technical Manuals
*Leo KULIKOV, Automatic Translation of a Highly Constrained Language
*J. COURTIN, Interactive Multi-Level Systems for Correction of
 Ill-Formed French Texts
*Olli BLOBERG, Machine Translation from a Natural Sublanguage to Another
*Mark T. MAYBURY, Rhetorical Variance in Natural Language Descriptions
*William H. EDMONDSON, Knowledge Representation and Inference:
 A Non-Linear Approach to Natural Language Processing
*Wee Teng HOON, The Segmentation of Discourse
*Eero LASSILA, Parsing Finnish Sentences by Performing Functionally
 Defined Sequential Subtasks
 
SIGNAL PROCESSING
*Matti KARJALAINEN, Object-Oriented Signal Processing: Principles and
 Experiments
*Olli SAARELA, Detection of Process Disturbances Using Model-Based
 Reasoning
*Filipic BOGDAN, Knowledge-Based Spectrum Estimation
 
SOFTWARE ENGINEERING
*Erling MAARTMANN-MOE, Intergrasjon av expertsystemer i saksbehandling
*M. BOUTELDJA, Building an Embedded Knowledge-Based Application Using
 Abstractions
*Veikko SEPPANEN, Navigation Dimensions in Knowledge-Based Software
 Reuse
*Karl KAARELA, M. KURKI, M. OIVO: Building Embedded Real Time Systems.
-Hans-Ludwig HAUSEN, Knowledge Based Control of Software Methods and 
 Tools

TOOLS AND TECHNIQUES I,II,III
-Pertti LOUNAMAA: Applying Symbolic Computing Techniques to Solve
 Knowledge Inference Problems: Examples and Experiences
-Larry PRESS, Execution and Development Efficiency of Eleven Expert
-Jaak HENNO, An Expert System Shell Using Precalculated Minimal
 Semantics System Shells for Personal Computers
-Enn TYUGU: Knowledge Based Programming Environments
*Esko JUUSO, Expert System and Fuzzy Simulation of Electrical Flow
*Aarno LEHTOLA, Interfacing SQL Databases to Knowledge Based Systems,
 A Case Study in Intelligent Timetable Searching
*Juha HYNYNEN, On the Use of Object Oriented Paradigm in a Distributed
 Problem Solver
*Guilherme BITTENCOURT, A System to Aid in the Specification of
 Knowledge-Based Systems
 
USER INTERFACES
*Eero SORMUNEN, A Knowledge Based Intermediary System for Finnish
 Databases
*Aulis JARVINIEMI, User Interface in Signal Analysis Expert System
*J.K. NURMINEN, Combining Symbolic Computing with Conventional Design
 and Analysis Techniques
*Tapani SAVOLAINEN, Expanding Man-Machine Communication by Computer
 Aides Creativity
 
Die beiden Tagungsbaende (H. Jaakola, S. Linnainmaa (eds.),
Proceedings of the Second Scandinavian Conference on Artificial
Intelligence SCAI'89, Tampere, Finnland, June 13-15, 1989, Vol. 1, 2)
koennen zum Preis von je Fmk 200.- erworben werden bei der Finnish
Artificial Intelligence Society, Lehtisaarentie 2, SF-02150 ESPOO,
Finnland.

Insgesamt fand ich die SCAI in Tampere sehr interessant, auch weil ich
bisher recht wenig ueber KI in Skandinavien (und Finnland) wusste. Die
Organisation war sehr gut und auch der Aufenthalt in Finnland selbst.
Allerdings fand ich nicht nur die Konferenzgebuehr, sondern auch das
'Drumherum' in Finnland sehr teuer, besonders, da letzteres durch die
bei uns am IfI karg bemessenen Reisekostenzuschuesse erhebliche eigene
Mittel erforderte.
 
Andreas Zell
========================================================================
Andreas Zell       (0711)121-1350             uucp: zell@ifistg.uucp
IfI, Univ. Stuttgart, Azenbergstr. 12, D-7000 Stuttgart 1, FRG
========================================================================
************************************************************************