Explanation of black box AI for GDPR related privacy using Isabelle

Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488 (2022) Explanation of black box AI for GDPR related privacy using Isabelle. Computer Security. ESORICS 2022 International Workshops. In: Data Privacy Management, International Workshop, co-located with ESORICS'22, 29 Sept 2022, Copenhagen, Denmark. . [Conference or Workshop Item] (Accepted/In press)

[img] PDF - Final accepted version (with author's formatting)
Restricted to Repository staff and depositor only

Download (1MB)


In this paper, we present a methodology for constructing explanations for AI classification algorithms. The methodology consists of constructing a model of the context of the application in the Isabelle Infrastructure framework (IIIf) and an algorithm that allows to extract a precise logical rule that specifies the behaviour of the black box algorithm thus allowing to explain it. The explanation is given within the rich logical model of the IIIf. It is thus suitable for human audiences. We illustrate this and validate the methodology on the application example of credit card scoring with special relation to the right of explanation as given by the GDPR.

Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 36339
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 30 Sep 2022 13:01
Last Modified: 25 Nov 2022 18:55
URI: https://eprints.mdx.ac.uk/id/eprint/36339

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.