Research

Legal modelling and reasoning using institutions


Reference:

De Vos, M., Padget, J. and 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. Heidelberg: Springer, pp. 129-140. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

Related documents:

[img]
Preview
PDF (DeVos_JSAI-isAI_2010.pdf) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (501kB) | Preview

    Official URL:

    http://dx.doi.org/10.1007/978-3-642-25655-4_12

    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.

    Details

    Item Type Book Sections
    CreatorsDe Vos, M., Padget, J. and Satoh, K.
    DOI10.1007/978-3-642-25655-4_12
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementDeVos_JSAI-isAI_2010.pdf: The original publication is available at www.springerlink.com
    StatusPublished
    ID Code27906

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...