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 条