Certified logic-based explainable AI -- the case of monotonic classifiers

DOI10.1007/978-3-031-38828-6_4zbMATH Open1541.68219MaRDI QIDQ6535329FDOQ6535329

Joao Marques-Silva, Aurélie Hurault

Publication date: 12 December 2023

zbMATH Keywords

certificationformal explainability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Formalization of mathematics in connection with theorem provers (68V20) General topics in artificial intelligence (68T01)

Cites Work

• Title not available (Why is that?)
• Minimal sets on propositional formulae. Problems and reductions
• A theory of diagnosis from first principles
• Formally verifying the solution to the Boolean Pythagorean triples problem
• Explanation in artificial intelligence: insights from the social sciences

Cited In (1)

• On the failings of Shapley values for explainability

This page was built for publication: Certified logic-based explainable AI -- the case of monotonic classifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535329)