Publication details for Professor Iain StewartStewart, I.A. (2003). The complexity of achievement and maintenance problems in agent-based systems. Artificial Intelligence 146(2): 175-191.
- Publication type: Journal Article
- ISSN/ISBN: 0004-3702
- DOI: 10.1016/S0004-3702(03)00014-6
- Keywords: Computational complexity, Agent computing.
- Further publication details on publisher web site
- Durham Research Online (DRO) - may include full text
Author(s) from Durham
We completely classify the computational complexity of the basic achievement and maintenance agent design problems in bounded environments when these problems are parameterized by the number of environment states and the number of agent actions. The different problems are P-complete, NP-complete, co-NP-complete or PSPACE-complete (when they are not trivial). We also consider alternative achievement and maintenance agent design problems by allowing longer runs in environments (that is, our environments are bounded but the bounds are more liberal than was the case previously). Again, we obtain a complete classification but so that the different problems are DEXPTIME-complete, NEXPTIME-complete, co-NEXPTIME-complete or NEXPSPACE-complete (when they are not trivial).