zbMATH — the first resource for mathematics

Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3–6, 2018. Proceedings. (English) Zbl 1398.03006
London: College Publications (ISBN 978-1-84890-278-7/pbk). 335 p. (2018).

Show indexed articles as search result.

Publisher’s description: DEON 2018’s special focus was “Deontic reasoning for responsible AI”.
The successes of Artificial Intelligence over the last few years have brought to the fore a new and important application area for deontic logic: Responsible AI. On the one hand, this concerns systems for checking and proving responsibility characteristics of artificial intelligent agents and their designs, and on the other hand, it concerns responsible decision making and machine ethics. This DEON’s special theme “Deontic reasoning for responsible AI” solicits contributions that address issues related to these two subjects.
Topics of interest in this special theme include, but are not limited to:
– moral decision making
– norm awareness
– accountability
– explainability
– causal and probabilistic theories of responsibility
– operationalizations of ethical theories
– collective responsibility
– grades of responsibility.
The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1398.03010].
Indexed articles:
Armgardt, Matthias; Lorini, Emiliano; Sartor, Giovanni, Reasoning about conditions in STIT logic, 15-32 [Zbl 1418.03042]
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier, A dyadic deontic logic in HOL, 33-49 [Zbl 1418.03069]
Broersen, Jan; Ramírez Abarca, Aldo Iván, Knowledge and subjective oughts in STIT logic, 51-69 [Zbl 1418.03044]
Canavotto, Ilaria; Giordani, Alessandro, Normative conflicts in a dynamic logic of norms and codes, 71-89 [Zbl 1418.03071]
Ciabattoni, Agata; Gulisano, Francesca; Lellmann, Björn, Resolving conflicting obligations in Mīmāṃsā: a sequent-based approach, 91-109 [Zbl 1418.03072]
Gilton, Marian J. R., A look at Chisholm’s Ethics of requirement, 111-120 [Zbl 1418.03014]
Giordani, Alessandro, Ability and responsibility in general action logic, 121-138 [Zbl 1418.03049]
Governatori, Guido; Olivieri, Francesco; Riveret, Régis; Rotolo, Antonino; Villata, Serena, Dialogues on moral theories, 139-155 [Zbl 1418.03015]
Horty, John, Epistemic oughts in STIT semantics (abbreviated version), 157-175 [Zbl 1418.03051]
Ju, Fengkui, S5 as a deontic logic, 177-192 [Zbl 1418.03089]
Lindner, Felix; Bentzen, Martin Mose, A formalization of Kant’s second formulation of the categorical imperative, 211-225 [Zbl 1418.03020]
Mandelkern, Matthew, You must! Maybe you won’t, 227-245 [Zbl 1418.03022]
Maranhão, Juliano; Gonçalves de Souza, Edelcio, Contraction of combined normative sets, 247-261 [Zbl 1418.03055]
McNamara, Paul, Toward a systematization of logics for monadic and dyadic agency & ability (preliminary version), 263-284 [Zbl 1418.03057]
Parent, Xavier; van der Torre, Leendert, I/O logics with a consistency check, 285-299 [Zbl 1418.03098]
Porello, Daniele, A logic for reasoning about group norms, 301-315 [Zbl 1418.03058]
Van De Putte, Frederik; Frijters, Stef; Meheus, Joke, How to take heroin (if at all). Holistic detachment in deontic logic, 317-335 [Zbl 1418.03106]
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03B45 Modal logic (including the logic of norms)
03B60 Other nonclassical logic
03B20 Subsystems of classical logic (including intuitionistic logic)
03A05 Philosophical and critical aspects of logic and foundations
00B25 Proceedings of conferences of miscellaneous specific interest