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
中文摘要
Ziel dieses Vorhabens ist die Erforschung理论家,Grundlagen和算法,mischden zesden估计最优verhalens交互作用,夜间终端系统。我是Mittelpunkt des Interesses stesteens zustandsbasierte Systeme,我们在这里学习Mehrpersonen-Spiele auf Graphen modelliert werden können。(1)信息技术与信息技术(infoatik - forschich - forscher Fragestellung bisher hauptsächlich aufdie Analyse reiner konfliktsitationen zwischen zweiagenten (z.B. System and Umgebung) konzentriert and fredas entsprechende modelell der zwepersonen - nulsumen - spiele eine ausgeitetheorie mit bedetenden Anwendungen geschaffen)。在此基础上,我们提出了一种新的理论,即理论与理论之间的相互作用,理论与理论之间的相互作用,理论与理论之间的相互作用,理论与理论之间的相互作用。Das f<s:1> r diese Fragestellung grundlegende model der nicht - nullsumen - spiele ist f<s:1> r endliche Abläufe in der klassischen (mathematischen und ökonomischen) Spieltheorie wohletabliert。在Hinblick, auf die Erfassung - nighterminierender,也unendlicher, Abläufe sollen fundamentale Lösungskonzepte ausgebaut und algorithmisch zugänglich gemacht werden。内本·斯皮勒在《完美的信息》杂志上发表了一篇文章。静脉besonderer Schwerpunkt liegt der集成logisch-algebraischer假设麻省理工学院Methoden der艺术Intelligenz苏珥praktikablen Umsetzung algorithmischenLosungen。
英文摘要
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
-
依托单位:
海外基金