arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2409.12461cs.GT
收藏

图博弈中理性共识的验证

Verification with Common Knowledge of Rationality for Graph Games

Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki

AI总结:

本文针对图博弈,用认知模型定义理性共识(CKR)替代纳什均衡,提出验证问题并分析位置策略类别的复杂性。

摘要:

可实现性问题询问是否存在满足其规范的程序。在此问题中,我们假设每个智能体都有自己的目标,并理性地行动以实现其目标。传统上,智能体的理性通过纳什均衡(NE)建模,其中每个智能体没有动机改变其策略,因为她仅靠改变自己的策略无法实现其目标。然而,纳什均衡并不总是智能体理性的适当概念,因为纳什均衡的条件过于严格;每个智能体被假定完全知道其他智能体的策略。在本文中,我们使用认知模型来定义所有智能体理性的共识(CKR)。我们将验证问题定义为可实现性问题的一个变体,基于CKR而非纳什均衡。然后,我们分析位置策略类别的验证问题的复杂性。

英文摘要:

Realizability asks whether there exists a program satisfying its specification. In this problem, we assume that each agent has her own objective and behaves rationally to satisfy her objective. Traditionally, the rationality of agents is modeled by a Nash equilibrium (NE), where each agent has no incentive to change her strategy because she cannot satisfy her objective by changing her strategy alone. However, an NE is not always an appropriate notion for the rationality of agents because the condition of an NE is too strong; each agent is assumed to know strategies of the other agents completely. In this paper, we use an epistemic model to define common knowledge of rationality of all agents (CKR). We define the verification problem as a variant of the realizability problem, based on CKR, instead of NE. We then analyze the complexity of the verification problems for the class of positional strategies.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