图博弈的设计与模态逻辑的发展
图博弈是一种主体间互动的场景,可以使用模态逻辑的语言描述.模态词用来描述博弈玩家的行为,博弈的均衡和玩家的必胜策略则通常用模态逻辑的公式刻画,这些公式具有特定的模式.取决于博弈目标的设定、对玩家互动机制的设计,图博弈有着各种不同的版本.与之对应,模态逻辑的语言不断发展和扩展,新的逻辑系统也呈现不同的性质.逻辑学一方面作为分析现有图博弈的一种方法,另一方面,逻辑学也是设计新博弈的灵感来源.图博弈与逻辑学之间的相互渗透为研究博弈提供了新的视角,也是对博弈论和计算理论方法的重要补充.
图博弈、必胜策略、蓄意破坏博弈、博弈逻辑、模态逻辑
34
B81;TP301.6;F224.32
国家社会科学基金;清华大学自主科研计划
2019-05-14（万方平台首次上网日期，不代表论文的发表时间）
共9页
131-139
