Tech Reports


Angelic Environment: Support for the Construction of Legal KBS

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


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.

[Full Paper]