Reasoning about conditions in STIT logic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Reasoning about conditions in STIT logic

Résumé

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]
Fichier principal
Vignette du fichier
armgardt_24777.pdf (718.3 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Open Archive Toulouse Archive Ouverte (OATAO)  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02382731

Soumis le : mercredi 27 novembre 2019-12:08:10

Dernière modification le : jeudi 14 décembre 2023-13:56:06

Télécharger pour visualiser

Dates et versions

hal-02382731 , version 1 (27-11-2019)

Identifiants

  • HAL Id : hal-02382731 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
65 Consultations
96 Téléchargements

Partager

More