normative reasoning in AI; practical reasoning; normative positions
Abstract :
[en] This paper brings together two traditions in deontic logic: the theory of normative positions, that is, reasoning about di↵erent types of rights, and practical reasoning, which has special relevance from the viewpoint of artificial intelligence (AI). We do this by exploring the role epistemic rights play in practical reasoning. Rights such as the right to know are intended to enable us to make informed decisions. They often play a role in determining what kind of plans we can make. A patient has the right to know his hospital test results so he can choose his treatment after his doctor has fulfilled her duty of informing him about possible risks and outcomes. This paper investigates, from the “database perspective”, the role of (epistemic) rights in planning di↵erent scenarios from the database perspective and the dynamics of temporal beliefs and intentions. We take this perspective, extend the logic with deontic notions, and illustrate this with a running example.
Disciplines :
Computer science
Author, co-author :
DONG, Huimin ; Sun Yat-sen University > Institute of Logic and Cognition
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
MARKOVICH, Réka ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Dragan Doder; UU - University of Utrecht [NL] > Department of Computer Science
Marc van Zee; Google Research
LI, Xu ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
External co-authors :
yes
Language :
English
Title :
Rights and Practical Reasoning in Deontic Logic
Publication date :
2023
Event name :
Deontic Logic and Normative Systems (2023)
Event organizer :
Université du Québec à Trois-Rivières
Event place :
Trois-Rivières, Canada
Event date :
July 5-7, 2023
By request :
Yes
Audience :
International
Main work title :
Deontic Logic and Normative Systems 16th International Conference, DEON 2023
Author, co-author :
Maranhão, Juliano; University of São Paulo
Peterson, Clayton; UQTR - Université du Québec à Trois-Rivières [CA]
Straßer, Christian; Ruhr University Bochum
VAN DER TORRE, Leon ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Publisher :
Deontic Logic and Normative Systems 16th International Conference, DEON 2023, Trois-Rivières, Canada
FNR14776480 - Deontic Logic For Epistemic Rights, 2020 (01/09/2021-31/08/2024) - Leon Van Der Torre FNR16695098 - What Should We Do? What Can We Do? What Are We Doing!? Studying The Limits, Problems And Risks Associated With Autonomous Technologies, 2022 (01/09/2022-...) - Leon Van Der Torre FNR14589586 - Personalized Explainable Artificial Intelligence For Decentralized Agents With Heterogeneous Knowledge, 2020 (01/04/2021-31/03/2024) - Leon Van Der Torre
Name of the research project :
Analytics for DEcision of LEgal cases Key Research Institute of Humanities and Social Sciences at Universities
Funders :
European Union’s Justice Programme Chinese Ministry of Education
Funding number :
101007420; (22JJD720021
Funding text :
This work was supported by the Fonds National de la Recherche of Luxembourg through the project Deontic Logic for Epistemic Rights (OPEN O20/14776480) and the project INTEGRAUTO (INTER/AUDACE/21/16695098). L. van der Torre is financially supported by the CHIST-ERA grant CHIST-ERA19-XAI (G.A. INTER/CHIST/19/14589586) and by the European Union’s Justice program under grant agreement 101007420 (ADELE). Huimin Dong, adjunct research fellow at the Institute of Logic and Cognition at Sun Yat-sen University, is supported by the Chinese Ministry of Education (MOE) project of the Key Research Institute of Humanities and Social Sciences at Universities (22JJD720021).
