Readings in artificial intelligence
Readings in artificial intelligence
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
The computational complexity of propositional STRIPS planning
Artificial Intelligence
Expressive equivalence of planning formalisms
Artificial Intelligence - Special volume on planning and scheduling
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Extending Planning Graphs to an ADL Subset
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Understanding and Extending Graphplan
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Combining the Expressivity of UCPOP with the Efficiency of Graphplan
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
What Is the Expressive Power of Disjunctive Preconditions?
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Some connections between nonuniform and uniform complexity classes
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
On the Compilability and Expressive Power of Propositional Planning
On the Compilability and Expressive Power of Propositional Planning
A survey on knowledge compilation
AI Communications
| Hi-index | 0.00 |
The notion of "expressive Power" is often used in the literature on Planning. However, it is usually only used in an informal way. In this paper, we will formalize this notion using the "compilability framework" and analyze the expressive power of some variants of STRIPS allowing for conditional effects and arbitrary Boolean formulae in preconditions. One interesting consequence of this analysis is that we are able to confirm a conjecture by Backstrom that preconditions in conjunctive normal form add to the expressive power of propositional STRIPS. Further, we will show that STRIPS with conditional effects is incomparable to STRIPS with Boolean formulae as preconditions. Finally, we show that preconditions in conjunctive normal form do not add any expressive power once we have conditional effects.