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.
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...