Explanation by automated reasoning using the Isabelle Infrastructure framework
Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488
(2021)
Explanation by automated reasoning using the Isabelle Infrastructure framework.
Working Paper.
Preprint, arXiv.org.
.
[Monograph]
(doi:10.48550/arXiv.2112.14809)
|
PDF
- Published version (with publisher's formatting)
Available under License Creative Commons Attribution 4.0. Download (114kB) | Preview |
Abstract
In this paper, we propose the use of interactive the- orem proving for explainable machine learning. After presenting our proposition, we illustrate it on the dedicated application of explaining security attacks using the Isabelle Infrastructure framework and its process of dependability engineering. This formal framework and process provides the logics for specifi- cation and modeling. Attacks on security of the system are ex- plained 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 different aspects of explanations are covered by the Isabelle Infrastructure framework.
Item Type: | Monograph (Working Paper) |
---|---|
Research Areas: | A. > School of Science and Technology > Computer Science |
Item ID: | 34554 |
Notes on copyright: | Full text reproduced as per the CC BY: Creative Commons Attribution
(http://creativecommons.org/licenses/by/4.0/) license applied at https://arxiv.org/abs/2112.14809v1 |
Useful Links: | |
Depositing User: | Florian Kammueller |
Date Deposited: | 20 Jan 2022 10:26 |
Last Modified: | 24 Oct 2022 23:11 |
URI: | https://eprints.mdx.ac.uk/id/eprint/34554 |
Actions (login required)
![]() |
View Item |
Statistics
Additional statistics are available via IRStats2.