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 条

[1] A defeasible deontic reasoning system based on annotated logic programming
Nakamatsu, K
Abe, JM
Suzuki, A
COMPUTING ANTICIPATORY SYSTEMS, 2001, 573 : 609 - 620
[2] Rightful Machines and Dilemmas
Wright, Ava Thomas
AIES '19: PROCEEDINGS OF THE 2019 AAAI/ACM CONFERENCE ON AI, ETHICS, AND SOCIETY, 2019, : 3 - 4
[3] DEONTIC LOGIC WITHOUT DEONTIC OPERATORS
VETTER, H
THEORY AND DECISION, 1971, 2 (01) : 67 - 78
[4] DEONTIC LOGIC
IWIN, AA
SOWJETWISSENSCHAFT GESELLSCHAFTS WISSENSCHAFTLICHE BEITRAGE, 1967, (06): : 594 - 607
[5] A NOTE ON DEONTIC LOGIC
BERG, J
MIND, 1960, 69 (276) : 566 - 567
[6] ON DEONTIC PREDICATE LOGIC
PUGA, LZ
DACOSTA, NCA
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1101 - 1102
[7] Agency and deontic logic
McNamara, P
MIND, 2004, 113 (449) : 179 - 185
[8] Agency and deontic logic
Danielsson, S
PHILOSOPHICAL QUARTERLY, 2002, 52 (208): : 408 - 410
[9] Agency and deontic logic
Czelakowski, J
ERKENNTNIS, 2003, 58 (01) : 116 - 126
[10] Deontic Redundancy: A Fundamental Challenge for Deontic Logic
van der Torre, Leendert
DEONTIC LOGIC IN COMPUTER SCIENCE, 2010, 6181 : 11 - 32