Kurzfassung

Ziel des Projekts ist die Entwicklung eines Deduktionssystems zur prädikatenlogischen Modellberechnung, welches für den Einsatz in verschiedenen Anwendungsgebieten geeignet ist. Automatische Modellberechnung wird heute für komplexe Planungs- und Verifikations- und Diagnoseaufgaben genutzt. Auf diesem aktuellen Stand aufsetzend werden im Rahmen des Projekts die für umfangreichere Einsatzfelder nötigen Erweiterungen der sprachlichen Ausdruckskraft erarbeitet. Dazu gehören: volle Prädikatenlogik...Ziel des Projekts ist die Entwicklung eines Deduktionssystems zur prädikatenlogischen Modellberechnung, welches für den Einsatz in verschiedenen Anwendungsgebieten geeignet ist. Automatische Modellberechnung wird heute für komplexe Planungs- und Verifikations- und Diagnoseaufgaben genutzt. Auf diesem aktuellen Stand aufsetzend werden im Rahmen des Projekts die für umfangreichere Einsatzfelder nötigen Erweiterungen der sprachlichen Ausdruckskraft erarbeitet. Dazu gehören: volle Prädikatenlogik erster Stufe, nicht-monotone Verfahren, präferierte Modelle, Supported Models, Answer Set Programming sowie Description Logiken. Effiziente Verfahren zu deren Verarbeitung werden als Kalküle theoretisch fundiert und in effiziente Implementierungen umgesetzt. Die Praxisadäquatheit des Systems wird mit einer Fallstudie aus dem Bereich des Dokumentenmanagement für E-Learning gezeigt. Lehrmaterial, Nutzerprofile und Aufgabenbeschreibungen werden dabei als ein Netzwerk von Einheiten repräsentiert, die nach semantischen Kriterien verknüpft sind. Antworten auf Anfragen über dieses Netzwerk entsprechen Modellen, die von werden von dem modellbasierten Deduktionssystem berechnet werden.Ziel des Projekts ist die Entwicklung eines Deduktionssystems zur prädikatenlogischen Modellberechnung, welches für den Einsatz in verschiedenen Anwendungsgebieten geeignet ist.Automatische Modellberechnung wird heute für komplexe Planungs- und Verifikations- und Diagnoseaufgaben genutzt. Auf diesem aktuellen Stand aufsetzend werden im Rahmen des Projekts die für umfangreichere Einsatzfelder nötigen Erweiterungen der sprachlichen Ausdruckskraft erarbeitet. Dazu gehören: volle Prädikatenlogik erster Stufe, nicht-monotone Verfahren, präferierte Modelle, Supported Models, Answer Set Programming sowie Description Logiken. Effiziente Verfahren zu deren Verarbeitung werden als Kalküle theoretisch fundiert und in effiziente Implementierungen umgesetzt. Die Praxisadäquatheit des Systems wird mit einer Fallstudie aus dem Bereich des Dokumentenmanagement für E-Learning gezeigt. Lehrmaterial, Nutzerprofile und Aufgabenbeschreibungen werden dabei als ein Netzwerk von Einheiten repräsentiert, die nach semantischen Kriterien verknüpft sind. Antworten auf Anfragen über dieses Netzwerk entsprechen Modellen, die von werden von dem modellbasierten Deduktionssystem berechnet werden.» weiterlesen» einklappen