Tech Reports

ULCS-17-002

Angelic Environment: Support for the Construction of Legal KBS

Latifa Al-Abdulkarim, Katie Atkinson, Sam Atkinson and Trevor Bench-Capon

Abstract

This paper describes a development environment for the Angelic Methodology. The environment comprises a database to store the domain theory produced by the methodology, together with an extensible set of tools which display and use the stored knowledge to support development, verification, and refinement. The environment is described and illustrated by using it to capture an analysis of the widely studied domain of property law relating to the pursuit of wild animals. The implementation we present provides an important step in moving a formal model of argument towards a tool that can be used in practice and tailored to a domain as needed, and which paves the way for widespread application of the fruits of AI and Law research to legal practice.

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.