Ebook: GWAI-89 13th German Workshop on Artificial Intelligence: Eringerfeld, 18.–22. September 1989

Die 13. Jahrestagung für Künstliche Intelligenz, GWAI-89, ist auch 1989 wieder ein Forum, auf dem ein beachtliches Spektrum der KI-Forschung in der Bundesrepublik präsentiert wird. Es reicht von Vorträgen über aktuelle Forschungsarbeiten bis zu speziellen Seminaren und dort von Grundlagenveranstaltungen (Formale und Kognitive Grundlagen von Wissensrepräsentationen; Einführung in Maschinelles Lernen und in spezielle höhere problemorientierte Sprachen für Wissensbasierte Systeme) bis zur Sektion "Expertensystemlabor", in der das Ziel verfolgt wird, einen Rahmen zu definieren für kontinuierliche Kooperation und Erfahrungsaustausch zwischen Grundlagen- und Anwendungsforschung und Produktentwicklung. Die thematischen Schwerpunkte der Beiträge liegen in den Gebieten klassische und nicht-klassische Deduktive Systeme, Expertensysteme und Natürlichsprachliche Systeme. Dazu kommen andere Teilgebiete der KI wie Bildverarbeitung, Kognitive und Tutorielle Systeme sowie Neuronale Netze.

---

Die 13. Jahrestagung f?r K?nstliche Intelligenz, GWAI-89, ist auch 1989 wieder ein Forum, auf dem ein beachtliches Spektrum der KI-Forschung in der Bundesrepublik pr?sentiert wird. Es reicht von Vortr?gen ?ber aktuelle Forschungsarbeiten bis zu speziellen Seminaren und dort von Grundlagenveranstaltungen (Formale und Kognitive Grundlagen von Wissensrepr?sentationen; Einf?hrung in Maschinelles Lernen und in spezielle h?here problemorientierte Sprachen f?r Wissensbasierte Systeme) bis zur Sektion "Expertensystemlabor", in der das Ziel verfolgt wird, einen Rahmen zu definieren f?r kontinuierliche Kooperation und Erfahrungsaustausch zwischen Grundlagen- und Anwendungsforschung und Produktentwicklung. Die thematischen Schwerpunkte der Beitr?ge liegen in den Gebieten klassische und nicht-klassische Deduktive Systeme, Expertensysteme und Nat?rlichsprachliche Systeme. Dazu kommen andere Teilgebiete der KI wie Bildverarbeitung, Kognitive und Tutorielle Systeme sowie Neuronale Netze.

---

