GWAI-87 11th German Workshop on Artificial Intelligence Geseke, September 28-October 2, 1987 Proceedings. Subreihe Kunstliche Intelligenz

Front Matter....Pages I-XI Das “Bootstrap-Problem” bei der geometrischen Szenenrekonstruktion — eine Übersicht....Pages 1-15 Konfliktlösung auf Statistischer Basis bei der Bildanalyse mit Produktionsregeln....Pages 16-20 EPEX: Bildfolgendeutung auf Episodenebene....Pages 21-30 On Modelling Events with an ‘Analogical’ Representation....Pages 31-40 KI-Methoden in der Maschinellen Ubesetzung?....Pages 41-53 Generierung aus f-Strukturen als strukturgesteuerte Ableitung....Pages 54-63 FREGE Ein objektorientierter FRont-End-GEnerator....Pages 64-73 Concretion Inferences in Natural Language Understanding....Pages 74-83 Modelling Heuristic Parsing Strategies....Pages 84-93 An Organization of Lexical Knowledge for Generation....Pages 94-103 A Knowledge-Based Framework for Effective Probabilistic Control Strategies in Signal Understanding....Pages 104-113 Issues of Integration and Balancing in Hybrid Knowledge Representation Systems....Pages 114-123 Der Aspekt der Zeitstruktur in zeitlogischen Formalisierungen in der KI....Pages 124-128 Higher-order Concepts in a Tractable Knowledge Representation....Pages 129-138 Using Logic Programming for Fault Diagnosis in Digital Circuits....Pages 139-148 Specifying Meta-Level Architectures for Rule-Based Systems....Pages 149-159 Guiding the Maintenance of a Model-Based Advisory System by Explanation-based Learning....Pages 160-169 An Efficient Interpreter for a Rule-Based Non-Monotonic Deduction System....Pages 170-174 Belief Revision in Diagnosis....Pages 175-184 Erweiterungen des Basic ATMS....Pages 185-194 Oldy But Goody Paramodulation Revisited....Pages 195-200 Program Verification by Symbolic Execution and Induction....Pages 201-210 Resolution on Formula-Trees....Pages 211-220 A Hyperresolution-based Proof Procedure and Its Implementation in Prolog....Pages 221-230 Narrowing Techniques Applied to Idempotent Unification....Pages 231-240 Theopogles — A Theorem Prover Based on First-Order Polynomials and a Special Knuth-Bendix Procedure....Pages 241-250 Computational Reflection....Pages 251-265 Cognitive Modelling and Education....Pages 266-276 Front Matter....Pages 277-277 Wissen und Können....Pages 278-286 Repräsentationsformen beim menschlichen Problemlösen....Pages 287-295 Mentale Bilder und Wegbedeutungen....Pages 296-305 Front Matter....Pages 306-306 Generation of content vs. generation of form: A review of recent work in the SEMSYN project....Pages 307-314 Ein erster Blick auf POPEL — Wie wird was gesagt?....Pages 315-319 How to say WHAT — IT or SOMETHING ?....Pages 320-329 Generierung natürlichsprachlicher Äußerungen zur simultanen Beschreibung von zeitveränderlichen Szenen....Pages 330-338 Front Matter....Pages 339-339 Endliche Automaten zur Verbflexion und ein spezielles deutsches Verblexikon....Pages 340-344 Zur lexikalischen Wissensquelle des Generierungssystems SEMSYN....Pages 345-354 Generierung mit GPSG....Pages 355-364 Front Matter....Pages 365-365 Architectural Concepts for Large Knowledge Bases....Pages 366-385 Interfacing Prolog and External Data Management Systems: A Model....Pages 386-395 Front Matter....Pages 365-365 Abbildung von Frames auf neuere Datenmodelle....Pages 396-405