Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

Volume 9060 of the series Lecture Notes in Computer Science pp 202-217

A Non-monotonic Goal Specification Language for Planning with Preferences

  • Tran Cao SonAffiliated withDepartment of Computer Science, New Mexico State University
  • , Enrico PontelliAffiliated withDepartment of Computer Science, New Mexico State University
  • , Chitta BaralAffiliated withDepartment of Computer Science and Engineering, Arizona State University

* Final gross prices may vary according to local VAT.

Get Access


This paper introduces a default logic based approach to defining goal specification languages that can be non-monotonic and allow for the specification of inconsistencies and priorities among goals. The paper starts by presenting a basic goal specification language for planning with preferences. It then defines goal default theories (resp. with priorities) by embedding goal formulae into default logic (resp. prioritizing default logic). It is possible to show that the new language is general, as it can express several features of previously developed goal specification languages. The paper discusses how several other features can be subsumed by extending the basic goal specification language. Finally, we identify features that might be important in goal specification that cannot be expressed by our language.