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.
Modeling preferences on resource consumption and production in ASP
FORMISANO, Andrea
2008
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.