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

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

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) General topics in artificial intelligence (68T01) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

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

Related Items (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)