STIT is dangerously undecidable - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

STIT is dangerously undecidable

Résumé

STIT is a potential logical framework to capture responsibility , counterfactual emotions and norms, which are main ingredients for specifying behaviors of virtual agents. We identify here a new fragment and its satisfiability problem is NP-complete and in Σ 3 when the number of agents is unbounded. We also identify a slightly more expressive fragment which is undecidable.
Fichier principal
Vignette du fichier
FAIA263-1093.pdf (133.54 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02534277 , version 1 (06-04-2020)

Identifiants

Citer

François Schwarzentruber, Caroline Semmling. STIT is dangerously undecidable. ECAI, 2014, Prague, Czech Republic. ⟨10.3233/978-1-61499-419-0-1093⟩. ⟨hal-02534277⟩
22 Consultations
37 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More