Reformulating Constraint Models for Classical Planning

Roman Bartak, Daniel Toropila

Constraint satisfaction techniques are commonly used for solving scheduling problems, still they are rare in AI planning. Although there are several attempts to apply constraint satisfaction for solving AI planning problems, these techniques never became predominant in planning; and they never reached the success of, for example, SAT-based planners. In this paper we argue that existing constraint models for classical AI planning are not fully using the power of constraint satisfaction; thus we propose a reformulation, which significantly improves their efficiency.

Subjects: 1.11 Planning; 15.2 Constraint Satisfaction

Submitted: Feb 25, 2008

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.