Skip to main content
SpringerLink
Log in

A Methodology for Plan Revision under Norm and Outcome Compliance

  • Conference paper
PRIMA 2013: Principles and Practice of Multi-Agent Systems (PRIMA 2013)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8291))

Abstract

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.

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

Access this chapter

Log in via an institution
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 54.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. Wooldridge, M., Jennings, N.R.: Agent theories, architectures, and languages: A survey. In: Wooldridge, M.J., Jennings, N.R. (eds.) ECAI 1994 and ATAL 1994. LNCS, vol. 890, pp. 1–39. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  2. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42(2-3) (1990)

    Google Scholar 

  3. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) KR. Morgan Kaufmann (1991)

    Google Scholar 

  4. Rao, A.S., Georgeff, M.P.: Decision procedures for bdi logics. Journal of Logic and Computation 8(3) (1998)

    Google Scholar 

  5. van der Aalst, W.M.P.: The application of Petri Nets to workflow management. Journal of Circuits, Systems, and Computers 8(1) (1998)

    Google Scholar 

  6. Ghallab, M., Nau, D., Traverso, P.: Automated planning - theory and practice. Elsevier (2004)

    Google Scholar 

  7. Governatori, G., Sadiq, S.: The journey to business process compliance. In: Handbook of Research on BPM. IGI Global (2008)

    Google Scholar 

  8. Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: Designing for compliance: Norms and goals. In: Olken, F., Palmirani, M., Sottara, D. (eds.) RuleML - America 2011. LNCS, vol. 7018, pp. 282–297. Springer, Heidelberg (2011)

    Google Scholar 

  9. Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S., Cristani, M.: Picking up the best goal: An analytical study in defeasible logic. In: Morgenstern, L., Stefaneas, P., Lévy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 99–113. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  10. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2) (2001)

    Google Scholar 

  11. Governatori, G., Rotolo, A.: Logic of violations: A gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4 (2006)

    Google Scholar 

  12. Governatori, G., Rotolo, A.: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Journal of Autonomous Agents and Multi-Agent Systems 17(1) (2008)

    Google Scholar 

  13. Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4) (2002)

    Google Scholar 

  14. Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: Horn, W. (ed.) ECAI. IOS Press (2000)

    Google Scholar 

  15. Ghose, A., Koliadis, G.: Auditing business process compliance. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169–180. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  16. Dijkman, R., Dumas, M., van Dongen, B., Käärik, R., Mendling, J.: Similarity of business process models: Metrics and evaluation. Inf. Syst. 36(2) (2011)

    Google Scholar 

  17. Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: [29], 194–209

    Google Scholar 

  18. van der Aalst, W., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science - R&D 23(2) (2009)

    Google Scholar 

  19. Rotolo, A.: Rule-based agents, compliance, and intention reconsideration in defeasible logic. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 67–82. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  20. Schumm, D., Leymann, F., Ma, Z., Scheibler, T., Strauch, S.: Integrating Compliance into Business Processes Process Fragments as Reusable Compliance Controls. Universitätsverlag Göttingen (2010)

    Google Scholar 

  21. Schumm, D., Turetken, O., Kokash, N., Elgammal, A., Leymann, F., van den Heuvel, W.-J.: Business process compliance through reusable units of compliant processes. In: Daniel, F., Facca, F.M. (eds.) ICWE 2010. LNCS, vol. 6385, pp. 325–337. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  22. Leymann, F.: Combining web services and the grid: Towards adaptive enterprise applications. In: Castro, J., Teniente, E. (eds.) CAiSE Workshops (2). FEUP Edições, Porto (2005)

    Google Scholar 

  23. Weerawarana, S., Curbera, F., Leymann, F., Storey, T., Ferguson, D.: Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More. Prentice Hall PTR (2005)

    Google Scholar 

  24. Rock, A.: Deimos: Query answering defeasible logic system (2000)

    Google Scholar 

  25. Lam, H.P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315–322. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  26. Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: Superiority based revision of defeasible theories. In: [29], pp. 104–118

    Google Scholar 

  27. Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S.: Legal contractions: A logical analysis. In: Ashley, K.D., van Engers, T.M. (eds.) ICAIL. ACM (2013)

    Google Scholar 

  28. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log. 50(2) (1985)

    Google Scholar 

  29. Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.): RuleML 2010. LNCS, vol. 6403. Springer, Heidelberg (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Verona, Italy

    Simone Scannapieco, Francesco Olivieri & Matteo Cristani

  2. NICTA, Queensland Research Laboratory, Australia

    Simone Scannapieco, Guido Governatori & Francesco Olivieri

  3. Institute for Integrated and Intelligent Systems, Griffith University, Australia

    Simone Scannapieco, Guido Governatori & Francesco Olivieri

Authors
  1. Simone Scannapieco
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guido Governatori
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Francesco Olivieri
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Matteo Cristani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica,, Università degli Studi di Torino, via Pessinetto 12,, 10149, Torino, Italy

    Guido Boella

  2. Division of Mathematical Sciences, Nanyang Technological University, Singapore

    Edith Elkind

  3. Department of Information Science, University of Otago, Dunedin, New Zealand

    Bastin Tony Roy Savarimuthu  & Martin K. Purvis  & 

  4. Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    Frank Dignum

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Scannapieco, S., Governatori, G., Olivieri, F., Cristani, M. (2013). A Methodology for Plan Revision under Norm and Outcome Compliance. In: Boella, G., Elkind, E., Savarimuthu, B.T.R., Dignum, F., Purvis, M.K. (eds) PRIMA 2013: Principles and Practice of Multi-Agent Systems. PRIMA 2013. Lecture Notes in Computer Science(), vol 8291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-44927-7_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-44927-7_22

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-44926-0

  • Online ISBN: 978-3-642-44927-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation