Legal Modelling and Reasoning Using Institutions

  • Marina De Vos
  • Julian Padget
  • Ken Satoh
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6797)


To safeguard fairness for all parties involved and proper procedure, actions within a legal context are heavily constrained. Detailed laws determine when actions are permissible and admissible. However, these restrictions do not prevent participants from acting. In this paper we present a methodology to support legal reasoning using institutions—systems that specify the normative behaviour of participants—and a corresponding computational model. We show how it provides a useful separation between the identification of real world actions, if and how they affect the legal model and how consequences within the legal model can be specified and verified. Thus, it is possible to define a context, introduce a real-world event and examine how this changes the state of the legal model: hence, the modeller can explore both model adequacy and that of the legal framework from which it is derived, as well as offering a machine-usable legal ‘oracle’ for software components. We illustrate the use of our framework by modelling contract cancellation under Japanese contract law.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cliffe, O., De Vos, M., Padget, J.: Specifying and reasoning about multiple 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. 67–85. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  2. 2.
    Denecker, M.: What’s in a model? Epistemological analysis of logic programming. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR 2004), pp. 106–113 (2004)Google Scholar
  3. 3.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3-4), 365–386 (1991)CrossRefzbMATHGoogle Scholar
  4. 4.
    Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181–216 (2005)CrossRefGoogle Scholar
  5. 5.
    Governatori, G., Rotolo, A.: Defeasible logic: Agency, intention and obligation. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 114–128. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  6. 6.
    Grossi, D., Meyer, J.-J.C., Dignum, F.: The many faces of counts-as: A formal analysis of constitutive rules. J. Applied Logic 6(2), 192–217 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Herrestad, H.: Norms and formalization. In: ICAIL 1991: Proceedings of the 3rd International Conference on Artificial Intelligence and Law, pp. 175–184. ACM Press, New York (1991)Google Scholar
  8. 8.
    Hopton, L., Cliffe, O., De Vos, M., Padget, J.: Instql: A query language for virtual institutions using answer set programming. In: ClimaX, pp. 87–104 (2009)Google Scholar
  9. 9.
    Searle, J.R.: The Construction of Social Reality. The Penguin Press, Allen Lane (1995)Google Scholar
  10. 10.
    Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems: the normative systems perspective. In: Deontic Logic in Computer Science: Normative System Specification, pp. 275–307. John Wiley and Sons Ltd., Chichester (1993)Google Scholar
  11. 11.
    Jones, A.J.I., Sergot, M.: A Formal Characterisation of Institutionalised Power. ACM Computing Surveys 28(4es), 121 (1996) (Read November 28, 2004)CrossRefzbMATHGoogle Scholar
  12. 12.
    Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica (SLOGICA) 57(1), 91–115 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Wooldridge, M.: An Introduction to MultiAgent Systems. Wiley, Chichester (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Marina De Vos
    • 1
  • Julian Padget
    • 1
  • Ken Satoh
    • 2
  1. 1.Department of Computer ScienceUniversity of BathUK
  2. 2.National Institute of InformaticsJapan

Personalised recommendations