Österreichische Artificial Intelligence-Tagung: Wien, 24.–27. September 1985

ISBN-13: 9783540156956 / Niemiecki / Miękka / 1985 / 214 str.

Harald Trost;Johannes Retti

Opis

Dieser Band enthalt die Beitrage zur Osterreichischen Artificial Intelligence - Tagung 1985, die vom 24. bis 27. September 1985 in Wien stattgefunden hat. Es war die erste Tagung dieser Art in Osterreich und ihr Ziel war es, Gber Forschungsaktivitaten auf dem immer wichtiger werdenden Gebiet der Artificial Intelligence in Osterreich zu informieren. Dies wurde auch erreichtj von den insgesamt 23 Beitragen des Bandes stammen 14 von Wissenschaftern aus Osterreich. Die Beitrage befassen sich mit folgenden Teil- gebieten der AI: Expertensysteme, Naturlichsprachige Systeme, Wis- senserwerb und Learning, AI-Tools, Automatisches Beweisen und Programmieren, Spiele, Auswirkungen der AI. 1m Vorprogramm wurden Tutorials zu den Themen "Einfuhrung in die AI", "Expertensysteme", "LISP und AI-Tools", "Roboter/ Flexible Automation" sowie "Naturlichsprachige Datenbank- Interfaces" durchgefuhrt. Der rege Besuch bestatigte das all- gemeine Interesse. Insgesamt zeigen die Beitrage dieses Bandes, daG die Forschung durchaus auf internationalem Niveau steht, was angesichts der kleinen Anzahl von Wissenschaftern und der beschrankten Mittel positiv uberrascht. Wir mochten an dieser Stelle allen, die mit Ihren Beitragen diese Tagung ermoglicht haben, herzlich danken. Besondere An- erkennung gilt auch allen Mitgliedern der OGAI und Mitar- beitern, die zum Erfolg beigetragen haben.

Spis treści

Expertensysteme.- Überlegungen zur Konsistenztestproblematik von Wissensbasen am Beispiel des medizinischen Expertensystems CADIAG-1.- “Knowledge Engineering” und “Agenda”-Entwurf für ein Fehlerdiagnosesystem.- Developmental Facilities in an Expert System for Network Troubleshooting.- Ein Expertensystem als Bindeglied zwischen CAD und CAM.- VIE-PCX — Ein Expert System Shell für den PC.- Natürlichsprachige Systeme.- Morphologische Analyse und intelligente Fehlerkorrektur in VIE-LANG.- A Heuristic Model for Treatment of Vague Time Descriptions.- GRAPHON — Ein System zur Sprachsynthese bei Texteingabe.- Parsing mit Controlled Active Procedures.- Wissenserwerb und Learning.- The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence.- Maschinelles Lernen mit heuristisch generierten Modellen.- Knowledge Acquisition in the System VIE-LANG.- AI-Tools.- Towards Parallel Machines for Artificial Intelligence: Realization of the ALICE Architecture by the L-Components.- The L-Language for the Parallel L-Machine.- VIE-KET: Frames + Prolog.- Remember — A Capability of Intelligent Software Tools.- AI-Entwicklungsumgebungen.- Automatisches Beweisen und Programmieren.- Eine Methode zur automatischen Problemreduktion.- The LOPS-Approach: Towards New Syntheses of Algorithms.- PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction.- The Simplifier of the Program Verifier “Tatzelwurm”.- Spiele.- What Happened with AI’s Drosophila?.- Auswirkungen.- TA of AI.