Algorithms and Complexity of Logical Decision Problems and their Application in Knowledge Representation

Generelles Ziel dieses Vorhabens ist die Konstruktionvon entscheidungsalgalgorithm und die Untersuchung vonKomplexitätsfragen fr logische entscheidungsproblem，请参见derWissensrepräsentation中的相关内容。[3] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1] [1]inbesonere sollen - her tableau- and automatenbasierte Verfahren fgr Beschreibungs- unmodallogiken sowie as protected Fragment untersucht werden,mit Ziel, einen einheitlichen algorithmischen Ansatzzu erhalten, der die Vorteile beder Verfahren auweist。该算法在原型设计、实现和评估等方面均有应用。在构造效率算法方面，本文提出了基于逻辑的模型检验问题（模型检验）。

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.