arrow
Return

Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning

delete2022-09-01
delete1
PRE
AI
L
Lukáš Chrpa *
R
Roman Barták
J
Jindřich Vodrážka
M
Marta Vomlelová
DOI:10.1109/TKDE.2020.3037058delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Domain-independent planning decouples a planning task specification from planning engines. As the specification is usually describing only the physics of the environment, actions and a goal, the planning engines being generic solvers designed to solve any planning task tend to struggle with tasks that can be easily solved by domain-specific algorithms. Additional control knowledge can, to large extent, bridge such a performance gap. Instead of providing a specific planner supporting a given form of control knowledge, control knowledge can be directly encoded within the planning task specification and thus can be exploited by generic planners. In this paper, we propose Attributed Transition-Based Domain Control Knowledge (ATB-DCK) that is represented by a finite state automaton with attributed states, referring to specific states of objects, connected by transitions imposing constraints on action applicability. ATB-DCK, roughly speaking, represents the grammar of solution plans that guides the search. We show that ATB-DCK can be compiled into a classical planning task and thus it complements domain-independent planning techniques. Using several domains from the International Planning Competitions as benchmarks, we demonstrate that this approach often considerably improves efficiency of existing state-of-the-art planning engines.
Keywords:
Planning
Task analysis
Engines
Poles and towers
Physics
Standards
Knowledge engineering
Knowledge engineering
classical planning
domain control knowledge
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

IEEE Transactions on Knowledge and Data Engineering cover
IEEE Transactions on Knowledge and Data Engineering
IF:
10.4
Papers:
6.7K
Citations:
3.2W

Organization

C
czech technical university prague
Scholars:
6.5K
Papers: 5.3K
Citations: 3
C
Charles University Prague
Scholars:
2.9W
Papers: 2.2W
Citations: 158