A logic for binary classifiers and their explanation

DOI10.1007/978-3-030-89391-0_17MaRDI QIDQ2695522zbMATH OpenOpenAlexFDO

Authors Xinghan Liu, Emiliano Lorini

Publication date 31 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-89391-0_17

zbMATH Keywords

Boolean classifierceteris paribus logicepistemic logicexplainable AImodal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• A unified logical framework for explanations in classifier systems
• On the reasons behind decisions
• A logic of ``black box classifier systems
• A new class of explanations for classifiers with non-binary features
• On quantifying literals in Boolean logic and its applications to explainable AI

Cites work

• A poor man's epistemic logic based on propositional assignment and higher-order observation
• A Way to Simplify Truth Functions
• Counterfactuals.
• Dynamic epistemic logic
• scientific article; zbMATH DE number 5852793 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Logics of communication and change
• On the reasons behind decisions
• Playing cards with Hintikka: an introduction to dynamic epistemic logic
• Prioritised ceteris paribus logic for counterfactual reasoning
• The Ceteris Paribus Structure of Logics of Game Forms

Cited in

(10)

• Reducing one class of machine learning algorithms to logical operations of plausible reasoning
• On Tackling Explanation Redundancy in Decision Trees
• A unified logical framework for explanations in classifier systems
• A logic of ``black box classifier systems
• On computing probabilistic abductive explanations
• Descriptive accuracy in explanations: the case of probabilistic classifiers
• Certified logic-based explainable AI -- the case of monotonic classifiers
• Short Boolean formulas as explanations in practice
• On the failings of Shapley values for explainability
• Feature necessity and relevancy in machine learning explanations

Describes a project that uses

Uses Software

• JBool

This page was built for publication: A logic for binary classifiers and their explanation

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