An epistemic logic of blameworthiness

被引:10
|
作者
Naumov, Pavel [1 ]
Tao, Jia [2 ]
机构
[1] Tulane Univ, New Orleans, LA 70118 USA
[2] Lafayette Coll, Easton, PA 18042 USA
关键词
Logic; Blameworthiness; Responsibility; Knowledge; Strategies; Know-how; Axiomatization; Completeness;
D O I
10.1016/j.artint.2020.103269
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Blameworthiness of an agent or a coalition of agents can be defined in terms of the principle of alternative possibilities: for the coalition to be responsible for an outcome, the outcome must take place and the coalition should be a minimal one that had a strategy to prevent the outcome. In this article we argue that in the settings with imperfect information, not only should the coalition have had a strategy, but it also should be the minimal one that knew that it had a strategy and what the strategy was. The main technical result of the article is a sound and complete bimodal logic that describes the interplay between knowledge and blameworthiness in strategic games with imperfect information. (C) 2020 Elsevier B.V. All rights reserved.
引用
收藏
页数:24
相关论文
共 50 条
  • [21] SYSTEM OF EPISTEMIC LOGIC
    CHISHOLM, RM
    KEIM, RG
    [J]. RATIO-ENGLAND, 1972, 14 (02): : 99 - 115
  • [22] Dynamic Epistemic Logic
    Girard, Patrick
    [J]. AUSTRALASIAN JOURNAL OF LOGIC, 2009, 7 : 26 - 31
  • [23] A THEOREM OF EPISTEMIC LOGIC
    SCHLESINGER, GN
    [J]. PHILOSOPHICAL STUDIES, 1984, 45 (02) : 285 - 292
  • [24] Epistemic logic and planning
    Maghsoudi, S
    Watson, I
    [J]. KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS, 2004, 3214 : 36 - 45
  • [25] EPISTEMIC MULTILATERAL LOGIC
    Incurvati, Luca
    Schloeder, Julian J.
    [J]. REVIEW OF SYMBOLIC LOGIC, 2022, 15 (02): : 505 - 536
  • [26] An epistemic logic of preferences
    Naumov, Pavel
    Ovchinnikova, Anna
    [J]. SYNTHESE, 2023, 201 (03)
  • [27] Epistemic Logic.
    Demey, Lorenz
    [J]. TIJDSCHRIFT VOOR FILOSOFIE, 2011, 73 (03): : 596 - 598
  • [28] The logic of epistemic justification
    Martin Smith
    [J]. Synthese, 2018, 195 : 3857 - 3875
  • [29] An Epistemic Logic with Hypotheses
    Uridia, Levan
    Walther, Dirk
    [J]. LOGIC, RATIONALITY, AND INTERACTION, 2011, 6953 : 286 - +
  • [30] EPISTEMIC FOUNDATIONS OF LOGIC
    ELLIS, B
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1976, 5 (02) : 187 - 204