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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11391/161074
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact