|   | 
Details
   web
Records
Author Bertossi, L.
Title Specifying and computing causes for query answers in databases via database repairs and repair-programs Type
Year 2021 Publication Knowledge And Information Systems Abbreviated Journal Knowl. Inf. Syst.
Volume 63 Issue Pages 199231
Keywords Causality; Databases; Repairs; Constraints; Answer-set programming
Abstract There is a recently established correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints. In this work, answer-set programs that specify database repairs are used as a basis for solving computational and reasoning problems around causality in databases, including causal responsibility. Furthermore, causes are introduced also at the attribute level by appealing to an attribute-based repair semantics that uses null values. Corresponding repair-programs are introduced, and used as a basis for computation and reasoning about attribute-level causes. The answer-set programs are extended in order to capture causality under integrity constraints.
Address [Bertossi, Leopoldo] Adolfo Ibanez Univ, Fac Engn & Sci, Santiago, Chile, Email: leopoldo.bertossi@uai.cl
Corporate Author Thesis
Publisher Springer London Ltd Place of Publication Editor
Language English Summary Language Original Title
Series Editor Series Title Abbreviated Series Title
Series Volume Series Issue Edition
ISSN 0219-1377 ISBN Medium
Area Expedition Conference
Notes WOS:000584967200001 Approved
Call Number UAI @ alexi.delcanto @ Serial 1258
Permanent link to this record
 

 
Author Bertossi, L.
Title Declarative Approaches to Counterfactual Explanations for Classification Type
Year 2022 Publication Theory and Practice of Logic Programming Abbreviated Journal Theory Pract. Log. Program.
Volume Early Access Issue Pages
Keywords classification; explanations; counterfactuals; causality; answer-set programming; constraints
Abstract We propose answer-set programs that specify and compute counterfactual interventions on entities that are input on a classification model. In relation to the outcome of the model, the resulting counterfactual entities serve as a basis for the definition and computation of causality-based explanation scores for the feature values in the entity under classification, namely responsibility scores. The approach and the programs can be applied with black-box models, and also with models that can be specified as logic programs, such as rule-based classifiers. The main focus of this study is on the specification and computation of best counterfactual entities, that is, those that lead to maximum responsibility scores. From them one can read off the explanations as maximum responsibility feature values in the original entity. We also extend the programs to bring into the picture semantic or domain knowledge. We show how the approach could be extended by means of probabilistic methods, and how the underlying probability distributions could be modified through the use of constraints. Several examples of programs written in the syntax of the DLV ASP-solver, and run with it, are shown.
Address
Corporate Author Thesis
Publisher Place of Publication Editor
Language Summary Language Original Title
Series Editor Series Title Abbreviated Series Title
Series Volume Series Issue Edition
ISSN 1471-0684 ISBN Medium
Area Expedition Conference
Notes WOS:000734688600001 Approved
Call Number UAI @ alexi.delcanto @ Serial 1515
Permanent link to this record