5. Österreichische Artificial-Intelligence-Tagung

Die 5. Österreichische Artificial-Intelligence-Tagung setzt sich zusammen aus wissenschaftlichem Programm, Workshops und Tutorials. Der wissenschaftlich orientierte Teil des Tagungsprogramms umfaßt sowohl eingeladene als auch begutachtete Vorträge zu den Themen Qualitatives Schließen, Methodik Wissensbasierter Systeme und deren Anwendung, Logik/Deduktion, Natürlichsprachliche Systeme, Lernen und Kognition. Zum Informationsaustausch waren zusätzlich Workshops zur Weiterbildung vorgesehen. Besonders das Thema "Philosophie und KI" demonstrierte das allgemeine Interesse. Dies soll mit Beiträgen dokumentiert werden, die einen Überblick über Berührungspunkte der KI mit philosophischen Strömungen bieten und auch den Einfluß der KI als Teil der Informatik auf das philosophische Weltbild verdeutlichen. Ebenfalls repräsentative Beiträge wurden zu den Workshops "Konnektionismus", "Qualitatives Schließen" und "Begriffsbildung/-modellierung" ausgewählt.

Inhalt
1 (Hrsg. J. Retti).- Eingeladene Hauptvorträge.- Temporal Issues in Qualitative Reasoning.- Current Issues in Natural Language Understanding.- Equational Theorem Proving and Rewrite Rule Systems.- Wissensbasierte Systeme.- Strukturierte Wissenserhebung für Expertensysteme Methodik und Repräsentation.- Ein Erfahrungsbericht zur Strukturierung medizinischen Wissens in VIE-MED, einem Expertensystem für den Bereich der ärztlichen Primärversorgung.- ARTEX Configuration-Driven Diagnosis for Routing Systems.- Ein System zur fallbasierten Wissensverarbeitung in technischen Diagnosesituationen.- Das Blackboard-System BASAR.- Ein neues Konzept wissensbasierter Systeme zur Lösung der Wegeprobleme für autonome mobile Roboter.- Logik/Deduktion.- Learning Heuristics for a Theorem Prover Using Back Propagation.- Zeitbeschränkte Logische Programmierung.- An Effective Decision Algorithm for Propositional Temporal Logic.- The Range Form of Databases and Queries or: How to Avoid Floundering.- Natürlichsprachige Systeme.- Die Anwendung Generalisierter Quantoren in einem natürlichsprachigen Datenbank-lnterface.- Sprechende Objekte Erzeugung natürlichsprachiger Phrasen aus Objektrahmen und Regeln.- Lernen von Syntax natürlicher Sprache.- Lernen.- Extending Explanation-Based Generalization.- Wissensbasiertes Lernen in der Musik: Die Integration induktiver und deduktiver Lemmethoden.- Dynamische Generierung von Units in einer Sprache für Neurale Netzwerke.- Methoden der AI.- An Outline of a New Algorithm for Game Tree Search.- Eine neue Methode zur Parallelisierung von Produktionensystemen.- Variant Construction Using Constraint Propagation Techniques Over Semantic Networks.- Anwendungen der AI.- SAFIR Intelligente Software für den Zugriff zuunterschiedlichen Datenbanken.- Cognitive Science.- AI and Cognitive Science Themes for the Next Decade.- Workshop Konnektionismus (Leitung: G. Dorffner, Universität Wien).- Konnektionismus in der AI.- A Note on K. Bock's Syntactic Adjustment Effect Problem.- Erfahrungen mit einem Neuralen Netz, das BRIDGE spielen lernt.- Detection of Minimal Microfeatures by Internal Feedback.- Cognitive Modelling: Von der symbolischen Al zum Connectionist Approach.- Zur Möglichkeit der Konstruktion von Theorien durch die Minimierung der Entropie des Beobachteten uaf der Basis konnektionistischer Modelle.- Workshop Begriffsbildung/modellierung (Leitung: H. Horacek, Universität Bielefeld).- Begriffsbildung im Bereich Natürlichsprachiger Systeme.- Begriffsdefinitionen und Referenzidentifikation definiter Beschreibungen Neues aus der Beziehungskiste.- Die logische Rekonstruktion eines Gegenstandsbereiches Eine Fallstudie.- Workshop Qualitatives Schließen (Leitung: P. Struß, Siemens AG, München, H. Voß, GMD, Bonn).- Qualitative Simulation des zeitlichen Verhaltens von Thyristorbrückengleichrichterschaltungen.- Convex Relations Between Time Intervals.- Repräsentation und Verarbeitung von zeitlichem Wissen.- 2 (Hrsg. K. Leidlmair).- Workshop Philosophische Aspekte der Klinstlichen Intelligenz Holismus versus Repräsentationismus Signalisiert der Rekurs auf konnektionistische und hermeneutische Denkansätze einen Paradigmenwechsel in der KI?.- KI Eine Teildisziplin der Philosophie.- Heideggers Philosophie der Mathematik als Vorbild für eine Philosophie der Künstlichen Intelligenz.- Zur philosophischen Relevanz der Konnektionismus-Debatte.- Apophansis und Kognition.- Können AI-Programme als Theorien betrachtet werden? Ein wissenschaftsphilosophischer Beitrag.- Philosophical Assumptions in Artificial Intelligence: a Tentative Criticism of a Criticism.- Linguistische Probleme der KI.- Situations, Topoi, and Dispositions On the Phenomenological Modelling of Meaning.- Meaning and Representations.- Language Limits and World Limits in the Age of AI Sapir and Whorf Revisited.- Konzeptionelle Grenzen der KI.- Künstliche Intelligenz und Gödel-Theoreme.- Reflections upon Turing's Analysis of the Process of Computation and its Relation to AI.- Und sie kommt doch! Über die Gewißheit zukünftiger künstlicher Intelligenz.- Stellt die KI-Forschung den Kernbereich der Informatik dar?.- Ethische und sozialphilosophische Aspekte der KI.- Rechner und menschliche Gemeinschaft Drei Capriccios.- Ethische Fragen der Künstlichen Intelligenz.- Künstliche Intelligenz und Systemtechnik.- Artificial Intelligence and Decision-Making.- Das Metonym KI Soziologische Anmerkungen zum Projekt der implementierten Theorie.