Modellbasierte prädikatenlogische Deduktion für Anwendungen

• Antragsteller: Professor Dr. Ulrich Furbach
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2003 bis 2008
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5395937

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.

• DFG-Verfahren: Sachbeihilfen