A Deontic Logic Reasoning Infrastructure [chapter]

Christoph Benzmüller, Xavier Parent, Leendert van der Torre
2018 Lecture Notes in Computer Science  
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
more » ... ork thus links the historically rich research areas of classical higher-order logic, deontic logics, normative reasoning and formal ethics.
doi:10.1007/978-3-319-94418-0_6 fatcat:w2fcjeegu5eezclyciv6talrii