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 条
  • [1] Second-Order Know-How Strategies
    Naumov, Pavel
    Tao, Jia
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 390 - 398
  • [2] Managing Know-How
    Lee, Deishin
    Van den Steen, Eric
    MANAGEMENT SCIENCE, 2010, 56 (02) : 270 - 285
  • [3] Know-How and Gradability
    Pavese, Carlotta
    PHILOSOPHICAL REVIEW, 2017, 126 (03): : 345 - 383
  • [4] Understanding: not know-how
    Sullivan, Emily
    PHILOSOPHICAL STUDIES, 2018, 175 (01) : 221 - 240
  • [5] Joint know-how
    Birch, Jonathan
    PHILOSOPHICAL STUDIES, 2019, 176 (12) : 3329 - 3352
  • [6] Know-how, action, and luck
    Pavese, Carlotta
    SYNTHESE, 2021, 198 (SUPPL 7) : 1595 - 1617
  • [7] Know-how, action, and luck
    Carlotta Pavese
    Synthese, 2021, 198 : 1595 - 1617
  • [8] Know-How in Postwar Business and Law
    O'Reagan, Douglas
    TECHNOLOGY AND CULTURE, 2017, 58 (01) : 121 - 153
  • [9] Know-how, intellectualism, and memory systems
    De Brigard, Felipe
    PHILOSOPHICAL PSYCHOLOGY, 2019, 32 (05) : 720 - 759
  • [10] The cumulative advance of human know-how
    Nelson, K
    Nelson, RR
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2003, 361 (1809): : 1635 - 1653
12345