Österreichische Artificial Intelligence-Tagung: Wien, 24.–27. September 1985 (Informatik-Fachberichte, 106) (German and English Edition)

Front Matter....Pages N2-VIII Überlegungen zur Konsistenztestproblematik von Wissensbasen am Bei-Spiel des Medizinischen Expertensystems Cadiag-1....Pages 1-8 “Knowledge Engineering” und “Agenda”-Entwurf für Ein Fehlerdiagnosesystem....Pages 9-17 Developmental Facilities in an Expert System for Network Troubleshooting....Pages 18-27 Ein Expertensystem als Bindeglied Zwischen CAD und CAM....Pages 28-33 VIE-PCX — Ein Expert System Shell für den PC....Pages 34-41 Morphologische Analyse und Intelligente Fehlerkorrektur in Vie-Lang....Pages 42-55 A Heuristic Model for Treatment of Vague Time Descriptions....Pages 56-64 Graphon — Ein System zur Sprachsynthese bei Texteingabe....Pages 65-71 Parsing Mit Controlled Active Procedures....Pages 72-80 The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence....Pages 81-89 Maschinelles Lernen mit heuristisch generierten Modellen....Pages 90-97 Knowledge Acquisition in the System VIE-LANG....Pages 98-107 Towards Parallel Machines for Aritficial Intelligence: Realization of the Alice Architecture by the L-Components....Pages 108-119 The L-Language for the Parallel L-Machine (A Parallel Architecture for AI Applications)....Pages 120-131 VIE-KET : Frames + Prolog....Pages 132-139 Remember — A Capability of Intelligent Software Tools....Pages 140-145 Artificial Intelligence Entwicklungsumgebungen....Pages 146-153 Eine Methode zur Automatischen Problemreduktion....Pages 154-163 The Lops-Approach: Towards New Syntheses of Algorithms....Pages 164-172 PROOF-PAD An Interactive Proof Generating System Using Natural Deduction....Pages 173-184 The Simplifier of the Program Verifier “Tatzelwurm”....Pages 185-193 What Happened with AI’s Drosophila?....Pages 194-203 TA of AI....Pages 204-211 Back Matter....Pages 213-213