Quantifizierte Boolesche Formeln: Komplexität und Modellierung

量化布尔公式：复杂性和建模

• 批准号: 52589233
• 负责人: Professor Dr. Hans Kleine Büning
• 金额: --
• 依托单位: Fachgebiet Wissensbasierte Systeme
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2007
• 资助国家: 德国
• 起止时间: 2006-12-31 至 2009-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/52589233?language=en
• 关键词: Quantifizierte; Boolesche; Formeln; Komplexit; und

Ziel des Projektes ist es, ein besseres Verständnis quantifizierter Boolescher Formeln im Hinblick auf die Modellierung und die effiziente Verarbeitung zu erreichen. Im Einzelnen stehen dabei Fragen der Ausdrucksmächtigkeit von Teilklassen quantifizierter Boolescher Formeln mit freien Variablen, der Charakterisierung minimal falscher Formeln mit fester Deficiency und die Erweiterung von quantifizierten Booleschen Formeln um partiell geordnete Quantoren im Vordergrund. Aus methodischer Sicht wird hier weitgehend eine modelltheoretische Herangehensweise verfolgt.

他说：“这是一件非常重要的事情，因为它是一件非常重要的事情。我是Einzelnen stehen dabe Fragen der Ausdrucksmächtigkeit von Teilkraassen Quantifiziter Boolescher Formeln MIT Freien Variablen，der Charakterisierung Minimum Folscher Formeln MIT fester Defect and die Erweterung von Quantifizierten Booleschen Formeln um Parellell Geordnete Quantoren Im Vorderdergrund。我们的方法论是这样的：我们的方法论是正确的，我们的理论是正确的。