Abstract
Explainable artificial intelligence (XAI) represents arguably one of the most crucial challenges being faced by the area of AI these days. Although the majority of approaches to XAI are of heuristic nature, recent work proposed the use of abductive reasoning to computing provably correct explanations for machine learning (ML) predictions. The proposed rigorous approach was shown to be useful not only for computing trustable explanations but also for validating explanations computed heuristically. It was also applied to uncover a close relationship between XAI and verification of ML models. This paper overviews the advances of the rigorous logic-based approach to XAI and argues that it is indispensable if trustable XAI is of concern
Original language | English |
---|---|
Title of host publication | Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence |
Editors | Christian Bessiere |
Place of Publication | Marina del Rey CA USA |
Publisher | Association for the Advancement of Artificial Intelligence (AAAI) |
Pages | 5154-5158 |
Number of pages | 5 |
ISBN (Electronic) | 9780999241165 |
DOIs | |
Publication status | Published - 2020 |
Event | International Joint Conference on Artificial Intelligence-Pacific Rim International Conference on Artificial Intelligence 2020 - Yokohama, Japan Duration: 7 Jan 2021 → 15 Jan 2021 Conference number: 29th/17th https://www.ijcai.org/Proceedings/2020/ (Proceedings) https://ijcai20.org (Website) |
Conference
Conference | International Joint Conference on Artificial Intelligence-Pacific Rim International Conference on Artificial Intelligence 2020 |
---|---|
Abbreviated title | IJCAI-PRICAI 2020 |
Country/Territory | Japan |
City | Yokohama |
Period | 7/01/21 → 15/01/21 |
Other | IJCAI-PRICAI 2020, the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence!IJCAI-PRICAI2020 will take place January 7-15, 2021 online in a virtual reality in Japanese Standard Time (JST) zone. |
Internet address |
|
Keywords
- Machine Learning
- Explainable Machine Learning
- Classification
- Constraints and SAT
- Constraints and Data Mining
- Constraints and Machine Learning
- Multidisciplinary Topics and Applications
- Validation and Verification