[PDF][PDF] Reasoning About Agents That May Know Other Agents' Strategies.
IJCAI, 2021•researchgate.net
We study the semantics of knowledge in strategic reasoning. Most existing works either
implicitly assume that agents do not know one another's strategies, or that all strategies are
known to all; and some works present inconsistent mixes of both features. We put forward a
novel semantics for Strategy Logic with Knowledge that cleanly models whose strategies
each agent knows. We study how adopting this semantics impacts agents' knowledge and
strategic ability, as well as the complexity of the model-checking problem.
implicitly assume that agents do not know one another's strategies, or that all strategies are
known to all; and some works present inconsistent mixes of both features. We put forward a
novel semantics for Strategy Logic with Knowledge that cleanly models whose strategies
each agent knows. We study how adopting this semantics impacts agents' knowledge and
strategic ability, as well as the complexity of the model-checking problem.
Abstract
We study the semantics of knowledge in strategic reasoning. Most existing works either implicitly assume that agents do not know one another’s strategies, or that all strategies are known to all; and some works present inconsistent mixes of both features. We put forward a novel semantics for Strategy Logic with Knowledge that cleanly models whose strategies each agent knows. We study how adopting this semantics impacts agents’ knowledge and strategic ability, as well as the complexity of the model-checking problem.
researchgate.net
以上显示的是最相近的搜索结果。 查看全部搜索结果