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) >]
In press
Deontic Logic and Normative Systems: 15th International Conference (DEON2020/2021, Munich)
Marra, Alessandra
Liu, Fenrong
Portner, Paul
Van De Putte, Frederik
College Publications
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.
I/O Logic Workbench available online at

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.