Model Based Deduction in Predicate Logic for Applications

• Applicant: Professor Dr. Ulrich Furbach
• Subject Area: Theoretical Computer Science
• Term: from 2003 to 2008
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants