Constraint-Based Case-Based Planning Using Weighted MAX-SAT

Previous approaches to case-based planning often finds a similar plan case to a new planning problem to adapt to solve the new problem. However, in the case base, there may be some other cases that provide helpful knowledge in building the new solution plan. Likewise, from each existing case there may be only certain parts that can be adapted for solving the new problem. In this paper, we propose a novel constraint-based case-based planning framework that can consider all similar plans in a case base to the current problem, and take only portions of their solutions in adaptation. Our solution is to convert all similar plan cases to constraints, and use them to solve the current problem by maximally exploiting the reusable knowledge from all the similar plan cases using a weighted MAX-SAT solver. We first encode a new planning problem as a satisfiability problem, and then extract constraints from plan cases. After that, we solve the SAT problem, including the extracted constraints, usin...

• Type: Journal
• Year: 2009
• Where: ICCBR
• Authors: Hankui Zhuo, Qiang Yang, Lei Li
• Keywords: Automated Reasoning, Current Problem, ICCBR 2009, Similar Plan, Weighted Max-sat Solver