Partielle Information in 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.

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Erich Grädel其他文献

Professor Dr. Erich Grädel的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Erich Grädel', 18)}}的其他基金

Logic, Symmetry, and Complexity
逻辑、对称性和复杂性
  • 批准号:
    405342984
  • 财政年份:
    2018
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Dependence and Independence, Quantitative Aspects and Counting Constructs in Logic and Games
逻辑和游戏中的依赖性和独立性、定量方面和计数结构
  • 批准号:
    270058382
  • 财政年份:
    2015
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Automatic Structures
自动结构
  • 批准号:
    230228719
  • 财政年份:
    2013
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Fixed point logics: expressive power, structure, complexity
定点逻辑:表达能力、结构、复杂性
  • 批准号:
    199814663
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Logic for Interaction (LINT)
交互逻辑 (LINT)
  • 批准号:
    71963687
  • 财政年份:
    2008
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Algorithmische Strategien in Mehrpersonen-Spielen - Konzepte und Methoden für kooperationsfähige Systeme
多人博弈中的算法策略——合作系统的概念和方法
  • 批准号:
    40219435
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Computational Model Theory (algorithmische Modelltheorie) und ihre Anwendungen in der Informatik
计算模型理论及其在计算机科学中的应用
  • 批准号:
    5280774
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Theoretische Grundlagen und Model-Checking für Abstract-State-Machines
抽象状态机的理论基础和模型检查
  • 批准号:
    5162256
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissensrepräsentation
逻辑决策问题的算法和复杂性及其在知识表示中的应用
  • 批准号:
    5386744
  • 财政年份:
    1998
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Provenance Analysis for Logic and Games
逻辑和游戏的起源分析
  • 批准号:
    434376062
  • 财政年份:
  • 资助金额:
    --
  • 项目类别:
    Research Grants

相似国自然基金

Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国青年学者研究基金项目
Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry
  • 批准号:
    W2433169
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国学者研究基金项目
SCIENCE CHINA Information Sciences
  • 批准号:
    61224002
  • 批准年份:
    2012
  • 资助金额:
    24.0 万元
  • 项目类别:
    专项基金项目

相似海外基金

QUIQ: Quantum information processed at attosecond timescale in double quantum-dot qubits
QUIQ:在双量子点量子位中以阿秒时间尺度处理的量子信息
  • 批准号:
    EP/Z000807/1
  • 财政年份:
    2025
  • 资助金额:
    --
  • 项目类别:
    Fellowship
Mobilizing brain health and dementia guidelines for practical information and a well trained workforce with cultural competencies - the BRAID Hub - Brain health Resources And Integrated Diversity Hub
动员大脑健康和痴呆症指南获取实用信息和训练有素、具有文化能力的劳动力 - BRAID 中心 - 大脑健康资源和综合多样性中心
  • 批准号:
    498289
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Operating Grants
How does the brain process conflicting information?
大脑如何处理相互矛盾的信息?
  • 批准号:
    DE240100614
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Discovery Early Career Researcher Award
Neuronal mechanisms for social information processing.
社会信息处理的神经机制。
  • 批准号:
    BB/Z514780/1
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Fellowship
Collaborative Research: Spintronics Enabled Stochastic Spiking Neural Networks with Temporal Information Encoding
合作研究:自旋电子学支持具有时间信息编码的随机尖峰神经网络
  • 批准号:
    2333881
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Collaborative Research: Spintronics Enabled Stochastic Spiking Neural Networks with Temporal Information Encoding
合作研究:自旋电子学支持具有时间信息编码的随机尖峰神经网络
  • 批准号:
    2333882
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
2024 - 2025 National Science Foundation (NSF) Computer and Information Science and Engineering (CISE) Research Experiences for Undergraduates (REU) Principal Investigator Workshops
2024 - 2025 美国国家科学基金会 (NSF) 计算机与信息科学与工程 (CISE) 本科生研究经验 (REU) 首席研究员研讨会
  • 批准号:
    2407231
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
World in your hand: Investigating the underlying mechanism of thermal material recognition and its interaction with multisensory information
手中的世界:研究热材料识别的基本机制及其与多感官信息的相互作用
  • 批准号:
    23K24934
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Impact of Dynamic Capabilities, Technological Readiness and Information Exchange Capabilities on the Resilience and Performance of Circular Supply Chains
动态能力、技术准备度和信息交换能力对循环供应链的弹性和绩效的影响
  • 批准号:
    24K05087
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Catalyzing Sustainable Air Travel: Unveiling Consumer Willingness to Pay for Sustainable Aviation Fuel through Information Treatment in Choice Experiment and Cross-Country Analysis
促进可持续航空旅行:通过选择实验和跨国分析中的信息处理揭示消费者支付可持续航空燃油的意愿
  • 批准号:
    24K16365
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了