We consider advanced policy description specifications in the context of Answer Set Programming (ASP). Motivated by our application scenario, we further extend an existing policy description language, so that it allows for expressing preferences among sets of objects. This is done by extending the concept of ordered disjunctions to cardinality constraints. We demonstrate that this extension is obtained by combining existing ASP techniques and show how it allows for handling advanced policy description specifications.
Mileo, A., Schaub, T. (2007). Symbolic and Quantitative Approaches to Reasoning with Uncertainty. In European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (pp.695-706) [10.1007/978-3-540-75256-1_61].
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
MILEO, ALESSANDRA;
2007
Abstract
We consider advanced policy description specifications in the context of Answer Set Programming (ASP). Motivated by our application scenario, we further extend an existing policy description language, so that it allows for expressing preferences among sets of objects. This is done by extending the concept of ordered disjunctions to cardinality constraints. We demonstrate that this extension is obtained by combining existing ASP techniques and show how it allows for handling advanced policy description specifications.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
