In this paper, we extend our previous work where we have introduced the possibility of defining and using resources in ASP. In fact, in P-RASP (Resourced ASP with Preferences) one can define resources with their amounts. Available resources can be used for producing other resources, thus consuming either all or just a part of the available amount. The remaining amount, if any, can be used in a different way. It is possible to express preferences about which resources should be either consumed or produced. Moreover, conditional preferences, of three different forms, allow one to express preferences according to certain conditions, that are to be evaluated “dynamically.”, namely, with respect to the specific answer set at hand. The semantic rendering of P-RASP with conditional preferences is in terms of plain P-RASP, though the translation is not straightforward and thus the new features are not syntactic sugar.
Conditional preferences in P-RASP
FORMISANO, Andrea
2008
Abstract
In this paper, we extend our previous work where we have introduced the possibility of defining and using resources in ASP. In fact, in P-RASP (Resourced ASP with Preferences) one can define resources with their amounts. Available resources can be used for producing other resources, thus consuming either all or just a part of the available amount. The remaining amount, if any, can be used in a different way. It is possible to express preferences about which resources should be either consumed or produced. Moreover, conditional preferences, of three different forms, allow one to express preferences according to certain conditions, that are to be evaluated “dynamically.”, namely, with respect to the specific answer set at hand. The semantic rendering of P-RASP with conditional preferences is in terms of plain P-RASP, though the translation is not straightforward and thus the new features are not syntactic sugar.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.