关于反事实与解释的推理：问题、结果与方向
人工智能
2021-08-26 v1 计算机科学中的逻辑
摘要
近期出现了一些关于使用回答集编程来指定对分类下的实体进行反事实干预并对其进行推理的方法和结果。这些方法灵活且模块化，允许无缝添加领域知识。推理通过回答集程序的查询应答来实现。这些程序可用于指定和计算基于责任的数值分数，作为分类结果的归因解释。
引用
@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}
}
备注
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