USA-Smart: Improving the Quality of Plans in Answer Set Planning

In this paper we show how CR-Prolog, a recent extension of A-Prolog, was used in the successor of USA-Advisor (USA-Smart) in order to improve the quality of the plans returned. The general problem that we address is that of improving the quality of plans by taking in consideration statements that describe “most desirable” plans. We believe that USA-Smart proves that CR-Prolog provides a simple, elegant, and flexible solution to this problem, and can be easily applied to any planning domain. We also discuss how alternative extensions of A-Prolog can be used to obtain similar results.

• Type: Conference
• Year: 2004
• Where: PADL
• Authors: Marcello Balduccini
• Keywords: Consideration Statements, General Problem, PADL 2004, Programming Languages, We Believe