Affiliation:
1. Dipartimento di Informatica – Scienza e Ingegneria, Alma Mater Studiorum—Università di Bologna, Cesena, Italy
2. Dipartimento di Scienze Pure e Applicate, Università degli Studi di Urbino Carlo Bo, Urbino, Italy
Abstract
In this article, we focus on the opacity issue of sub-symbolic machine learning predictors by promoting two complementary activities—
symbolic knowledge extraction
(SKE) and
symbolic knowledge injection
(SKI)—from and into sub-symbolic predictors. We consider as symbolic any language being intelligible and interpretable for both humans and computers. Accordingly, we propose general meta-models for both SKE and SKI, along with two taxonomies for the classification of SKE and SKI methods. By adopting an explainable artificial intelligence (XAI) perspective, we highlight how such methods can be exploited to mitigate the aforementioned opacity issue. Our taxonomies are attained by surveying and classifying existing methods from the literature, following a systematic approach, and by generalising the results of previous surveys targeting specific sub-topics of either SKE or SKI alone. More precisely, we analyse 132 methods for SKE and 117 methods for SKI, and we categorise them according to their purpose, operation, expected input/output data and predictor types. For each method, we also indicate the presence/lack of runnable software implementations. Our work may be of interest for data scientists aiming at selecting the most adequate SKE/SKI method for their needs, and may also work as suggestions for researchers interested in filling the gaps of the current state-of-the-art as well as for developers willing to implement SKE/SKI-based technologies.
Funder
CHIST-ERA IV
FAIR–Future Artificial Intelligence Research
European Commission
ENGINES – ENGineering INtElligent Systems around intelligent agent technologies
Publisher
Association for Computing Machinery (ACM)
Reference60 articles.
1. CEUR Workshop Proceedings;Agiollo Andrea,2021
2. Proceedings of Machine Learning Research;Agiollo Andrea,2022
3. Datalog vs first-order logic
4. Survey and critique of techniques for extracting rules from trained artificial neural networks
5. Franz Baader. 2003. Basic description logics. In The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, USA, 43–95.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献