
handle: 11390/1193571 , 11391/140698 , 11391/173351 , 11391/161055 , 11697/30639 , 11697/33844 , 11697/9506
handle: 11390/1193571 , 11391/140698 , 11391/173351 , 11391/161055 , 11697/30639 , 11697/33844 , 11697/9506
In this article, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension RASP, standing for ‘Resourced ASP’. Resources are modeled by introducing special atoms, called amount-atoms, to which we associate quantities that represent the available amount of a certain resource. The ‘firing’of aRASP rule involving amount-atoms can both consume and produce resources. A RASP rule can be fired several times, according to its definition and to the available quantities of required resources. We define the semantics for RASP programs by extending the usual answer set semantics. Different answer sets correspond to different possible allocations of available resources. We then propose an implementation based on standard ASP-solvers. The implementation consists of a standard translation of each RASP rule into a set of plain ASP-rules and of an inference engine that manages the firing of RASP rules.
Answer Set Programming; Ragionamento su risorse; Logica Computazionale, ASP; quantitative reasoning; language extensions, Answer set programming; Non-monotonic logic programming; Quantitative reasoning; Resource consumption and production; Language extensions, Answer set programming; Language extensions; Non-monotonic logic programming; Quantitative reasoning
Answer Set Programming; Ragionamento su risorse; Logica Computazionale, ASP; quantitative reasoning; language extensions, Answer set programming; Non-monotonic logic programming; Quantitative reasoning; Resource consumption and production; Language extensions, Answer set programming; Language extensions; Non-monotonic logic programming; Quantitative reasoning
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 9 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
