Explanation by automated reasoning using the Isabelle Infrastructure framework
Working paper
Kammueller, F. 2021. Explanation by automated reasoning using the Isabelle Infrastructure framework. arxiv.org. https://doi.org/10.48550/arXiv.2112.14809
Type | Working paper |
---|---|
Title | Explanation by automated reasoning using the Isabelle Infrastructure framework |
Authors | Kammueller, F. |
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. |
Journal | Arxiv |
Publisher | arxiv.org |
Page range | 1-5 |
Publication dates | |
Online | 29 Dec 2021 |
Publication process dates | |
Deposited | 20 Jan 2022 |
Accepted | 29 Dec 2021 |
Output status | Published |
Publisher's version | License |
Copyright Statement | Full text reproduced as per the CC BY: Creative Commons Attribution |
Web address (URL) | https://arxiv.org/abs/2112.14809v1 |
Digital Object Identifier (DOI) | https://doi.org/10.48550/arXiv.2112.14809 |
Language | English |
https://repository.mdx.ac.uk/item/89q10
Download files
40
total views8
total downloads0
views this month0
downloads this month