Die 13. Jahrestagung f?r K?nstliche Intelligenz, GWAI-89, ist auch 1989 wieder ein Forum, auf dem ein beachtliches Spektrum der KI-Forschung in der Bundesrepublik pr?sentiert wird. Es reicht von Vortr?gen ?ber aktuelle Forschungsarbeiten bis zu speziellen Seminaren und dort von Grundlagenveranstaltungen (Formale und Kognitive Grundlagen von Wissensrepr?sentationen; Einf?hrung in Maschinelles Lernen und in spezielle h?here problemorientierte Sprachen f?r Wissensbasierte Systeme) bis zur Sektion "Expertensystemlabor", in der das Ziel verfolgt wird, einen Rahmen zu definieren f?r kontinuierliche Kooperation und Erfahrungsaustausch zwischen Grundlagen- und Anwendungsforschung und Produktentwicklung. Die thematischen Schwerpunkte der Beitr?ge liegen in den Gebieten klassische und nicht-klassische Deduktive Systeme, Expertensysteme und Nat?rlichsprachliche Systeme. Dazu kommen andere Teilgebiete der KI wie Bildverarbeitung, Kognitive und Tutorielle Systeme sowie Neuronale Netze.
Content:
Front Matter....Pages III-XII
Front Matter....Pages 1-1
Propagation of Temporally Indexed Values in Multiple Contexts....Pages 2-6
Nicht-monotone Beweiser f?r Autoepistemische Logik und Defaultlogik....Pages 7-16
Problem Solver Control Over the ATMS....Pages 17-26
Context Logic - An Introduction....Pages 27-36
Proof Transformation Towards Human Reasoning Style....Pages 37-42
Revising Domain Theories in Model-Based Reasoning Systems....Pages 43-47
Front Matter....Pages 48-48
Plan Generation by Linear Proofs: On Semantics....Pages 49-62
A New Deductive Approach to Planning....Pages 63-73
Detecting Redundancy Caused by Congruent Links in Clause Graphs....Pages 74-82
An Approach to Parallel Unification Using Transputers....Pages 83-91
Eqtheopogles A Completion Theorem Prover for PL1EQ....Pages 92-101
A Resolution Calculus Extended by Equivalence....Pages 102-106
Linear Paramodulation modulo Equality....Pages 107-116
Front Matter....Pages 117-117
Explanation and Connectionism....Pages 118-127
Optimierung des Lernverhaltens neuronaler Netze durch Ber?cksichtigung verschiedener Abstraktionsklassen bei der Netzwerktopologie....Pages 128-133
NetSim: Ein Simulator f?r Neuronale Netze....Pages 134-143
Front Matter....Pages 144-144
Modellgest?tztes Bildverstehen von Dokumenten....Pages 145-154
Lernen von Strukturbeschreibungen f?r die wissensbasierte Bilderkennung....Pages 155-160
Zur Konstruktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines ATMS....Pages 161-165
Front Matter....Pages 166-166
SPICOS II - Linguistische Analyse im Datenbankdialog....Pages 167-178
Front Matter....Pages 166-166
Diskursrepr?sentation im Datenbank-Abfrage-Dialog Spicos II....Pages 179-189
Das System ZORA Wissensbasierte Generierung von Zeigegesten....Pages 190-194
Front Matter....Pages 195-195
Processing Contrast Relations....Pages 196-202
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype....Pages 203-212
Prototypical Disambiguation of Word Meaning Exemplified by Adjective-Noun Combinations....Pages 213-223
Zielgerichtete Wortschatzerweiterungen in nat?rlichsprachlichen Systemen....Pages 224-233
OSKAR - ein Prolog-Programm zur Modellierung der Struktur und der Verarbeitung r?umlichen Wissens....Pages 234-243
Komplexe Individuen in Referentiellen Netzen....Pages 244-253
Towards a Framework for Knowledge-based Machine Translation....Pages 254-263
Transfer in Machine Translation by Non-Confluent Term-Rewrite Systems....Pages 264-269
Determining Consistency of Feature Terms with Distributed Disjunctions....Pages 270-279
A Parsing System based on a Deductive Database....Pages 280-289
Kategoriales Parsing mit definiten Klauseln....Pages 290-299
Front Matter....Pages 300-300
Ein erster Blick auf ANTLIMA: Visualisierung statischer r?umlicher Relationen....Pages 301-311
Two views of motion: On representing move events in a language-vision system....Pages 312-317
DEPIC-2D: Eine Komponente zur depiktionalen Repr?sentation und Verarbeitung r?umlichen Wissens....Pages 318-322
Towards Principles of Ontology....Pages 323-330
Automatische kognitive Diagnose in einem Programmier-Tutor....Pages 331-336
Front Matter....Pages 337-337
Machine-Assisted Program Construction and Modification....Pages 338-347
XPRTS An Implementation Tool for Program Synthesis....Pages 348-357
Front Matter....Pages 358-358
Modulare Expertensystemarchitekturen....Pages 359-368
A layered algebraic specification technique for expert systems....Pages 369-378
OFFICE-PLAN: Tackling the Synthesis Frontier....Pages 379-387
Modifying the Model Set During Diagnosis....Pages 388-397
Towards Structured Production Systems Efficient Implementation of Meta-Level Architectures....Pages 398-408
Dialogstrukturen in Gruppendiskussionen Ein Modell f?r argumentative Verhandlungen mehrerer Agenten....Pages 409-420
Bayesian Integration of Uncertain and Conflicting Evidence....Pages 421-427
Inferenzen bei Ungewi?heit in Expertensystemen....Pages 428-432
An Integrative Model of Learning by Being Told, from Examples and by Exploration....Pages 433-437
Toward a Rapid Prototyping Environment for Expert Systems....Pages 438-454
Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective....Pages 455-471
Front Matter....Pages 472-472
Einf?hrungsseminar: Maschinelles Lernen....Pages 473-473
Tutorial: High Level Tools for Knowledge Systems Design....Pages 474-474
Sektion: Expertensystem-Labor....Pages 475-475
Fachseminar: Formale und Kognitive Grundlagen Von Wissensrepr?sentationen....Pages 476-476
Feature-Logik....Pages 477-478
Zur Implementierbarkeit Analogischer Repr?sentationen....Pages 479-481
Kognitive Kategorien....Pages 482-483
KL-ONE-basierte, hybride Repr?sentationssysteme....Pages 484-485

