Reasoning about conditions in STIT logic

Matthias Armgardt (1) , Emiliano Lorini (2, 3) , Giovanni Sartor (4)

1 Universität Konstanz
2 IRIT-LILaC - Logique, Interaction, Langue et Calcul
3 CNRS - Centre National de la Recherche Scientifique
4 UNIBO - Alma Mater Studiorum Università di Bologna = University of Bologna

In this paper we propose a logical formalization of the legal concepts of suspensive and resolutive conditions within the STIT approach to action. At the technical level, our proposal consists in extending the STIT language with a special operator that allows us to represent the concept of a presumption. This enables us to model the retroactive effect of conditions.

Mots clés: STIT logic

Domaines: Logique en informatique [cs.LO]

Matthias Armgardt, Emiliano Lorini, Giovanni Sartor. Reasoning about conditions in STIT logic. 14th International Conference on Deontic Logic and Normative Systems (DEON 2018), Jul 2018, Utrecht, Netherlands. pp.15-32. ⟨hal-02382731⟩