Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance

  • Guido Governatori
  • Antonino Rotolo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6814)


In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of the concept of legal compliance. In particular, the formal characterisation of compliance can handle different types of legal obligation and different temporal constraints over them. The logic is also able to represent, and reason about, chains of reparative obligations, since in many cases the fulfillment of these types of obligation still amount to legally acceptable situations.


Multiagent System Inference Rule Atomic Proposition Deontic Logic Introduction Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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)CrossRefzbMATHGoogle Scholar
  2. 2.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.: A flexible framework for defeasible logics. In: Proc. AAAI-2000. AAAI Press, Menlo Park (2000)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    Boella, G., van der Torre, L.: Fulfilling or violating obligations in multiagent systems. In: Procs. IAT 2004 (2004)Google Scholar
  5. 5.
    Bou, E., López-Sánchez, M., Rodríguez-Aguilar, J.A.: Adaptation of autonomic electronic institutions through norms and institutional agents. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 300–319. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Broersen, J., van der Torre, L.: Conditional norms and dyadic obligations in time. In: Proc. ECAI 2008. IOS Press, Amsterdam (2008)Google Scholar
  7. 7.
    Carmo, J., Jones, A.J.I.: Deontic logic and contrary to duties. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, 2nd edn. Kluwer, Dordrecht (2002)Google Scholar
  8. 8.
    Dastani, M., Grossi, D., Meyer, J.-J.C., Tinnemeier, N.: Normative multi-agent programs and their logics. In: Bordini, R., Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) Programming Multi-Agent Systems, Dagstuhl, Germany. Dagstuhl Seminar Proceedings, vol. 08361. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany (2008)CrossRefGoogle Scholar
  9. 9.
    Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos, J.L.: Ameli: An agent-based middleware for electronic institutions. In: Proc. of AAMAS 2004, vol. 3394. ACM, New York (2005)Google Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    Gaertner, D., Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J.-A., Vasconcelos, W.: Distributed norm management in regulated multiagent systems. In: Proc. AAMAS 2007. ACM, New York (2007)Google Scholar
  12. 12.
    Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181–216 (2005)CrossRefGoogle Scholar
  13. 13.
    Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising deadlines in temporal modal defeasible logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol. 4830, pp. 486–496. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  14. 14.
    Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 44, 193–215 (2006)MathSciNetzbMATHGoogle Scholar
  15. 15.
    Governatori, G., Rotolo, A.: An algorithm for business process compliance. In: Sartor, G. (ed.) Jurix 2008, pp. 186–191. IOS Press, Amsterdam (2008)Google Scholar
  16. 16.
    Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: 10th International Conference on Artificial Intelligence and Law (ICAIL 2005), pp. 25–34 (2005)Google Scholar
  17. 17.
    Grossi, D., Aldewereld, H., Dignum, F.: Ubi lex, ibi poena: Designing norm enforcement in e-institutions. In: In Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems II. Springer, Heidelberg (2006)Google Scholar
  18. 18.
    Herrestad, H.: Norms and formalization. In: ICAIL, pp. 175–184 (1991)Google Scholar
  19. 19.
    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)CrossRefGoogle Scholar
  20. 20.
    López y López F., Luck, M., d’Inverno, M.: Constraining autonomy through norms. In: Proc. AAMAS 2002. ACM, New York (2002)Google Scholar
  21. 21.
    Marín, R.H., Sartor, G.: Time and norms: a formalisation in the event-calculus. In: ICAIL, pp. 90–99 (1999)Google Scholar
  22. 22.
    Smith, C., Rotolo, A., Sartor, G.: Temporal reasoning and mas. In: SNAMAS 2010 (2010)Google Scholar
  23. 23.
    van Benthem, J., Grossi, D., Liu, F.: Deontics = betterness + priority. In: Governatori, G., Sartor, G. (eds.) DEON 2010. LNCS, vol. 6181, pp. 50–65. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  24. 24.
    van der Torre, L., Boella, G., Verhagen, H. (eds.): Normative Multi-agent Systems, Special Issue of JAAMAS, vol. 17(1) (2008)Google Scholar
  25. 25.
    van Eck, J.: A system of temporally relative modal and deontic predicate logic and its philosophical applications. Logique et Analyse 25, 339–381 (1982)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Guido Governatori
    • 1
  • Antonino Rotolo
    • 2
  1. 1.NICTAQueensland Research LabAustralia
  2. 2.CIRSFIDUniversity of BolognaItaly

Personalised recommendations