Explanation by automated reasoning using the Isabelle Infrastructure framework
Conference paper
Kammueller, F. 2022. Explanation by automated reasoning using the Isabelle Infrastructure framework. Human Computer Interaction International. Virtual 26 Jun - 01 Jul 2022
Type | Conference paper |
---|---|
Title | Explanation by automated reasoning using the Isabelle Infrastructure framework |
Authors | Kammueller, F. |
Abstract | 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. |
Sustainable Development Goals | 9 Industry, innovation and infrastructure |
Conference | Human Computer Interaction International |
Publication dates | |
2022 | |
Publication process dates | |
Deposited | 10 Jun 2022 |
Accepted | 17 Feb 2022 |
Output status | In press |
Language | English |
https://repository.mdx.ac.uk/item/89wy4
Restricted files
Accepted author manuscript
59
total views0
total downloads0
views this month0
downloads this month