Skip to main content

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116(1-2), 123–191 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  2. Dastani, M.: 2APL: a practical agent programming language. JAAMAS 16(3), 214–248 (2008); Special Issue on Computational Logic-based Agents

    Google Scholar 

  3. Dignum, F., Aldewereld, H., Vanhee, L.: Implementing Norms? COIN@WI-IAT (2011)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. Gerevini, A., Long, D.: Plan constraints and preferences in PDDL3. In: 5th International Planning Competition (2006)

    Google Scholar 

  6. Hoffmann, J., Nebel, B.: The FF planning system: Fast plan generation through heuristic search. Journal of Artificial Intelligence Research 14, 253–302 (2001)

    MATH  Google Scholar 

  7. 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)

    Google Scholar 

  8. Kollingbaum, M.J.: Norm-governed Practical Reasoning Agents. Tech. Rep. (2005)

    Google Scholar 

  9. Meneguzzi, F., Luck, M.: Norm-based behaviour modification in BDI agents. In: 8th International Conference on Autonomous Agents and Multiagent Systems (2009)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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)

    Chapter  Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics