Practical tools from formal models

Atkinson, Katie ORCID: 0000-0002-5683-4106, Collenette, Joe, Bench-Capon, Trevor and Dzehtsiarou, Kanstantsin ORCID: 0000-0001-9253-6109
(2021) Practical tools from formal models. In: ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, 2021-6-21 - 2021-6-25.

[img] Text
ICAIL_2021.pdf - Author Accepted Manuscript

Download (431kB) | Preview


One approach to building legal support systems is to run an executable model of the relevant knowledge through an interface designed to collect information from the user and provide explanations. The usability of such systems depends on the terms used in the law being represented: often only users familiar with the practice and application of the law will be able to provide the required information. Earlier work applied this approach to the European Convention on Human Rights (ECHR). Although the performance of the tool built for that domain was good, the questions posed to the user demanded a good deal of knowledge and experience of the ECHR. Here we use the knowledge of an expert with extensive experience of the ECHR to extend the model, through intermediate levels, to identify questions that are appropriate to the target user. We have undertaken a pilot evaluation in which a small number of lawyers have used the prototype program and provided very positive feedback, showing that they are receptive to AI solutions that give effective, explainable decision support.

Item Type: Conference or Workshop Item (Unspecified)
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 28 May 2021 07:40
Last Modified: 18 Jan 2023 22:44
DOI: 10.1145/3462757.3466095
Related URLs: