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

逻辑决策问题的算法和复杂性及其在知识表示中的应用

• 批准号: 5386744
• 负责人: Professor Dr. Erich Grädel
• 金额: --
• 依托单位: Professur für Automatentheorie
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 1998
• 资助国家: 德国
• 起止时间: 1997-12-31 至 2004-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5386744?language=en
• 关键词: Algorithmen; und; Komplexit; logische; Entscheidungsprobleme

Konkretes Ziel der zweiten Projektphase soll daher sein, verschiedene Ansätze zur Entwicklung von Entscheidungsalgorithmen für Logiken zu vergleichen und miteinander zu integrieren. Insbesondere sollen hier tableau- und automatenbasierte Verfahren für Beschreibungs- und Modallogiken sowie GF untersucht werden, mit dem Ziel einen einheitlichen algorithmischen Ansatz zu erhalten, der die Vorteile beider Verfahren aufweist. Die so erhaltenen Algorithmen sollen wieder prototypisch implementiert und evaluiert werden. Ein weiteres Ziel ist die Konstruktion effizienter Algorithmen für das Auswertungsproblem dieser Logiken. Schließlich soll für die hier betrachteten Logiken der Zusammenhang zwischen der Struktur von formeln und ihren algorithmischen Eigenschaften analysiert werden. Solche Resultate sollen einerseits dazu dienen, effizient entscheidbare Fragmente in diesen Logiken zu isolieren, sie sollen andererseits eine Basis zur Konstruktion Wahrscheinlichkeitsverteilungen von Formeln liefern, unter denen das average-case Verhalten von Entscheidungsverfahren analysiert werden kann.

Konkretes Ziel der zweiten Projektphase soll daher sein，vercedene Ansätze zur Entscheidungsaltmen für Logiken zu vergleichen und miteinander zu integrieren.在韦尔登中，可以使用一个简单的算法来确定网格的形状，然后将网格的顶点放置在网格的底部。因此，要实现这些目标，就必须使用原型实现和评估韦尔登。Ein weiteres Ziel ist die Konstruktion effizienter Schumen für das Auswertungsproblem dieser Logiken. Schließlich soll für die abetrachteten Logiken der Zusammenhang zwischen der Struktur von formeln und ihren algorithmischen Eigenschaften analysiert韦尔登.求解结果可以是一个简单的问题，有效地将不完整的碎片引入到孤立的Logiken中，该问题的求解和推导是一个基于构造的Wahrscheinlichitsvertelungen von Formeln liefern的基础，在一般情况下，可以对Entscheidungsverfahren进行韦尔登。