Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4951747 | Science of Computer Programming | 2017 | 36 Pages |
Abstract
In this paper we present a modeling framework for planning problems based on tabled logic programming that exploits a planner module in the Picat language. In particular, we suggest techniques for structured representation of states and for including control knowledge in the description of actions. We demonstrate these techniques using the complex planning domain Cave Diving from the International Planning Competition. Experimentally, we show properties of the model for different search approaches and we compare the performance of the proposed approach with state-of-the-art automated planners. The focus of this paper is on providing guidelines for manual modeling of planning domains rather than on automated reformulation of models.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Roman Barták, LukáÅ¡ Chrpa, Agostino Dovier, JindÅich Vodrážka, Neng-Fa Zhou,