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.

这些项目的总体设计是基于逻辑理论的互动研究的发展和探索。特殊的Ziele是对partieller bzw的建模、分类和算法处理。本文介绍了一种新的物流系统中的信息集成方法--非完整的信息交互模型（Inspesondere in Spielen）和非完整的信息集成方法，以及在物流系统中如何利用非完整的信息交互模型和非完整的信息集成方法。我们将韦尔登中的非完整的信息交互模型和信息等级模型进行了系统的分析和比较。在所有的拉曼工厂中，我们都需要大规模的Klassen von Modellen韦尔登，这样就可以在Konzepte möglich上获得一个完整的和抽象的Sichtweise。一个系统的模型和Lösungsverfahren（带有一个gewissen抽象点）将使理论更有说服力，并为更好的工作提供动力。一个中心的标准是更高的算法Handhabbarkeit，因此，相关的碎片问题将在最有效的韦尔登算法中得到解决。我们在信息处理中使用了一种低效率或高效率的算法，这种算法可以优化和实现，也可以在信息处理中使用。Hierbei is 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 abzuitzen，für welche Arten von partieller Information welche der Ressourcen benötigt韦尔登，damit die transmitten die Informationen，welche sie（schrittweise）erhalten ausreichend akenulieren können.Die Konzepte Abhängigkeit und Unabhängigkeit sind eng mit Informationsunschärfe verknüpft.我们将这些Konzepte systematisch整合到geeignete logische Systeme中，并根据Abhängigkeit和Unabhängigkeitslogik的基础上理解Logiken。一般来说，语义都是在不完整的信息定义的基础上形成的，或者在基础上形成一个具有团队意识的复合语义，这取决于塔斯基语义学的逻辑结构。Zentrale Fragen betreffen Ausdrucksstärke，Questimen und Komplexität des Model-Problems，Axiomatisierung des Unabhängigkeitsbegriffs im Zusammenhang mit der Dependency-Theorie für Datenbanken，and die Frage，welche Varianten solcher Logiken mit welchen Konzepten von partieller Information zusammenhängen.