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
关键词
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 条
  • [31] Intellectualizing know how
    Elzinga, Benjamin
    SYNTHESE, 2021, 198 (02) : 1741 - 1760
  • [32] Know How and Know What for Software Processes
    Kozusznik, Jan
    Stolfa, Svatopluk
    Duzi, Marie
    Kosinar, Michal
    Cihalova, Martina
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2011, 230 : 178 - 192
  • [33] Knowing How to Know That
    Elzinga, Benjamin
    ERKENNTNIS, 2022, 87 (04) : 1987 - 2001
  • [34] How can we know what we don't know? An exploration of professionals' engagement with complicated grief
    Dodd, Anne
    Guerin, Suzanne
    Delaney, Susan
    Dodd, Philip
    PATIENT EDUCATION AND COUNSELING, 2022, 105 (05) : 1329 - 1337
  • [35] Know-how transfer: The role of social, economic/competitive, and firm boundary factors
    Kachra, Ariff
    White, Roderick E.
    STRATEGIC MANAGEMENT JOURNAL, 2008, 29 (04) : 425 - 445
  • [36] An Evolutionary Analysis of Industrial Districts: The Changing Multiplicity of Production Know-How Nuclei
    Bellandi, Marco
    De Propris, L.
    Santini, Erica
    CAMBRIDGE JOURNAL OF ECONOMICS, 2019, 43 (01) : 187 - 204
  • [37] Tacit domains: The transference of practitioner know-how in contemporary English planning practice
    Muldoon-Smith, Kevin
    McGuinness, David
    AREA, 2022, 54 (03) : 501 - 508
  • [38] Caveat Emptor: What Do We Know about Public Administration Evidence and How Do We Know It?
    Isett, Kimberley R.
    Head, Brian W.
    VanLandingham, Gary
    PUBLIC ADMINISTRATION REVIEW, 2016, 76 (01) : 20 - 23
  • [39] Shared resources in industrial districts:: Information, know-how and institutions in the Spanish tile industry
    Molina-Morales, F. Xavier
    Martinez-Fernandez, M. Teresa
    INTERNATIONAL REGIONAL SCIENCE REVIEW, 2008, 31 (01) : 35 - 61
  • [40] Evidence for anti-intellectualism about know-how from a sentence recognition task
    Harmon, Ian
    Horne, Zachary
    SYNTHESE, 2016, 193 (09) : 2929 - 2947