Model Based Deduction in Predicate Logic for Applications

点击翻译按钮获取中文摘要

Ziel des Projekts ist die Entwicklung eines Deduktionssystems zurprädikatenlogischen Modellberechnung, welches für den Einsatz inverschiedenen Anwendungsgebieten geeignet ist.Automatische Modellberechnung wird heute für komplexe Planungs-,Verifikations- und Diagnoseaufgaben genutzt. Auf diesem aktuellenStand aufsetzend werden im Rahmen des Projekts die für umfangreichereEinsatzfelder nötigen Erweiterungen der sprachlichen Ausdruckskrafterarbeitet. Dazu gehören: volle Prädikatenlogik erster Stufe,nicht-monotone Verfahren, präferierte Modelle, supported Models,Answer Set Programming sowie Description-Logiken. Effiziente Verfahrenzu deren Verarbeitung werden als Kalküle theoretisch fundiert und inImplementierungen umgesetzt.Die Praxisadäquatheit des Systems wird mit einer Fallstudie aus demBereich des Dokumentenmanagement für E-Learning gezeigt. Lehrmaterial,Nutzerprofile und Aufgabenbeschreibungen werden dabei als ein Netzwerkvon Einheiten repräsentiert, die nach semantischen Kriterien verknüpftsind. Antworten auf Anfragen über dieses Netzwerk entsprechenModellen, die von dem modellbasierten Deduktionssystemberechnet werden.