Österreichische Artificial Intelligence-Tagung

Wien, 24.–27. September 1985

Harald Trost, Johannes Retti (Herausgeber)

Buch | Softcover

VIII, 214 Seiten

1985
Springer Berlin (Verlag)
9783540156956 (ISBN)

Artikel merken

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.

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.

Erscheint lt. Verlag	1.9.1985
Reihe/Serie	Informatik-Fachberichte
Reihe/Serie	Subreihe Künstliche Intelligenz
Zusatzinfo	VIII, 214 S.
Verlagsort	Berlin
Sprache	deutsch
Maße	170 x 244 mm
Gewicht	385 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
Schlagworte	Beweisen • Expertensystem • Frames • Intelligence • Künstliche Intelligenz • Lernen • Maschinelles Lernen • PROLOG • Wissen
ISBN-13	9783540156956 / 9783540156956
Zustand	Neuware