Explanation of black box AI for GDPR related privacy using Isabelle

Kammueller, Florian ORCID: 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)

PDF - Final accepted version (with author's formatting) Restricted to Repository staff and depositor only Download (1MB)

Abstract

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.

Actions (login required)

View Item

Statistics

DownloadsShow export options

Export as CSVXMLJSON

Activity Overview

6 month trend

4Downloads

6 month trend

47Hits

Additional statistics are available via IRStats2.