Skip to main content
SpringerLink
Log in
Book cover

International Conference on Principles and Practice of Multi-Agent Systems

PRIMA 2014: PRIMA 2014: Principles and Practice of Multi-Agent Systems pp 74–90Cite as

On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic

  • Conference paper

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

Abstract

In this paper we formally prove that compliance results derived from temporal defeasible logic are equivalent to the ones obtained in the standard defeasible deontic logic. In order to do so we first introduce an operator allowing us to translate rules from the standard to the temporal framework. Then we consider the sets of obligations used in the compliance checking algorithm from [19] and prove that they are isomorphic to the previously defined operator. Being able to add time to standard deontic logic will allow for a better and more elegant representation of obligations and improvement in computational efficiency.

NICTA is funded by the Australian Government through the Department of Communications and the Australian Research Council through the ICT Centre of Excellence Program.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alberti, M., Gavanelli, M., Lamma, E., Chesani, F., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20(2-4), 133–157 (2006)

    Article  Google Scholar 

  2. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: On the modeling and analysis of regulations. In: ACIS 1999, pp. 20–29 (1999)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  4. Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: ECAI 2000, pp. 459–463. IOS Press (2000)

    Google Scholar 

  5. Antoniou, G., Maher, M.J., Billington, D.: Defeasible logic versus logic programming without negation as failure. J. Log. Program. 42(1), 47–57 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  6. Awad, A., Weidlich, M., Weske, M.: Visually Specifying Compliance Rules and Explaining their Violations for Business Processes. Journal of Visual Languages & Computing 22(1), 30–55 (2011)

    Article  Google Scholar 

  7. Boella, G., Broersen, J., van der Torre, L.: Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol. 5357, pp. 86–97. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  8. Colombo Tosatto, S., Governatori, G., Kelsen, P.: Business process regulatory compliance is hard. IEEE Transactions on Services Computing (2014)

    Google Scholar 

  9. Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer (2013)

    Google Scholar 

  10. Elgammal, A., Türetken, O., van den Heuvel, W.J.: Using patterns for the analysis and resolution of compliance violations. Int. J. Cooperative Inf. Syst. 21(1), 31–54 (2012)

    Article  Google Scholar 

  11. Pasquier, P., Flores, R., Chaib-draa, B.: Modelling flexible social commitments and their enforcement. In: Gleizes, M.-P., Omicini, A., Zambonelli, F. (eds.) ESAW 2004. LNCS (LNAI), vol. 3451, pp. 139–151. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Gabaldon, A.: Making golog norm compliant. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 275–292. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  13. García-Camino, A., Rodríguez-Aguilar, J.-A., Vasconcelos, W.W.: A Distributed Architecture for Norm Management in Multi-Agent Systems. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol. 4870, pp. 275–286. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

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

    Google Scholar 

  15. Goedertier, S., Vanthienen, J.: Designing Compliant Business Processes with Obligations and Permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 5–14. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Governatori, G.: Business Process Compliance: An Abstract Normative Framework. IT-Information Technology 55, 231–238 (2013)

    Article  Google Scholar 

  17. Governatori, G.: Thou shalt is not you will. Tech. Rep. 8026, NICTA (2014)

    Google Scholar 

  18. Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193–215 (2006)

    MathSciNet  MATH  Google Scholar 

  19. Governatori, G., Rotolo, A.: A conceptually rich model of business process compliance. In: APCCM 2010, pp. 3–12. ACS (2010)

    Google Scholar 

  20. Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 194–209. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  21. Governatori, G., Rotolo, A.: Justice delayed is justice denied: Logics for a temporal account of reparations and legal compliance. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 364–382. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  22. Governatori, G., Sadiq, S.: The journey to business process compliance. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on BPM, pp. 426–454. IGI Global (2009)

    Google Scholar 

  23. Governatori, G., Shek, S.: Regorous: a business process compliance checker. In: ICAIL 2013, pp. 245–246. ACM (2013)

    Google Scholar 

  24. Governatori, G., Terenziani, P.: Temporal extensions to defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 476–485. Springer, Heidelberg (2007)

    Google Scholar 

  25. Grossi, D., Aldewereld, H., Dignum, F.P.M.: Ubi lex, ibi poena: Designing norm enforcement in E-institutions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 101–114. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  26. Hashmi, M., Governatori, G.: A methodological evaluation of business process compliance management frameworks. In: Song, M., Wynn, M.T., Liu, J. (eds.) AP-BPM 2013. LNBIP, vol. 159, pp. 106–115. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  27. Hashmi, M., Governatori, G., Wynn, M.T.: Business process data compliance. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 32–46. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  28. Herrestad, H.: Norms and formalization. In: ICAIL 1991, pp. 175–184. ACM (1991)

    Google Scholar 

  29. Hübner, J.F., Boissier, O., Bordini, R.: From organisation specification to normative programming in multi-agent organisations. In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds.) CLIMA XI. LNCS, vol. 6245, pp. 117–134. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  30. Knorr, M., Gabaldon, A., Gonçalves, R., Leite, J., Slota, M.: Time is up! – norms with deadlines in action languages. In: Leite, J., Son, T.C., Torroni, P., van der Torre, L., Woltran, S. (eds.) CLIMA XIV 2013. LNCS, vol. 8143, pp. 223–238. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  31. Koons, R.: Defeasible reasoning. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Spring 2014) http://plato.stanford.edu/archives/spr2014/entries/reasoning-defeasible/

  32. Ly, L.T., Rinderle-Ma, S., Göser, K., Dadam, P.: On enabling integrated process compliance with semantic constraints in process management systems - requirements, challenges, solutions. Information Systems Frontiers 14(2), 195–219 (2012)

    Article  Google Scholar 

  33. Maggi, F., Montali, M., Westergaard, M., van der Aalst, W.: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132–147. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  34. Mailund, T., Westergaard, M.: Obtaining memory-efficient reachability graph representations using the sweep-line method. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 177–191. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  35. McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Stanford University, USA (1968)

    Google Scholar 

  36. McNamara, P.: Deontic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Spring 2014), http://plato.stanford.edu/archives/spr2014/entries/logic-deontic/

  37. Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 353–395. Oxford University Press (1994)

    Google Scholar 

  38. Nute, D. (ed.): Defeasible deontic logic. Springer (1997)

    Google Scholar 

  39. Sadiq, S., Governatori, G.: Managing regulatory compliance in business processes. In: vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 2, pp. 265–288. Springer, Heidelberg (2015)

    Chapter  Google Scholar 

  40. Sadiq, W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149–164. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. NICTA Queensland, Brisbane, Australia

    Marc Allaire & Guido Governatori

Authors
  1. Marc Allaire
    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

Editor information

Editors and Affiliations

  1. School of Computer Science and Software Engineering, University of Wollongong, Northfields Avenue, 2522, Wollongong, NSW, Australia

    Hoa Khanh Dam

  2. Imperial College, SW7 2BT, London, UK

    Jeremy Pitt

  3. University of Electronic Science and Technology of China, 610051, Chengdu, Sichuan, China

    Yang Xu

  4. NICTA Queensland Research Laboratory, GPO Box 2434, 4001, Brisbane, QLD, Australia

    Guido Governatori

  5. Nagoya Institute of Technology, Gokiso-cho, 466-8555, Showa-ku, Nagoya, Japan

    Takayuki Ito

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Allaire, M., Governatori, G. (2014). On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic. In: Dam, H.K., Pitt, J., Xu, Y., Governatori, G., Ito, T. (eds) PRIMA 2014: Principles and Practice of Multi-Agent Systems. PRIMA 2014. Lecture Notes in Computer Science(), vol 8861. Springer, Cham. https://doi.org/10.1007/978-3-319-13191-7_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-13191-7_7

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-13190-0

  • Online ISBN: 978-3-319-13191-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation