Abstract:Heuristic search provides an efficient way to automatically explore the state space in planning, while Control Knowledge (CK) also has the potential to significantly increase the performance of planners. Currently, most of the state-of-the-art planners primarily rely on sophisticated heuristic mechanisms. However, these planners fail to scale up and to provide (high-quality) solutions in a range of problems.The objective of this paper is to incorporate CK with heuristic search in order to leverage the advantages of both, thus leading planners to achieve much higher efficiency. To achieve this, we introduce a novel CK which is specified by a variant of Linear Temporal Logic (LTL), referred to as LTLP. We propose an encoding methodology that translates LTLP into standard planning models. Consequently, we can directly use existing heuristic planners to solve the augmented problem, and avoid tailoring the planners in order to deal with CK implicitly. The novelty of this approach lies in that we define a useful CK LTLP with a concise encoding methodology, that can significantly improve the efficiency of heuristic search. In this paper, the encoding process is formally presented, and theoretical results on the complexity and soundness of the encoding are strictly proved. We find that appropriate CK is a good complement to heuristic search, and is capable of making hard problems easy to solve. Experiments demonstrate that our approach shows highly competitive results versus heuristic search and other CK-based techniques on many intractable benchmark problems, benefiting in improving the coverage and quality of plans.

Planning-based knowing how: A unified approach

Knowing How to Plan

Knowing How to Plan about Planning: Higher-order and Meta-Level Epistemic Planning

Multi-agent Knowing How via Multi-step Plans - A Dynamic Epistemic Planning Based Approach.

A Dynamic Epistemic Framework for Reasoning about Conformant Probabilistic Plans

Beyond Knowing That: A New Generation of Epistemic Logics

Uncertainty-Based Knowing How Logic

Conditionally Knowing What.

A Dynamic Epistemic Framework for Conformant Planning

A Categorical Representation Language and Computational System for Knowledge-Based Planning

Knowledge Compilation in Multi-Agent Epistemic Logics

Knowledge Engineering for Planning-Based Hypothesis Generation

Proof Systems for Planning Under Cautious Semantics

On the Exploitation of Control Knowledge for Enhancing Automated Planning

A Logic of Goal-Directed Knowing How

What you get is what you see: Decomposing Epistemic Planning using Functional STRIPS

Where Common Knowledge Cannot Be Formed, Common Belief Can -- Planning with Multi-Agent Belief Using Group Justified Perspectives

BISIMULATIONS FOR KNOWING HOW LOGICS

Planning with Spatio-Temporal Search Control Knowledge.