Together we know how to achieve: An epistemic logic of know-how

被引：29
作者：
Naumov, Pavel [1 ]
Tao, Jia [2 ]
机构：
[1] Claremont Mckenna Coll, Claremont, CA 91711 USA
[2] Lafayette Coll, Easton, PA 18042 USA
来源：
ARTIFICIAL INTELLIGENCE | 2018年 / 262卷
关键词：
Strategy; Game theory; Knowledge; Formal epistemology; Logic; Axiomatization; Completeness; Imperfect information; TIME TEMPORAL LOGIC; KNOWLEDGE; GAMES;
D O I：
10.1016/j.artint.2018.06.007
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists. The article studies an interplay between the distributed knowledge, coalition strategies, and coalition "know-how" strategies. The main technical result is a sound and complete trimodal logical system that describes the properties of this interplay. (C) 2018 Elsevier B.V. All rights reserved.
引用
收藏
页码：279 / 300
页数：22
相关论文
共 50 条
12345