Forthcoming papers

1995 Artificial Intelligence  
A concept of expressive equivalence for planning formalisms based on polynomial transformations is defined. It is argued that this definition is reasonable and useful both from a theoretical and from a practical perspective; if two languages are equivalent, then theoretical results carry over and, more practically, we can model an application problem in one language and then easily use a planner for the other language. In order to cope with the problem of exponentially sized solutions for
more » ... ng problems an even stronger concept of expressive equivalence is introduced, using the novel ESP reducfion. Four different formalisms for propositional planning are then analyzed, namely two variants of STRIPS, ground TWEAK and the SAS formalism. Although these may seem to exhibit different degrees of expressive power, it is proven that they are, in fact, expressively equivalent under ESP reduction. This means that neither negative goals, partial initial states nor multi-valued state variables increase the expressiveness of "standard" propositional STRIPS.
doi:10.1016/0004-3702(95)90007-1 fatcat:autfncjjlnbjhoopzn3injao6y