Temporal STIT logic and its application to normative reasoning

Emiliano Lorini (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

I present a variant of STIT with time, called T-STIT (Temporal STIT), interpreted in standard Kripke semantics. On the syntactic level, T-STIT is nothing but the extension of atemporal individual STIT by: (i) the future tense and past tense operators, and (ii) the operator of group agency for the grand coalition (the coalition of all agents). A sound and complete axiomatisation for T-STIT is given. Moreover, it is shown that T-STIT supports reasoning about interesting normative concepts such as the concepts of achievement obligation and commitment.

Mots clés: STIT logic; Axiomatisation; Deontic logic; Temporal logic

Domaines: Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Emiliano Lorini. Temporal STIT logic and its application to normative reasoning. Journal of Applied Non-Classical Logics, 2013, vol. 23 (n° 4), pp. 372-399. ⟨10.1080/11663081.2013.841359⟩. ⟨hal-01130572⟩