Detailseite
Projekt Druckansicht

Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissenspräsentation

Fachliche Zuordnung Theoretische Informatik
Förderung Förderung von 2002 bis 2004
Projektkennung Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5403820
 
Generelles Ziel dieses Vorhabens ist die Konstruktionvon Entscheidungsalgorithmen und die Untersuchung vonKomplexitätsfragen für logische Entscheidungsprobleme,welche relevant sind für Anwendungen in derWissensrepräsentation. Konkretes Ziel dieser Projektphasesoll sein, verschiedene Ansätze zur Entwicklung vonEntscheidungsalgorithmen für Logiken zu vergleichen undmiteinander zu integrieren. Insbesondere sollen hier tableau-und automatenbasierte Verfahren für Beschreibungs- undModallogiken sowie das Guarded Fragment untersucht werden,mit dem Ziel, einen einheitlichen algorithmischen Ansatzzu erhalten, der die Vorteile beider Verfahren aufweist.Die so erhaltenen Algorithmen sollen prototypischimplementiert und evaluiert werden. Ein weiteres Ziel istdie Konstruktion effizienter Algorithmen für dasAuswertungsproblem (Model Checking) dieser Logiken.
DFG-Verfahren Sachbeihilfen
 
 

Zusatzinformationen

Textvergrößerung und Kontrastanpassung