Die Extraktion von Restriktionen aus Aufgabenbeschreibungen für die statische, konzeptbasierte Diagnose von Lösungs- bzw. Schaltungsentwürfen (aus der Pneumatik)

نویسندگان

  • Janine Willms
  • Claus Möbus
چکیده

Computerbasierte Lehrund Lernsysteme sollen Wissen effizient vermitteln und den Umgang mit Problemen in Prüfungssituationen oder im Alltag vereinfachen. Damit das Gelernte in aktives, anwendbares Wissen (prozedurales Wissen) beim Teilnehmer umgewandelt wird, reicht die bloße Vermittlung von Fakten und Regeln (deklaratives Wissen) nicht aus. Die Anwendung des Wissens selbst muß in „realen“ Problemsituationen trainiert werden, um prozedurales Wissen zu erwerben. Dafür wurden in unserer Arbeitsgruppe sogenannte Intelligente Problemlöseumgebungen (IPSE) entwickelt, in denen der Lernende freies, exploratives Problemlösen durch den uneingeschränkten Entwurf von Lösungen trainieren kann. Die Diagnosekomponenten dieser Systeme müssen mächtig genug sein, um sämtliche Entwurfsmöglichkeiten beurteilen zu können. In diesem Beitrag werden verschiedene Ansätze vorgestellt, die freies Problemlösen ermöglichen. Wenn der Lernende jedoch die Aufgabenstellung selbst nicht versteht, so können diese Systeme keine Hilfestellung geben. In der IPSE PULSE wurde daher eine konzeptbasierte Spezifikationsanalyse integriert, die den Lernenden bereits beim Verstehen der Aufgabenstellung unterstützt und hilft, Anfangsschwierigkeiten zu überwinden. Ein weiterer Vorteil der Spezifikationsanalyse ist die Einsetzbarkeit in einem Dozentenmodus, der die einfache Integration neuer Aufgaben durch einen Dozenten ermöglicht. Eine solche explizite Analyse von Restriktionen aus der Aufgabenbeschreibung wurde bisher in keinem anderen Lehrund Lernsystem verwirklicht.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Statische Extraktion von Protokollen

Die Auswirkungen von fehlerhaften Programmabläufen reichen von Fehlern in Berechnungen und falschen Ausgaben bis zum Einfrieren oder Abstürzen des Programms. Bekannt und gefürchtet sind unter anderem Verwendungen von uninitialisierten Variablen oder Zugriffe auf bereits freigegebenen Speicher. Fehlerhafte Synchronisierung von parallelen Zugriffen durch Threads auf gemeinsame Datenobjekte führen...

متن کامل

Towards a Description Grid - Ansätze für die verteilte Metadatengenerierung für Multimediadaten

Derzeitige Multimedia-Content-Managementsysteme und Multimediadatenbanken sind im Allgemeinen als spezialisierte und monolithische Systeme umgesetzt, die notwendige Metadatenextraktionsalgorithmen eng gekoppelt mit dem Anwendungsfeld umsetzen und integrieren. Der vorliegende Beitrag schlägt einen Ansatz für die verteilte Generierung bzw. Extraktion von Metadaten innerhalb eines Description Grid...

متن کامل

Echtzeitfähige Extraktion scharfer Standbilder in der Video-Koloskopie

Kurzfassung. Die endoskopische Untersuchung des Darms (Koloskopie) ist ein wichtiges Verfahren zur Diagnose und Therapie vieler Erkrankungen. Während der Koloskopie werden u. a. zu dokumentarischen Zwecken oder als Grundlage für die computergestützte Diagnose und Therapie Standaufnahmen erzeugt. Aufgrund der Peristaltik des Darms und der eingeschränkten Kontrolle über das Koloskop ist es schwie...

متن کامل

Extraktion vom Metadaten als Basis für eine semantische Integration heterogener Informationssysteme

Dieser Beitrag beschreibt einen Ansatz für die Extraktion von Metadaten als Basis für eine semantische Integration von heterogenen Informationssystemen. Es handelt sich dabei um einen Teilbereich eines Ansatzes für die semantische Integration von strukturierten und unstrukturierten Daten am Beispiel eines Data Warehouse und eines Wissensmanagementsystems. Ziel dieses Beitrags ist es zu zeigen, ...

متن کامل

Zur Automatischen Ermittlung von Testszenarien aus EPK-Schemata

Für funktionale Systemtests großer, komponentenund serviceorientierter betrieblicher Anwendungssoftware sind durchgängige Testszenarien sinnvoll, die für die wichtigsten, geschäftskritischen betrieblichen Abläufe des Anwenders vorzubereiten und durchzuführen sind. Zur Unterstützung der Ermittlung solcher „higher order“ Testfälle wird eine systematische Methode der Extraktion verzweigungsfreier ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998