Author:
Jansen Nils,Nolte Gerrit,Steffen Bernhard
Abstract
AbstractIn this paper, we present the envisioned style and scope of the new topic “Explanation Paradigms Leveraging Analytic Intuition” (ExPLAIn) with the International Journal on Software Tools for Technology Transfer (STTT). Intention behind this new topic is to (1) explicitly address all aspects and issues that arise when trying to, if possible, reveal and then confirm hidden properties of black-box systems, or (2) to enforce vital properties by embedding them into appropriate system contexts. Machine-learned systems, such as Deep Neural Networks, are particularly challenging black-box systems, and there is a wealth of formal methods for analysis and verification waiting to be adapted and applied. The selection of papers of this first Special Section of ExPLAIn, most of which were co-authored by editorial board members, is an illustrative example of the style and scope envisioned: In addition to methodological papers on verification, explanation, and their scalability, case studies, tool papers, literature reviews, and position papers are also welcome.
Funder
Technische Universität Dortmund
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference45 articles.
1. ERCIM working group on formal methods for industrial critical systems (FMICS). http://fmics.inria.fr/. Accessed: 2023-07-28
2. Adadi, A., Berrada, M.: Peeking inside the black-box: a survey on explainable artificial intelligence (xai). IEEE Access 6, 52138–52160 (2018)
3. Amodei, D., Olah, C., Steinhardt, J., Christiano, P.F., Schulman, J., Mané, D.: Concrete problems in AI safety CoRR (2016). arXiv:1606.06565
4. Badings, T., Simao, T., Suilen, M., Jansen, N.: Decision-making under uncertainty: beyond probabilities. Challenges and perspectives. https://doi.org/10.1007/s10009-023-00704-3
5. Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D., Macii, E., Pardo, A., Somenzi, F.: Algebric decision diagrams and their applications. Form. Methods Syst. Des. 10(2), 171–206 (1997)