TY - GEN
T1 - Legal modelling and reasoning using institutions
AU - De Vos, Marina
AU - Padget, Julian
AU - Satoh, Ken
PY - 2011
Y1 - 2011
N2 - 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. 2011 Springer-Verlag.
AB - 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. 2011 Springer-Verlag.
UR - http://dx.doi.org/10.1007/978-3-642-25655-4_12
U2 - 10.1007/978-3-642-25655-4_12
DO - 10.1007/978-3-642-25655-4_12
M3 - Chapter in a published conference proceeding
SN - 03029743
VL - 6797 LNAI
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 129
EP - 140
BT - New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers
PB - Springer
CY - Heidelberg
T2 - 2nd JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2010, November 18, 2010 - November 19, 2010
Y2 - 1 January 2011
ER -