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

一般的齐尔认为，这是一个非常重要的问题，也是一个非常重要的问题。这是一种新的技术和技术，但它并不适用于所有的技术。在Sesbeondere Sollen Her Tableau-and Automatenbasierte Verfahren für Beschreibungs-undmodallogiken Sowie das受保护的碎片的基础上，MIT DEM ZIELL，Einen einheitlichen算法错误地执行和评估了Anatzzu erhalten，der die vorteile beder der Verfahren aufweist。因此，停止了算法和Sollen原型的实现和评估。Ein weites ZIel istdie Konstruktion Efficient算法für das AuswerTungsProblem(Model Checking)Dester Logiken.

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.