What is the Expressive Power of Disjunctive Preconditions?

What Is the Expressive Power of Disjunctive Preconditions?

ON THE EXPRESSIVE POWER OF PLANNING FORMALISMS ConditionalEffects and Boolean Preconditions in the STRIPS Formalism

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 allowing for conditional effects and arbitrary Boolean formulae in preconditions. One interesting consequence of this analysis is th...

On the Compilability and Expressive Power of Propositional Planning Formalisms

The recent approaches of extending the GRAPHPLAN algorithm to handle more expressive planning formalisms raise the question of what the formal meaning of “expressive power” is. We formalize the intuition that expressive power is a measure of how concisely planning domains and plans can be expressed in a particular formalism by introducing the notion of “compilation schemes” between planning for...

Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases 1

This paper investigates the expressive power and complexity of partial model semantics for disjunctive deductive databases. In particular, partial stable, regular model, maximal stable (M-stable), and least undeened stable (L-stable) semantics for function-free disjunctive logic programs are considered, for which the expressiveness of queries based on possibility and certainty inference is dete...

Disjunctive Logic Programs versus Normal Logic Programs

This paper focuses on the expressive power of disjunctive and normal logic programs under the stable model semantics over finite, infinite, or arbitrary structures. A translation from disjunctive logic programs into normal logic programs is proposed and then proved to be sound over infinite structures. The equivalence of expressive power of two kinds of logic programs over arbitrary structures ...