Conditional Progressive Planning: A Preliminary Report
Lars Karlsson · 2001
In this article, we describe a conditional planner called ETLplan, which is an extension of the sequential planner TLplan. ETLplan is a progressive planner, and it uses strategic knowledge encoded in an epistemic-temporal logic to reduce its search space. It utilizes an advanced representation of knowledge and action, with a semantics based on the notion of an epistemic situation. Besides presenting the planner itself -- its representation of actions and plans, and its algorithm -- we also provide some promising data from performance tests.