---

Die 13. Jahrestagung f?r K?nstliche Intelligenz, GWAI-89, ist auch 1989 wieder ein Forum, auf dem ein beachtliches Spektrum der KI-Forschung in der Bundesrepublik pr?sentiert wird. Es reicht von Vortr?gen ?ber aktuelle Forschungsarbeiten bis zu speziellen Seminaren und dort von Grundlagenveranstaltungen (Formale und Kognitive Grundlagen von Wissensrepr?sentationen; Einf?hrung in Maschinelles Lernen und in spezielle h?here problemorientierte Sprachen f?r Wissensbasierte Systeme) bis zur Sektion "Expertensystemlabor", in der das Ziel verfolgt wird, einen Rahmen zu definieren f?r kontinuierliche Kooperation und Erfahrungsaustausch zwischen Grundlagen- und Anwendungsforschung und Produktentwicklung. Die thematischen Schwerpunkte der Beitr?ge liegen in den Gebieten klassische und nicht-klassische Deduktive Systeme, Expertensysteme und Nat?rlichsprachliche Systeme. Dazu kommen andere Teilgebiete der KI wie Bildverarbeitung, Kognitive und Tutorielle Systeme sowie Neuronale Netze.
Content:
Front Matter....Pages III-XII
Front Matter....Pages 1-1
Propagation of Temporally Indexed Values in Multiple Contexts....Pages 2-6
Nicht-monotone Beweiser f?r Autoepistemische Logik und Defaultlogik....Pages 7-16
Problem Solver Control Over the ATMS....Pages 17-26
Context Logic - An Introduction....Pages 27-36
Proof Transformation Towards Human Reasoning Style....Pages 37-42
Revising Domain Theories in Model-Based Reasoning Systems....Pages 43-47
Front Matter....Pages 48-48
Plan Generation by Linear Proofs: On Semantics....Pages 49-62
A New Deductive Approach to Planning....Pages 63-73
Detecting Redundancy Caused by Congruent Links in Clause Graphs....Pages 74-82
An Approach to Parallel Unification Using Transputers....Pages 83-91
Eqtheopogles A Completion Theorem Prover for PL1EQ....Pages 92-101
A Resolution Calculus Extended by Equivalence....Pages 102-106
Linear Paramodulation modulo Equality....Pages 107-116
Front Matter....Pages 117-117
Explanation and Connectionism....Pages 118-127
Optimierung des Lernverhaltens neuronaler Netze durch Ber?cksichtigung verschiedener Abstraktionsklassen bei der Netzwerktopologie....Pages 128-133
NetSim: Ein Simulator f?r Neuronale Netze....Pages 134-143
Front Matter....Pages 144-144
Modellgest?tztes Bildverstehen von Dokumenten....Pages 145-154
Lernen von Strukturbeschreibungen f?r die wissensbasierte Bilderkennung....Pages 155-160
Zur Konstruktion einer geometrischen Szenenbeschreibung aus Stereobildfolgen unter Verwendung eines ATMS....Pages 161-165
Front Matter....Pages 166-166
SPICOS II - Linguistische Analyse im Datenbankdialog....Pages 167-178
Front Matter....Pages 166-166
Diskursrepr?sentation im Datenbank-Abfrage-Dialog Spicos II....Pages 179-189
Das System ZORA Wissensbasierte Generierung von Zeigegesten....Pages 190-194
Front Matter....Pages 195-195
Processing Contrast Relations....Pages 196-202
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype....Pages 203-212
Prototypical Disambiguation of Word Meaning Exemplified by Adjective-Noun Combinations....Pages 213-223
Zielgerichtete Wortschatzerweiterungen in nat?rlichsprachlichen Systemen....Pages 224-233
OSKAR - ein Prolog-Programm zur Modellierung der Struktur und der Verarbeitung r?umlichen Wissens....Pages 234-243
Komplexe Individuen in Referentiellen Netzen....Pages 244-253
Towards a Framework for Knowledge-based Machine Translation....Pages 254-263
Transfer in Machine Translation by Non-Confluent Term-Rewrite Systems....Pages 264-269
Determining Consistency of Feature Terms with Distributed Disjunctions....Pages 270-279
A Parsing System based on a Deductive Database....Pages 280-289
Kategoriales Parsing mit definiten Klauseln....Pages 290-299
Front Matter....Pages 300-300
Ein erster Blick auf ANTLIMA: Visualisierung statischer r?umlicher Relationen....Pages 301-311
Two views of motion: On representing move events in a language-vision system....Pages 312-317
DEPIC-2D: Eine Komponente zur depiktionalen Repr?sentation und Verarbeitung r?umlichen Wissens....Pages 318-322
Towards Principles of Ontology....Pages 323-330
Automatische kognitive Diagnose in einem Programmier-Tutor....Pages 331-336
Front Matter....Pages 337-337
Machine-Assisted Program Construction and Modification....Pages 338-347
XPRTS An Implementation Tool for Program Synthesis....Pages 348-357
Front Matter....Pages 358-358
Modulare Expertensystemarchitekturen....Pages 359-368
A layered algebraic specification technique for expert systems....Pages 369-378
OFFICE-PLAN: Tackling the Synthesis Frontier....Pages 379-387
Modifying the Model Set During Diagnosis....Pages 388-397
Towards Structured Production Systems Efficient Implementation of Meta-Level Architectures....Pages 398-408
Dialogstrukturen in Gruppendiskussionen Ein Modell f?r argumentative Verhandlungen mehrerer Agenten....Pages 409-420
Bayesian Integration of Uncertain and Conflicting Evidence....Pages 421-427
Inferenzen bei Ungewi?heit in Expertensystemen....Pages 428-432
An Integrative Model of Learning by Being Told, from Examples and by Exploration....Pages 433-437
Toward a Rapid Prototyping Environment for Expert Systems....Pages 438-454
Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective....Pages 455-471
Front Matter....Pages 472-472
Einf?hrungsseminar: Maschinelles Lernen....Pages 473-473
Tutorial: High Level Tools for Knowledge Systems Design....Pages 474-474
Sektion: Expertensystem-Labor....Pages 475-475
Fachseminar: Formale und Kognitive Grundlagen Von Wissensrepr?sentationen....Pages 476-476
Feature-Logik....Pages 477-478
Zur Implementierbarkeit Analogischer Repr?sentationen....Pages 479-481
Kognitive Kategorien....Pages 482-483
KL-ONE-basierte, hybride Repr?sentationssysteme....Pages 484-485
....