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.
Paper
Full text
STIT is dangerously undecidable
Semantic Scholar · Computer Science · 2014
Abstract
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.