Planning with Preferences Using Logic Programming

Tran Cao Son, Enrico Pontelli

Abstract: We present a declarative language, $\mathcal{PP}$ , for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allows users to elegantly express non-trivial, multi-dimensional preferences and priorities over them. The semantics of $\mathcal{PP}$ allows the identification of most preferred trajectories for a given goal. We also provide an answer set programming implementation of planning problems with $\mathcal{PP}$ preferences.