有限迹上具 LDL 目标的 multiplayer 博弈
计算机科学中的逻辑
2020-08-14 v1 人工智能
计算机科学与博弈论
多智能体系统
摘要
有限迹上的线性动态逻辑 LDLf 是一种用于推理并发与多智能体系统行为的强逻辑。本文研究基于 LDLf 的逻辑表达目标/目的之 multiplayer 博弈中均衡的刻画与验证技术。该研究建立在布尔博弈的一种推广之上，布尔博弈是一种基于逻辑的多智能体系统博弈模型，其中参与者的目标以简洁的逻辑方式表示。由于考虑了 LDLf 目标，在我们所研究的设定——反应模块博弈与有限迹上具目标的迭代布尔博弈——中，参与者的目标可被定义为正则性质，同时在有限但任意大的迹中达成。特别地，本文利用交替自动机，研究用于刻画与验证（纯策略纳什）均衡的自动机理论方法，证明具 LDLf 目标的 multiplayer 博弈中纳什均衡的集合是正则的，并给出相关自动机构造的复杂度结果。
引用
@article{arxiv.2008.05647,
title = {Multi-Player Games with LDL Goals over Finite Traces},
author = {Julian Gutierrez and Giuseppe Perelli and Michael Wooldridge},
journal= {arXiv preprint arXiv:2008.05647},
year = {2020}
}