Abstract
Norms are a way to provide some flexibility to the specification of acceptable actor behaviour in a shared context. Instead of viewing norms as static restrictions over an agent’s conduct (and autonomy), the full power of normative specifications comes when norms are seen as guidelines that agents can use in their decision-making. In literature there is a lot of work on norm theories, models and specifications on how agents might take norms into account when reasoning, but many of them focus on the goal or intention selection and few of them apply the norms into the agent’s plan generation. In this paper we present a norm-oriented agent that takes into consideration operationalised norms during the plan generation phase, using them as guidelines to decide the agent’s future action path. In our work norms can be obligations or prohibitions which can be violated, and are accompanied by repair norms in case they are breached. To make norms influence plan generation, our norm operational semantics is expressed as an extension/on top of STRIPS semantics, acting as a form of temporal restrictions over the trajectories (plans) computed by the planner. In combination with the agent’s utility functions over the actions, the norm-aware planner computes the most profitable trajectory concluding to a state of the world where the effects of all the active norms have been explored, including the repair norms. We use a simplified fire emergency scenario in order to demonstrate the usefulness of the framework, integrating the norm-aware planner to 2APL agent architecture. We depict possible outcomes depending on criteria such as time and danger.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116(1-2), 123–191 (2000)
Dastani, M.: 2APL: a practical agent programming language. JAAMAS 16(3), 214–248 (2008); Special Issue on Computational Logic-based Agents
Dignum, F., Aldewereld, H., Vanhee, L.: Implementing Norms? COIN@WI-IAT (2011)
Fikes, R., Nilsson, N.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. In: Artificial Intelligence, vol. 2, pp. 189–208. Elsevier Science Publishers Ltd., Essex (1971)
Gerevini, A., Long, D.: Plan constraints and preferences in PDDL3. In: 5th International Planning Competition (2006)
Hoffmann, J., Nebel, B.: The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research 14, 253–302 (2001)
Lam, J., Guerin, F., Vasconcelos, W., Norman, T.J.: Building Multi-Agent Systems for Workflow Enactment and Exception Handling. In: Padget, J., Artikis, A., Vasconcelos, W., Stathis, K., da Silva, V.T., Matson, E., Polleres, A. (eds.) COIN 2009. LNCS (LNAI), vol. 6069, pp. 53–69. Springer, Heidelberg (2010)
Kollingbaum, M.J.: Norm-governed Practical Reasoning Agents. Tech. Rep. (2005)
Meneguzzi, F., Luck, M.: Norm-based behaviour modification in BDI agents. In: 8th International Conference on Autonomous Agents and Multiagent Systems (2009)
Modgil, S., Faci, N., Meneguzzi, F., Oren, N., Miles, S., Luck, M.: A framework for monitoring agent-based normative systems. International Foundation for Autonomous Agents and Multiagent Systems (May 2009)
Oren, N., Panagiotidi, S., Vázquez-Salceda, J., Modgil, S., Luck, M., Miles, S.: Towards a Formalisation of Electronic Contracting Environments. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds.) COIN 2008. LNCS (LNAI), vol. 5428, pp. 156–171. Springer, Heidelberg (2009)
Rao, A.S.: Agentspeak(l): Bdi agents speak out in a logical computable language. In: 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: Agents Breaking Away, pp. 42–55. Springer (1996)
Panagiotidi, S., Vázquez-Salceda, J.: Normative Planning: Semantics and Implementation. In: 13th International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN@WI-IAT), Lyon, France (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Panagiotidi, S., Vázquez-Salceda, J., Dignum, F. (2013). Reasoning over Norm Compliance via Planning. In: Aldewereld, H., Sichman, J.S. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. COIN 2012. Lecture Notes in Computer Science(), vol 7756. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37756-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-37756-3_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37755-6
Online ISBN: 978-3-642-37756-3
eBook Packages: Computer ScienceComputer Science (R0)