Partielle Information in Logik und Spielen

逻辑和游戏中的部分信息

• 批准号: 211982289
• 负责人: Professor Dr. Erich Grädel
• 金额: --
• 依托单位: Informatik 7: Lehr- und Forschungsgebiet für Mathematische Grundlagen der Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2011
• 资助国家: 德国
• 起止时间: 2010-12-31 至 2012-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/211982289?language=en
• 关键词: Partielle; Information; Logik; und; Spielen

Die generelle Zielsetzung dieses Projekts ist die Entwicklung und Untersuchung von mathematisch fundierten logischen Theorien für Interaktion. Speziellere Ziele sind die Modellierung, Klassifikation und algorithmische Behandlung von partieller bzw. imperfekter Information in formalen Modellen für Interaktion (insbesondere in Spielen) und die Integration von Konzepten wie Abhängigkeit und Unabhängigkeit, welche eng mit partieller Information verbunden sind, in geeignete logische Systeme.Wir untersuchen, welche Arten von partieller Information in informatikrelevanten Modellen berücksichtigt werden müssen und analysieren die Modelle systematisch anhand der verschiedenen Arten und Grade von Informationsunschärfen. Dabei sollen möglichst große Klassen von Modellen in allgemeine Rahmenwerke eingebettet werden, so dass auf gewissen Ebenen eine einheitliche und abstrakte Sichtweise auf die Konzepte möglich ist. Eine derartige Systematisierung der Modelle und Lösungsverfahren (mit einem gewissen Abstraktionspotential) wird die Theorie anwendbarer und für weitere Bereiche zugänglich machen.Ein zentrales Kriterium ist hierbei algorithmische Handhabbarkeit, das heißt, die relevanten Fragestellungen sollten über den entwickelten Modellen algorithmisch möglichst effizient gelöst werden können. Wir streben an, bisherige ineffiziente oder auf Spezialfälle beschränkte algorithmische Lösungen zu optimieren und zu verallgemeinern, beispielsweise unter Ausnutzung spezieller Arten von Informationsunschärfe. Hierbei ist es auch von fundamentalem Interesse, die inhärenten Grenzen algorithmischer Möglichkeiten für solche Modelle auszuloten. Ein weiteres Ziel ist es, optimale Verhaltensstrategien mit möglichst geringen Ressourcen zu implementieren und klar abzugrenzen, für welche Arten von partieller Information welche der Ressourcen benötigt werden, damit die Agenten die Informationen, welche sie (schrittweise) erhalten ausreichend akkumulieren können.Die Konzepte Abhängigkeit und Unabhängigkeit sind eng mit Informationsunschärfe verknüpft. Wir integrieren diese Konzepte systematisch in geeignete logische Systeme, ausgehend von bekannten Logiken auf der Basis von Abhängigkeit und der von uns gemeinsam mit Väänänen eingeführten stärkeren Unabhängigkeitslogik. Gemeinsam ist all diesen Ansätzen, dass die Semantik entweder auf der Basis von Spielen mit imperfekter Information definiert wird, oder auf der Basis einer kompositionalen Semantik mit Mengen von Bewertungen (Team-Semantik), welche sich damit wesentlich von der Tarski-Semantik üblicher Logiken unterscheidet. Zentrale Fragen betreffen Ausdrucksstärke, Algorithmen und Komplexität des Model-Checkings, Axiomatisierung des Unabhängigkeitsbegriffs im Zusammenhang mit der Dependency-Theorie für Datenbanken, und die Frage, welche Varianten solcher Logiken mit welchen Konzepten von partieller Information zusammenhängen.

这是一种新的数学化和数学化的方法。Speziellere Ziele sind die Modellierung，Klassifikation and算法mische Behandsolon von Partieller bzw.Forformalen Modelen für Interaktion(In Spielen In Spielen)中的不正确信息和集成von Konzepten Wie ABHänGigkeit and unabhänGigkeit，well che Eng MIT Partieller Information Verbunden Sind，Geeignete Logche System.Wir unteruchenen，Arten von Pareller Information in Formalen Modelellen Modelellen füsichtigt den müssen and Analysieren System le vdelsieren Completle Hand Verschieden Arten and Level Von Informationschäfen.在所有的德国人中，所有的人都是这样的人，所以他们的工作就是这样做的。[参考译文][晓雨-0920交稿][晓雨-0920交稿]这是一种全新的建模方法和方法，适用于各种不同的建模方法和算法。我们为客户提供最好的、最好的和最好的信息。这是一种基本的利益，在格伦森算法的基础上也是如此。这是一种新的、最好的解决方案。我们在极小的物流系统中集成了这些系统，并在此基础上建立了相应的物流系统和VIT Vänänen eingeführten stärkeren unabhänGigkeitslogik。所有的一切都是基于信息定义的基础上进行的，也就是说，所有的信息都是基于这些信息定义的，而不是所有的信息都是这样的。在Ausdrucksstärke，算法和Komplexit des Model-Checking，Axiomatisierung des unabhänGigkeits Begriff des Zusammenang MIT der Dependency-Theorie für Datenbanken，and die Frage，well che Varianten Solcher Logiken MIT well chen Konzepten von Partieller Information zusammenhängen之间的中心，算法和Komplexit des Model-Checings，Ausdrucksstärke，算法和Komplexität des Model-Chings，Axiomatisierung des unabhänGigkeits Begriff des Zusammenang MIT der Der De-Theorie Datenbanken，and die Frage，well che Varianten Solcher Logiken MIT well chen Konzepten von Partieller Information zusammenhängen。