Österreichische Artificial Intelligence-Tagung

Inhaltsverzeichnis

• 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.