Algorithmische Strategien in Mehrpersonen-Spielen - Konzepte und Methoden für kooperationsfähige Systeme
Algorithmische Strategien in Mehrpersonen-Spielen - Konzepte und Methoden für kooperationsfähige Systeme
批准号:
40219435
负责人:
Professor Dr. Erich Grädel
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2007
资助国家:
德国
项目状态:
已结题
起止时间:
2006-12-31 至 2010-12-31
中文摘要
在此基础上,提出了一种新的优化方法-终结者系统。我是Mittelpenkt des Interess stehen zuStandsbasierte system,很好地完成了Mehrsonen-Spiele auf Graphen Model liert Wen den können。他的信息-Forschung Hat Sich in Dieser Frasterellung Bisher hauptsächlich auf die analyse Reiner KonfliktSituationen zwichen zwei Agenten(Z.B.system and Umgebung)konzentriert and für das entsprechende modell der Zweisonen-Nullsum-Spiele eine augereifte Theorie e MIT bedeutenden and Anwendungen geschaffen.从现在开始,我们将继续努力,让我们更好地理解这一点。这是一项非常重要的工作。Das für diese Frasterellung grundLegende modell der Nicht-Nullsum man-Spiele ist für endliche Abläufe in der kassischen(mamaatischen undökonomischen)Spieltheorie Wohl etabliert.我是Hinblick auf die Erfassung的终结者,也是永无止境的,Abläufe Sollen Fununentale Lösungskonzepte augebaut and算法misch Zugänglich giacht den。我们的专业信息在全球范围内得到了广泛的应用。在集成的逻辑代数和MIT方法论和Künstlichen智能zur prktikablen Umsetzung和算法mischenLösungen。
英文摘要
Ziel dieses Vorhabens ist die Erforschung theoretischer Grundlagen und algorithmischer Methoden zur Bestimmung des optimalen Verhaltens interaktiver, nicht-terminierender Systeme. Im Mittelpunkt des Interesses stehen zustandsbasierte Systeme, welche durch Mehrpersonen-Spiele auf Graphen modelliert werden können. Die Informatik-Forschung hat sich in dieser Fragestellung bisher hauptsächlich auf die Analyse reiner Konfliktsituationen zwischen zwei Agenten (z.B. System und Umgebung) konzentriert und für das entsprechende Modell der Zweipersonen- Nullsummen-Spiele eine ausgereifte Theorie mit bedeutenden Anwendungen geschaffen. Darauf aufbauend soll hier eine Theorie entwickelt werden, welche dem Kooperationspotential Rechnung trägt, das sich in der Interaktion von zwei oder mehreren Agenten ergibt, deren Zielvorgaben sich nicht notwendigerweise gegenseitig ausschließen. Das für diese Fragestellung grundlegende Modell der Nicht-Nullsummen-Spiele ist für endliche Abläufe in der klassischen (mathematischen und ökonomischen) Spieltheorie wohl etabliert. Im Hinblick auf die Erfassung nicht-terminierender, also unendlicher, Abläufe sollen fundamentale Lösungskonzepte ausgebaut und algorithmisch zugänglich gemacht werden. Neben Spielen mit perfekter Information werden dabei Effekte von Informationsunschärfe in verschiedenen Graden untersucht. Ein besonderer Schwerpunkt liegt in der Integration logisch-algebraischer Ansätze mit Methoden der Künstlichen Intelligenz zur praktikablen Umsetzung der algorithmischenLösungen.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Logic, Symmetry, and Complexity
-
批准号:405342984
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2018
-
负责人:Professor Dr. Erich Grädel
-
依托单位:
Dependence and Independence, Quantitative Aspects and Counting Constructs in Logic and Games
-
批准号:270058382
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2015
-
负责人:Professor Dr. Erich Grädel
-
依托单位:
Automatic Structures
-
批准号:230228719
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2013
-
负责人:Professor Dr. Erich Grädel
-
依托单位:
Partielle Information in Logik und Spielen
-
批准号:211982289
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2011
-
负责人:Professor Dr. Erich Grädel
-
依托单位:
Fixed point logics: expressive power, structure, complexity
-
批准号:199814663
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2011
-
负责人:Professor Dr. Erich Grädel
-
依托单位:
Logic for Interaction (LINT)
-
批准号:71963687
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Professor Dr. Erich Grädel
-
依托单位:
Computational Model Theory (algorithmische Modelltheorie) und ihre Anwendungen in der Informatik
-
批准号:5280774
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2000
-
负责人:Professor Dr. Erich Grädel
-
依托单位:
Theoretische Grundlagen und Model-Checking für Abstract-State-Machines
-
批准号:5162256
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr. Erich Grädel
-
依托单位:
Algorithmen und Komplexität für logische Entscheidungsprobleme und deren Anwendungen in der Wissensrepräsentation
-
批准号:5386744
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr. Erich Grädel
-
依托单位:
Provenance Analysis for Logic and Games
-
批准号:434376062
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Erich Grädel
-
依托单位:
海外基金