STIT is dangerously undecidable
François Schwarzentruber, Caroline Semmling · Frontiers in artificial intelligence and applications · 2014
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 Σ3when the number of agents is unbounded. We also identify a slightly more expressive fragment which is undecidable.