A Deontic Logic for Programming Rightful Machines

被引：3

作者：

Wright, Ava Thomas ^{[1
]}

机构：

[1] Northeastern Univ, Dept Philosophy, Boston, MA 02115 USA

来源：

关键词：

Deontic Logic; Law; Rightful Machines; Justice; Machine Ethics; Conflicts; Answer Set Programming; Logic Programming; ALCHOURRON; REVISION;

D O I：

10.1145/3375627.3375867

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：392 / 392

页数：1

共 50 条

[11] Coarse deontic logic
Van de Putte, Frederik
JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (02) : 285 - 317
[12] DEONTIC LOGIC AND TRUTH
Zuleta, Hugo R.
ANALISIS FILOSOFICO, 2006, 26 (01): : 115 - 133
[13] ON PARACONSISTENT DEONTIC LOGIC
DACOSTA, NCA
CARNIELLI, WA
PHILOSOPHIA, 1986, 16 (3-4) : 293 - 305
[14] A MODEL FOR DEONTIC LOGIC
GEACH, PT
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (04) : 666 - +
[15] Enriching deontic logic
Canavotto, Ilaria
Giordani, Alessandro
JOURNAL OF LOGIC AND COMPUTATION, 2019, 29 (02) : 241 - 263
[16] Deontic logic with relevance
Goble, L
NORMS, LOGICS AND INFORMATION SYSTEMS: NEW STUDIES IN DEONTIC LOGIC AND COMPUTER SCIENCE, 1999, 49 : 331 - 345
[17] DEONTIC AND ATHEORETICAL LOGIC
SCHUH, E
MIND, 1967, 76 (301) : 123 - 124
[18] NOTE ON DEONTIC LOGIC
CASTANEDA, HN
JOURNAL OF PHILOSOPHY, 1966, 63 (09): : 231 - 234
[19] An overview of deontic logic
Gomes, Nelson Goncalves
KRITERION, 2008, 49 (117): : 9 - 38
[20] Contextual deontic logic
van der Torre, LWN
Tan, YH
FORMAL MODELS OF AGENTS, 1999, 1760 : 240 - 251