Answer-Set Programs for Repair Updates and Counterfactual Interventions
Abstract
We briefly describe -- mainly through very simple examples -- different kinds of answer-set programs with annotations that have been proposed for specifying: database repairs and consistent query answering; secrecy view and query evaluation with them; counterfactual interventions for causality in databases; and counterfactual-based explanations in machine learning.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2022
- DOI:
- 10.48550/arXiv.2209.12110
- arXiv:
- arXiv:2209.12110
- Bibcode:
- 2022arXiv220912110B
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Computer Science - Artificial Intelligence;
- Computer Science - Databases
- E-Print:
- Submitted to Festschrift volume