Partielle Information in Logik und Spielen
逻辑和游戏中的部分信息
基本信息
- 批准号:211982289
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2011
- 资助国家:德国
- 起止时间:2010-12-31 至 2012-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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。
项目成果
期刊论文数量(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)}}的其他基金
Dependence and Independence, Quantitative Aspects and Counting Constructs in Logic and Games
逻辑和游戏中的依赖性和独立性、定量方面和计数结构
- 批准号:
270058382 - 财政年份:2015
- 资助金额:
-- - 项目类别:
Research Grants
Fixed point logics: expressive power, structure, complexity
定点逻辑:表达能力、结构、复杂性
- 批准号:
199814663 - 财政年份:2011
- 资助金额:
-- - 项目类别:
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
相似国自然基金
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
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
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
How does the brain process conflicting information?
大脑如何处理相互矛盾的信息?
- 批准号:
DE240100614 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Discovery Early Career Researcher Award
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
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
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)
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)
Neuronal mechanisms for social information processing.
社会信息处理的神经机制。
- 批准号:
BB/Z514780/1 - 财政年份:2024
- 资助金额:
-- - 项目类别:
Fellowship