zbMATH — the first resource for mathematics

A deontic logic reasoning infrastructure. (English) Zbl 06932458
Manea, Florin (ed.) et al., Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94417-3/pbk; 978-3-319-94418-0/ebook). Lecture Notes in Computer Science 10936, 60-69 (2018).
Summary: A flexible infrastructure for the automation of deontic and normative reasoning is presented. Our motivation is the development, study and provision of legal and moral reasoning competencies in future intelligent machines. Since there is no consensus on the “best” deontic logic formalisms and since the answer may be application specific, a flexible infrastructure is proposed in which candidate logic formalisms can be varied, assessed and compared in experimental ethics application studies. Our work thus links the historically rich research areas of classical higher-order logic, deontic logics, normative reasoning and formal ethics.
For the entire collection see [Zbl 1391.68009].
68Qxx Theory of computing
Full Text: DOI