[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.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
STEEN, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
Goal-Directed Decision Procedures for Input/Output Logics
Date de publication/diffusion :
2021
Nom de la manifestation :
15th International Conference on Deontic Logic and Normative Systems (DEON 2020/2021)
Organisateur de la manifestation :
MCMP/LMU Munich
Lieu de la manifestation :
Munich, Allemagne
Date de la manifestation :
21-07-2021 to 24-07-2021
Manifestation à portée :
International
Titre de l'ouvrage principal :
Deontic Logic and Normative Systems: 15th International Conference (DEON 2020/2021)
Editeur scientifique :
Marra, Alessandra
Liu, Fenrong
Portner, Paul
Van De Putte, Frederik
Maison d'édition :
College Publications, London, Inconnu/non spécifié
