Explanation by automated reasoning using the Isabelle Infrastructure framework

Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488 (2022) Explanation by automated reasoning using the Isabelle Infrastructure framework. In: Human Computer Interaction International, 26 Jun - 01 Jul 2022, Virtual. . [Conference or Workshop Item] (Accepted/In press)

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

Download (249kB) |


Inthispaper,weproposetheuseofinteractivetheoremprov- ing for explainable machine learning. After informally motivating our proposition, we illustrate it on the dedicated application of explaining security attacks using the Isabelle Infrastructure framework and its pro- cess of dependability engineering. This formal framework and process provides the logics for specification and modeling. Attacks on security of the system are explained by specification and proofs in the Isabelle Infrastructure framework. Existing case studies of dependability engineering in Isabelle are used as feasibility studies to illustrate how dif- ferent aspects of explanations are covered by the Isabelle Infrastructure framework. Finally, we propose a research agenda on how first-class ex- planation integrated with automated reasoning will solve the problem.

Item Type: Conference or Workshop Item (Paper)
Sustainable Development Goals:
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 35236
Useful Links:
Depositing User: Florian Kammueller
Date Deposited: 10 Jun 2022 10:30
Last Modified: 29 Nov 2022 17:37
URI: https://eprints.mdx.ac.uk/id/eprint/35236

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.