D. Metzing (Hrsg.) GWAI-89 13th German Workshop on Artificial Intelligence Eringerfeld, 18.-22. September 1989 Proceedings Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong Herausgeber ~ieter Metzing Universitat Bielefeld, Computerlinguistik Postfach 8640, 0-4800 Bielefeld 1 GWAI-89 13. Jahrestagung "KOnstliche Intelligenz" Der FachausschuB 1.2 "KOnstliche Intelligenz und Mustererkennung" der Gesellschaft fOr Informatik bildete das Programmkomitee: Th. Christaller (St. Augustin) Chr. Habel (Hamburg) W. Hoeppner (Koblenz) P. Levi (MOnchen) K. Morik (St. Augustin) J. Siekmann (Kaiserslautern) H. Stiehl (Hamburg) H. Stoyan (Konstanz) G. Strube (Bochum) Chr. Walther (Karlsruhe) Vorsitzender des Programmkomitees: Dieter Metzing (UniversitiU Bielefeld, Computerlinguistik) Die Fachtagung wurde von den folgenden Firmen finanziell unterstOtzt: Daimler-Benz AG IBM Deutschland GmbH Krupp Atlas Elektronik GmbH Nixdorf Computer AG Philips GmbH Siemens AG Sun Microsystems GmbH CR Subject Classification (1987): 1.2.1, 1.2.3 - 1.2.7, 1.2.10 ISBN-13 :978-3-540-51743-6 e-ISBN-13 :978-3-642-751 00-4 001: 10.1007/978-3-642-75100-4 Dieses Werk ist urheberrechtlich geschOtzt. Die dadurch begrOndeten Rechte, insbesondere die der Obersetzung, des Nachdrucks, des Vortrags, der Entnahme von Abbildungen und Tabel len, der Funksendung, der Mikroverfilmung oder der Vervielf!lltigung auf anderen Wegen und der Speicherung in Datenverarbeitungsanlagen, bleiben, auch bei nur auszugsweiser Verwertung, vorbehalten. Eine Vervielf!lltigung dieses Werkes oder von Teilen dieses Werkes ist auch im Einzelfall nur in den Grenzen der gesetzlichen Bestimmungen des Urheberrechtsgesetzes der Bundesrepublik Deutschland vom 9.Septemberl965 in der Fassung vom 24.Juni1985 zul!lssig. Sie ist grunds!ltzlich vergotungspflichtig. Zuwiderhandlungen unterliegen den Strafbestim mungen des Urheberrechtsgesetzes. © by Springer-Verlag Berlin Heidelberg 1989 2145/3140 -54321 0 - Gedruckt auf s!lurefreiem Papier Vorwort Die 13. Jahrestagung fUr Ktinstliche Intelligenz, GWAI-89, ist auch in diesem Jahr wieder ein Forum, auf dem ein beachtliches Spektrum der KI-Forschung in der Bundesrepublik prasentiert wird. Es reicht von Vortragen tiber aktuelle Forschungsarbeiten bis zu speziellen Seminaren und dort von Grundlagenveranstaltungen (Formale und Kognitive Grundlagen von Wissensreprasentationen; EinfUhrung in Maschinelles Lernen und in spezielle hahere problemorientierte Sprachen fUr Wissensbasierte Systeme) bis zur Sektion 'Expertensystemlabo{, in der das Ziel verfolgt wird, einen Rahmen zu definieren fUr kontinuierliche Kooperation und Erfahrungsaustausch zwischen Grundlagen- und Anwendungsforschung und Produktentwicklung. Eine der Bewahrungsproben der sich entwickelnden KI-Forschung ist der Erfolg in Anwendungsgebieten; eine andere die Verankerung in Forschungseinrichtungen, die Institutionalisierung in Fachbereichen. Daneben bleibt allerdings die Aufgabe, dafUr zu sorgen, daB es ein sich emeuemdes, reichhaltiges 'Reservoir gibt, in dem KI-bezogene Ideen sich entwickeln, Kenntnisse aufgebaut und Erfahrungen ausgetauscht werden kannen und in dem Engagement fUr Probleme der KI gefOrdert werden kann. Der GWA I wie auch der KIFS kommt hierbei sicherlich auch weiterhin eine Schliisselrolle zu. Die diesjahrige GWAI ist wieder das Ergebnis der Untersttitzung und des Engagements von vielen: Zu danken ist zunachst all denjenigen, die zum wissenschaftlichen Programm der GWAI-89 durch die erfreulicherweise groBe Zahl (84) von eingereichten Arbeiten beigetragen haben, sowie den Mitgliedem des Programmkomitees und den Gutachtern, die die nicht immer leichte Aufgabe der Auswahl und der Begutachtung auf sich genommen haben. Besonderer Dank gilt den Referenten und Organisatoren der vier Sonderseminare sowie allen, die durch SystemvorfUhrungen und Bereitstellen von Fachliteratur dazu beitragen, daB die GWAI-89 wieder ein attraktives KI-Forum ist. Vorbereitung und DurchfUhrung auch der diesjahrigen GWAI waren ohne vieWiltige Untersttitzung nicht maglich gewesen: nicht ohne finanzielle und organisatorische Untersttitzung -zu danken ist hier den Untemehmen, die durch Spenden zur Finanzierung der GWAI-89 beigetragen haben, ebenso wie der Universitat Bielefeld und dem Ministerium fUr Wissenschaft und Forschung des Landes Nordrhein-Westfalen. Ein besonders herzlicher Dank gilt den Mitgliedem des Tagungsbtiros, Jarg Kube, Matthias Vollmer und Henrike Wanke, die fUr die organisatorische Vorbereitung der GWAI-89 gesorgt haben. Bielefeld, Juli 1989 Dieter Metzing N ebengutachter Becker, B. Lehmann, E. Schneeberger, J. Beierle, Chr. Lingenfelder, M. Schnepf, U. Biundo, S. Linster, M. Sendlmeier, W.-F. Bockmayer, A. Lischka, Chr. Socher-Ambrosius, R. Brietzmann, A. v. Luck, K. Sprenger, M. Bunke, H. Lutz, H.-D. Staegemann, E. Burckert, M. Syska, I. Busbach, U. Marburger, H. Busemann, S. Mehl, S. Ueckert, H. Dreschler-Fischer, L. Mohnhaupt, M. Muller, B.-S. Vo.B, A. Emde, W. Muller, J. Vo.B, H. Eschenbach, C. Eyfarth, K. Nebel, B. Wachsmuth, I. Fliegner, M. Netter, K. Walther, J. Freksa, C. Neumann, B. Wender, K.-F. Furbach, U. Novak, H.-J. Wesche, B. Nutt, W. Gorz, G. Zoeppritz, M. Gordon, T. Ohlbach, H.-J. Goschke, T. Opwis, K. GroB, E. Gust, H. Peltason, Chr. Petkoff, B. Hauenschild, Chr. Pribbenow, S. Hertzberg, J. Puppe, F. Herweg, M. Heyer, G Quantz, J. Holldobler, S. Horz, A. Reddig-Siekmann, J. Hutter, D. Rehbold, R. Rehkamper, K. Junker, U. Reif, W. Reithinger, N. Kemmerling, A. Kerber, M. Sagerer, G. Kilbury, J. Schlechta, K. Kohl, A. Schmalhofer, F. Kreitz, Chr. Schmitt, P.-H. INHALTS VERZEICHNIS 1. Nicht-Klassische Deduktive Systeme Oskar Dressler und Hartmut Freitag Propagation of Temporally Indexed Values in Multiple Contexts ............................ 2 Ulrich Junker Nicht-monotone Beweiser fUr Autoepistemische Logik und Defaultlogik ....................... 7 Oskar Dressler und Adam Farquhar Problem Solver Control Over the ATMS ........................................... 17 Hans Jiirgen Ohlbach Context Logic -An Introduction ................................................. 27 Xiaorong Huang Proof Transformation Towards Human Reasoning Style ................................. 37 Wolfgang Nejdl und Johannes Kroupa Revising Domain Theories in Model-Based Reasoning Systems ........................... .43 2. Deduktive Systeme Wolfgang Bibe1, Luis Farinas del Cerro, Bertram FronhOferund Andreas Herzig Plan Generation by Linear Proofs: On Semantics ..................................... .49 Stefan Holldobler und Josef Schneeberger A New Deductive Approach to Planning ............................................ 63 Rolf Socher-Ambrosius Detecting Redundancy Caused by Congruent Links in Clause Graphs. . . . . . . . . . . . . . . . . . . . . . .. 74 J ochen Hager und Martin Moser An Approach to Parallel Unification Using Transputers .................................. 83 Jorg Denzinger und Jiirgen MUller EQTHEOPOGLES -A Completion Theorem Prover for PLIEQ ............................ 92 Jiirgen MUller und Rolf Socher-Ambrosius A Resolution Calculus Extended by Equivalence ..................................... .1 02 VIII Ulrich Furbach, Steffen Holldobler und Joachim Schreiber Linear Paramodulation modulo Equality ........................................... 107 3. Neuronale Netze Joachim Diederich Explanation and Connectionism ................................................ 118 Karl·Heinz Krachenfels und Kerstin Schill Optimiel1lng des Lemverhaltens neuronaler Netze durch Beriicksichtigung verschiedener Abstraktionsklassen bei der Netzwerktopologie ............................ 128 Andreas Zell, Thomas Korb, Iilmann Sommer und Rolf Bayer NetSim: Ein Simulator flir Neuronale Netze ........................................ 134 4. Bildverarbeitung Joachim Kreich Modellgestiitztes Bildverstehen von Dokumenten ..................................... 145 Barbel Mertsching und Georg Hartmann Lemen von Strukturbeschreibungen flir ein wissensbasiertes Bildanalysesystem ................ 155 Leonie Dreschler·Fischerund Carsten SchrOder Zur Konstl1lktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines AIMS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161 5. Mensch-Maschine Kommunikation Gerhard Th. Niedermair SPICOS II -Linguistische Analyse im Datenbankdialog ................................ 167 Michael Streit Diskursrepriisentation im Datenbank-Abfrage Dialog SPICOS II ........................... 179 Jiirgen Jung, Axel Kresse, Norbert Reithinger und Ralph Schafer Das System ZORA -Wissenbasierte Generiel1lng von Zeigegesten ......................... 190 IX 6. Natiirlich-Sprachliche Systeme Bart Geurts Processing Contrast Relations ................................................. 196 Toni Bollinger, Uli HedtstUck und Claus-Rainer Rollinger Reasoning for Text Understanding -Knowledge Processing in the 1st LILOG-Prototype .......................................................2 03 Gabriele Scheler Prototypical Disambiguation of Word Meaning Exemplified by Adjective-Noun Combinations ............................................................2 13 Helmar Gust und Petm Ludewig Zielgerichtete Wortschatzerweiterungen in natUrlichspmchlichen Systemen ...................2 24 Ewald Lang und Kai-Uwe Carstensen OSKAR-Ein PROLOG-Progmmm zur Modellierung der Struktur und der Verarbeitung rliumlichen Wissens ...............................................2 34 Carola Eschenbach Komplexe Individuen in Referentiellen Netzen ...................................... 244 Jorg Schiltz Towards a Fmmework for Knowledge-Based Machine Tmnslation ........................ 254 Wilhelm Weisweber Transfer in Machine Tmnslation by Non-Confluent Term-Rewrite Systems .................. 264 Iochen Dorre und Andreas Eisele Determining Consistency of Feature Terms with Distributed Disjunctions .................... 270 Burkhard Freitag und GUnther Specht A Parsing System Based on a Deductive Database ....................................2 80 Sebastian Millies Kategoriales Parsing mit definiten Klauseln ........................................ 290 x 7. Kognitive und tutorielle Systeme Iorg R.I. Schirra Ein erster Blick auf ANTLIMA: Visualisierung statischer riiumlicher Relationen ................3 01 Ellen M. Hays Two Views of Motion: On Representing Move Events in a Language- Vision System ........................................................... 312 Mohammed Nadjib Khenkhar DEPIC-2D: Eine Komponente zur depiktionalen Repriisentation und Verarbeitung riiumlichen Wissens ...................................................... .318 Helmut Horacek Towards Principles of Ontology ............................................... 323 Gerhard Weber Automatische kognitive Diagnose in einem Programmier-Tutor ...........................3 31 8. Programmsynthese M. Heisel, W. Reifund W Stephan Machine-Assisted Program Construction and Modification ..............................3 38 Gerd Neugebauer, Bertram Fronhofer und Christoph Kreitz XPRTS -An Implementation Tool for Program Synthesis ..............................3 48 9. Expertensysteme Ingo Syska, Roman Cunis, Andreas Gunter, Heiner Bode und Heino Peters Modulare Expertensystemarchitekturen ...........................................3 59 Angi VoB A Layered Algebraic Specification Technique for Expert Systems ......................... 369 Werner Karbach, Marc Linster und Angi VoB OFFICE-PLAN: Tackling the Synthesis Frontier ................................... .379 Adam Farquhar Modifying the Model Set During Diagnosis ........................................3 88 XI Michael Beetz und Winfried Barth Towards Structured Production Systems -Efficient Implementation of Meta-Level Architectures .................................................... 398 UdoHahn Dialogstrukturen in Gruppendiskussionen -Ein Modell flir argumentative Verhandlungen mehrerer Agenten .............................................. 409 Gerhard PaaB Bayesian Integration of Uncertain and Conflicting Evidence ............................ .421 Marcus Spies Inferenzen bei UngewiBheit in Expertensystemen ................................... .428 Otto Kiihn und Franz Schmalhofer An Integrative Model of Learning by Being Told, from Examples and by Exploration ............................................. 433 William Swartout (invited paper) Toward a Rapid Prototyping Environment for Expert Systems ...........................4 38 Peter Raulefs (invited paper) Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective .............................. 455 10_ Spezielle Seminare zu Grundlagen und Anwendungen der KI Werner Mellis und Toni Bollinger Einflihrungsseminar: Maschinelles Lemen ....................................... .473 B. Chandrasekaran Tutorial: High Level Tools for Knowledge Systems Design ........................... .474 Thomas ChristaIler und Angi VoB Sektion: Expertensystemlabor ............................................... .475 Daniel Hernandez, Bernhard Nebel, Gert Smolka, Ipke Wachsmuth Fachseminar: Formale und kognitive Grundlagen von Wissensrepriisentationen ................................................... 476 XII Gert Smolka Feature-Logik .......................................................... 477 Daniel Herruindez Zur Implementierbarkeit Analogischer Repriisentationen .............................. 479 Ipke Wachsmuth Kognitive Kategorien ..................................................... 482 Bernhard Nebel KL-One-basierte, hybride Repriisentationssysteme ................................. .484