Reference : Goal-Directed Decision Procedures for Input/Output Logics
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Goal-Directed Decision Procedures for Input/Output Logics
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Deontic Logic and Normative Systems: 15th International Conference (DEON 2020/2021)
Marra, Alessandra
Liu, Fenrong
Portner, Paul
Van De Putte, Frederik
College Publications
Deontic Logic and Normative Systems, Vol. 15
15th International Conference on Deontic Logic and Normative Systems (DEON 2020/2021)
21-07-2021 to 24-07-2021
[en] Deontic logic ; normative reasoning ; Automated Reasoning
[en] Input/Output (I/O) logics address the abstract study of conditional norms. Here, norms are represented as pairs of formulas instead of statements that themselves carry truth-values. I/O logics have been studied thoroughly in the past, including further applications and refinements. In this paper, a class of automated reasoning procedures is presented that, given a set of norms and a concrete situation, decide whether a specific state of affairs is obligatory according to the output operations of I/O logics. The procedures are parametric in the underlying logical formalism and can be instantiated with different classical objects logics, such as propositional logic or first-order logic. The procedures are shown to be correct, and a proof-of-concept implementation for propositional I/O logics is surveyed.
Fonds National de la Recherche - FnR
Automated Reasoning with Legal Entities (AuReLeE)
I/O Logic Workbench available online at
FnR ; FNR14616644 > Alexander Steen > AuReLeE > Automated Reasoning With Legal Entities > 01/03/2021 > 28/02/2023 > 2020

File(s) associated to this reference

Fulltext file(s):

Open access
paper.pdfAuthor preprint571.15 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.