Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913281316225024 |
|---|---|
| author | Filho, Francisco Mateus Rocha Rocha, Thiago Alves Ribeiro, Reginaldo Pereira Fernandes Neto, Ajalmar Rêgo da Rocha |
| author_facet | Filho, Francisco Mateus Rocha Rocha, Thiago Alves Ribeiro, Reginaldo Pereira Fernandes Neto, Ajalmar Rêgo da Rocha |
| contents | Support Vector Classifier (SVC) is a well-known Machine Learning (ML) model for linear classification problems. It can be used in conjunction with a reject option strategy to reject instances that are hard to correctly classify and delegate them to a specialist. This further increases the confidence of the model. Given this, obtaining an explanation of the cause of rejection is important to not blindly trust the obtained results. While most of the related work has developed means to give such explanations for machine learning models, to the best of our knowledge none have done so for when reject option is present. We propose a logic-based approach with formal guarantees on the correctness and minimality of explanations for linear SVCs with reject option. We evaluate our approach by comparing it to Anchors, which is a heuristic algorithm for generating explanations. Obtained results show that our proposed method gives shorter explanations with reduced time cost. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_16190 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Logic-based Explanations for Linear Support Vector Classifiers with Reject Option Filho, Francisco Mateus Rocha Rocha, Thiago Alves Ribeiro, Reginaldo Pereira Fernandes Neto, Ajalmar Rêgo da Rocha Artificial Intelligence Machine Learning Logic in Computer Science I.2.4; I.2.6 Support Vector Classifier (SVC) is a well-known Machine Learning (ML) model for linear classification problems. It can be used in conjunction with a reject option strategy to reject instances that are hard to correctly classify and delegate them to a specialist. This further increases the confidence of the model. Given this, obtaining an explanation of the cause of rejection is important to not blindly trust the obtained results. While most of the related work has developed means to give such explanations for machine learning models, to the best of our knowledge none have done so for when reject option is present. We propose a logic-based approach with formal guarantees on the correctness and minimality of explanations for linear SVCs with reject option. We evaluate our approach by comparing it to Anchors, which is a heuristic algorithm for generating explanations. Obtained results show that our proposed method gives shorter explanations with reduced time cost. |
| title | Logic-based Explanations for Linear Support Vector Classifiers with Reject Option |
| topic | Artificial Intelligence Machine Learning Logic in Computer Science I.2.4; I.2.6 |
| url | https://arxiv.org/abs/2403.16190 |