5. Österreichische Artificial-Intelligence-Tagung: Igls/Tirol, 28.-31. März 1989 Proceedings

Front Matter....Pages I-XI
Die Anwendung Generalisierter Quantoren in einem natürlichsprachigen Datenbank-Interface....Pages 124-133
“Sprechende Objekte” Erzeugung natürlichsprachlicher Phrasen aus Objektrahmen und Regeln....Pages 134-142
Lernen von Syntax natürlicher Sprache....Pages 143-148
Extending Explanation-Based Generalization....Pages 149-153
Wissensbasiertes Lernen in der Musik: Die Integration induktiver und deduktiver Lernmethoden....Pages 154-163
Dynamische Generierung von Units in einer Sprache für Neurale Netzwerke....Pages 164-170
An Outline of a New Algorithm for Game Tree Search....Pages 171-176
Temporal Issues in Qualitative Reasoning....Pages 1-13
Current Issues In Language Understanding....Pages 14-25
Equational Theorem Proving and Rewrite Rule Systems....Pages 26-39
Strukturierte Wissenserhebung für Expertensysteme — Methodik und Repräsentation....Pages 40-47
Ein Erfahrungsbericht zur Strukturierung medizinischen Wissens in VIE-MED, einem Expertensystem für den Bereich der ärztlichen Primärversorgung....Pages 48-57
ARTEX — Configuration-Driven Diagnosis for Routing Systems....Pages 58-64
Ein System zur fallbasierten Wissensverarbeitung in technischen Diagnosesituationen....Pages 65-70
Das Blackboard-System BASAR....Pages 71-80
Ein Neues Konzept Wissensbasierter Systeme Zur Lösung Der Wegeprobleme Für Autonome Mobile Roboter....Pages 81-86
Learning Heuristics for a Theorem Prover using Back Propagation....Pages 87-95
Zeitbeschränkte Logische Programmierung....Pages 96-105
An effective decision algorithm for prepositional temporal logic....Pages 106-113
The Range Form of Databases and Queries or: How to Avoid Floundering....Pages 114-123
AI AND COGNITIVE SCIENCE — Themes for the Next Decade....Pages 206-211
Workshop Qualitatives Schließen....Pages 288-290
Qualitative Simulation des zeitlichen Verhaltens von Thyristorbrückengleichrichterschaltungen....Pages 291-297
Convex Relations Between Time Intervals....Pages 298-302
Repräsentation und Verarbeitung von zeitlichem Wissen....Pages 303-312
Konnektionismus in der AI....Pages 212-217
A Note on K. Bock’s “Syntactic Adjustment Effect” Problem....Pages 218-223
Erfahrungen mit einem Neuralen Netz, das BRIDGE spielen lernt....Pages 224-229
Detection of Minimal Microfeatures by Internal Feedback....Pages 230-239
Cognitive Modelling: Von der symbolischen AI zum ’connectionist approach’....Pages 240-249
Zur Möglichkeit der Konstruktion von Theorien durch die Minimierung der Entropie des Beobachteten auf der Basis konnektionistischer Modelle....Pages 250-259
Begriffsbildung/modellierung....Pages 260-260
Begriffsbildung im Bereich Natürlichsprachiger Systeme....Pages 261-269
Begriffsdefinitionen und Referenzidentifikation definiter Beschreibungen Neues aus der Beziehungskiste....Pages 270-277
Die logische Rekonstruktion eines Gegenstandsbereiches — Eine Fallstudie —....Pages 278-287
Eine Neue Methode zur Parallelisierung von Produktionensystemen....Pages 177-187
Variant Construction Using Constraint Propagation Techniques Over Semantic Networks....Pages 188-197
SAFIR — Intelligente Software für den Zugriff zu unterschiedlichen Datenbanken....Pages 198-205
KI — Eine Teildisziplin der Philosophie....Pages 313-324
Heideggers Philosophie der Mathematik als Vorbild für eine Philosophie der Künatlichen Intelligenz....Pages 325-333
Zur philosophischen Relevanz der Konnektionismus-Debatte....Pages 334-339
Apophansis und Kognition....Pages 340-345
Können AI-Programme als Theorien betrachtet werden? Ein wissenschaftsphilosophischer Beitrag....Pages 346-358
Philosophical assumptions in Artificial Intelligence: a tentative criticism of a criticism....Pages 359-364
Situations, Topoi, and Dispositions....Pages 365-375
Meaning and Representations....Pages 376-378
Language limits and world limits in the age of AI....Pages 379-386
Künstliche Intelligenz und Gödel-Theoreme....Pages 387-396
Reflections upon Turing’s analysis of the process of computation and its relation to AI....Pages 397-406
Und Sie Kommt Doch !....Pages 407-414
Stellt Die KI-Forschung Den Kernbereich Der Informatik Dar....Pages 415-421
Rechner und menschliche Gemeinschaft. Drei Capriccios....Pages 422-429
Ethische Fragen der “Künstlichen Intelligenz”....Pages 430-439
Künstliche Intelligenz und Systemtechnik....Pages 440-441
Artificial Intelligence and Decision Making....Pages 442-442
Das Metonym „KI“....Pages 443-452