Reasoning about Counterfactuals and Explanations: Problems, Results and Directions
Artificial Intelligence
2021-08-26 v1 Logic in Computer Science
Abstract
There are some recent approaches and results about the use of answer-set programming for specifying counterfactual interventions on entities under classification, and reasoning about them. These approaches are flexible and modular in that they allow the seamless addition of domain knowledge. Reasoning is enabled by query answering from the answer-set program. The programs can be used to specify and compute responsibility-based numerical scores as attributive explanations for classification results.
Keywords
Cite
@article{arxiv.2108.11004,
title = {Reasoning about Counterfactuals and Explanations: Problems, Results and Directions},
author = {Leopoldo Bertossi},
journal= {arXiv preprint arXiv:2108.11004},
year = {2021}
}
Comments
To appear in informal proceedings of 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2021), co-located with KR 2021. arXiv admin note: substantial text overlap with arXiv:2107.10159