A logic for binary classifiers and their explanation

DOI10.1007/978-3-030-89391-0_17OpenAlexW3208614023MaRDI QIDQ2695522

Emiliano Lorini, Xinghan Liu

Publication date: 31 March 2023

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

zbMATH Keywords

modal logicepistemic logicexplainable AIBoolean classifierceteris paribus logic

Mathematics Subject Classification ID

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

Related Items (3)

On Tackling Explanation Redundancy in Decision Trees ⋮ A logic of ``black box classifier systems ⋮ On computing probabilistic abductive explanations

Uses Software

• JBool

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Dynamic epistemic logic
• Prioritised ceteris paribus logic for counterfactual reasoning
• A Way to Simplify Truth Functions
• A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
• The Ceteris Paribus Structure of Logics of Game Forms

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