TY - GEN
T1 - A methodology for plan revision under norm and outcome compliance
AU - Scannapieco, Simone
AU - Governatori, Guido
AU - Olivieri, Francesco
AU - Cristani, Matteo
PY - 2013
Y1 - 2013
N2 - Scholars understand an agent as a system acting in an environment. Such an environment is usually governed by norms, and the agent has to obey to such norms when pursuing her objectives. We report a non-monotonic modal logic able to describe the environment, the norms, and the agent's capabilities as well as her mental attitudes (e.g., desires, intentions). First, we show how such a logic is expressive enough to determine when the agent is compliant with respect to norms and objectives by extending it with a formal characterisation of the concepts of norm and outcome compliance. Then, in the case the agent violates some norms or does not achieve all her objectives, we propose a preliminary analysis of methodologies to revise the theory and restore compliance.
AB - Scholars understand an agent as a system acting in an environment. Such an environment is usually governed by norms, and the agent has to obey to such norms when pursuing her objectives. We report a non-monotonic modal logic able to describe the environment, the norms, and the agent's capabilities as well as her mental attitudes (e.g., desires, intentions). First, we show how such a logic is expressive enough to determine when the agent is compliant with respect to norms and objectives by extending it with a formal characterisation of the concepts of norm and outcome compliance. Then, in the case the agent violates some norms or does not achieve all her objectives, we propose a preliminary analysis of methodologies to revise the theory and restore compliance.
KW - business process
KW - Defeasible Logic
KW - goal compliance
KW - logic-based revision
KW - Norm compliance
UR - http://www.scopus.com/inward/record.url?scp=84893034319&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84893034319&partnerID=8YFLogxK
UR - https://rdcu.be/dyo9u
U2 - 10.1007/978-3-642-44927-7_22
DO - 10.1007/978-3-642-44927-7_22
M3 - Conference paper
AN - SCOPUS:84893034319
SN - 9783642449260
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 324
EP - 339
BT - PRIMA 2013: Principles and Practice of Multi-Agent Systems
PB - Springer
CY - Cham, Switzerland
T2 - 16th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2013
Y2 - 1 December 2013 through 6 December 2013
ER -