Modeling Preferences on Resource Consumption and Production in ASP

Recently we have proposed RASP, an extension of Answer Set Programming that permits declarative specification and reasoning on consumption and production of resources. In this paper, we extend this framework to allow the declarative specification of preferences among alternative use of different resources. We provide syntax and semantics for the resulting formalism, where preferences expressed on resource usage induce a preference order on answer sets. Key words: Answer set programming, quantitative reasoning, preferences, non-monotonic logic programming, language extensions