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 条

[21] INTERPRETATIONS OF DEONTIC LOGIC
AQVIST, L
MIND, 1964, 73 (290) : 246 - 253
[22] Situationist Deontic Logic
Sven Ove Hansson
Journal of Philosophical Logic, 1997, 26 : 423 - 448
[23] UTILITARIAN DEONTIC LOGIC
GOBLE, L
PHILOSOPHICAL STUDIES, 1996, 82 (03) : 317 - 357
[24] Situationist deontic logic
Hansson, SO
JOURNAL OF PHILOSOPHICAL LOGIC, 1997, 26 (04) : 423 - 448
[25] A Science of Operations: Machines, Logic, and the Invention of Programming
Grier, David Alan
TECHNOLOGY AND CULTURE, 2012, 53 (03) : 741 - 742
[26] A Science of Operations: Machines, Logic, and the Invention of Programming
Ensmenger, Nathan
BRITISH JOURNAL FOR THE HISTORY OF SCIENCE, 2012, 45 (164): : 144 - 145
[27] A Kelsenian Deontic Logic
Ciabattoni, Agata
Parent, Xavier
Sartor, Giovanni
LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2021, 346 : 141 - 150
[28] Towards Ethical Machines Via Logic Programming
Dyoub, Abeer
Costantini, Stefania
Lisi, Francesca A.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (306): : 333 - 339
[29] A Science of Operations: Machines, Logic and the invention of Programming
Durnova, Helena
IEEE ANNALS OF THE HISTORY OF COMPUTING, 2012, 34 (02) : 70 - 70
[30] Defeasible deontic robot control based on extended vector annotated logic programming
Nakamatsu, K
Abe, JM
Suzuki, A
COMPUTING ANTICIPATORY SYSTEMS, 2002, 627 : 490 - 500