Legal modelling and reasoning using institutions

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)
53 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationNew Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers
Place of PublicationHeidelberg
PublisherSpringer
Pages129-140
Number of pages12
Volume6797 LNAI
ISBN (Print)03029743
DOIs
Publication statusPublished - 2011
Event2nd JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2010, November 18, 2010 - November 19, 2010 - Tokyo, Japan
Duration: 1 Jan 2011 → …

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag

Conference

Conference2nd JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2010, November 18, 2010 - November 19, 2010
CountryJapan
CityTokyo
Period1/01/11 → …

Fingerprint

Law
fairness
event
methodology
software

Cite this

De Vos, M., Padget, J., & Satoh, K. (2011). Legal modelling and reasoning using institutions. In New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers (Vol. 6797 LNAI, pp. 129-140). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-25655-4_12

Legal modelling and reasoning using institutions. / De Vos, Marina; Padget, Julian; Satoh, Ken.

New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers. Vol. 6797 LNAI Heidelberg : Springer, 2011. p. 129-140 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

De Vos, M, Padget, J & Satoh, K 2011, Legal modelling and reasoning using institutions. in New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers. vol. 6797 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Heidelberg, pp. 129-140, 2nd JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2010, November 18, 2010 - November 19, 2010, Tokyo, Japan, 1/01/11. https://doi.org/10.1007/978-3-642-25655-4_12
De Vos M, Padget J, Satoh K. Legal modelling and reasoning using institutions. In New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers. Vol. 6797 LNAI. Heidelberg: Springer. 2011. p. 129-140. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-25655-4_12
De Vos, Marina ; Padget, Julian ; Satoh, Ken. / Legal modelling and reasoning using institutions. New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers. Vol. 6797 LNAI Heidelberg : Springer, 2011. pp. 129-140 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{c7b946a63c5b4d3281306aa0cdc19349,
title = "Legal modelling and reasoning using institutions",
abstract = "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.",
author = "{De Vos}, Marina and Julian Padget and Ken Satoh",
year = "2011",
doi = "10.1007/978-3-642-25655-4_12",
language = "English",
isbn = "03029743",
volume = "6797 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "129--140",
booktitle = "New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers",

}

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 - Conference contribution

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

ER -