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.

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

Knowing How to Plan

Planning-based knowing how: A unified approach

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

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

Knowledge Engineering for Planning-Based Hypothesis Generation

Comprehensive Multi-Agent Epistemic Planning

A Logic of Goal-Directed Knowing How

On the Exploitation of Control Knowledge for Enhancing Automated Planning

A Temporal Logic Programming Approach to Planning

Reasoning about Actions with Loops Via Hoare Logic.

A Dynamic Epistemic Framework for Reasoning about Conformant Probabilistic Plans

Knowledge Compilation in Multi-Agent Epistemic Logics

Probabilistic action planning based on linear temporal logic

Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques

A Dynamic Epistemic Framework for Conformant Planning

Proof Systems for Planning Under Cautious Semantics

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

Logic-based cognitive planning for conversational agents

Automated Planning Techniques for Elementary Proofs in Abstract Algebra

Planning as Model Checking Tasks