A central quest in explainable AI relates to understanding the decisions made by learned classifiers. There are three dimensions of this understanding that have been receiving significant attention in recent years. The first dimension relates to characterizing conditions on instances that are necessary and sufficient for decisions, therefore providing abstractions of instances that can be viewed as the “reasons behind decisions.“ The next dimension relates to characterizing minimal conditions that are sufficient for a decision, therefore identifying maximal aspects of the instance that are irrelevant to the decision. The last dimension relates to characterizing minimal conditions that are necessary for a decision, therefore identifying minimal perturbations to the instance that yield alternate decisions. We discuss in this tutorial a comprehensive, semantical and computational theory of explainability along these dimensions which is based on some recent developments in symbolic logic. The tutorial will also discuss how this theory is particularly applicable to non-symbolic classifiers such as those based on Bayesian networks, decision trees, random forests and some types of neural networks.
-- Tutorial paper, “Logic for Explainable AI“:
-- Tutorial slides: ~darwiche/XAI/
-- This recording is a slightly expanded version of the live tutorial Adnan Darwiche of UCLA gave at the 2023 ACM/IEEE Symposium on Logic in Computer Science (LICS)
00:00 Introduction
02:39 From numeric to symbolic classifiers
10:33 Representing classifiers using tractable circuits
14:28 Representing classifiers using class formulas
18:52 Discrete logic (vs Boolean logic)
25:11 The sufficient reasons for decisions: why a decision was made? (aka abductive explanations, PI-explanations)
34:50 The complete reasons for decisions: instance abstraction
45:26 The necessary reasons for decisions: how to change a decision? (aka contrastive explanations, counterfactual explanations)
51:04 Terminology: PI-explanations, abductive explanations, contrastive explanations, counterfactual explanations
52:38 A logical operator for computing instance abstractions (complete reasons)
1:00:54 The first theory of explanation: A summary
1:05:23 Beyond simple explanations: A key insight
1:10:33 The general reasons for decisions: instance abstraction
1:15:14 Complete vs general reasons (two notions of instance abstraction)
1:19:05 The general sufficient and general necessary reasons for decisions
1:26:22 The second theory of explanation: A summary
1:32:21 Targeting a new decision
1:35:39 Selection semantics of complete and general reasons (instance abstractions)
1:40:43 Compiling classifiers into class formulas from decision trees, random forests, Bayesian networks, and (Binary) neural networks
1:53:54 Conclusion
3 views
347
113
1 week ago 00:04:49 1
Play To Earn🔥This New Play to Earn Game is About to Make a Lot of People RICH
1 month ago 00:10:13 1
10 types of melodies you should know about - (FL Studio/Ableton Live/Studio One/Logic Pro)
1 month ago 00:05:26 1
’True’ by Sing It Live | The Most Beautiful Live Performance
1 month ago 00:10:49 1
ISRAEL’S SHOCKING New Apartheid Plans For Gaza!
1 month ago 00:05:50 26
How To Use Nicky Romero Kickstart 2 in 5 Minutes
1 month ago 00:04:09 1
Dream On - Aerosmith (Alyona cover)
1 month ago 00:08:00 1
Kamala: accept genocide, get affordable groceries
1 month ago 00:03:12 1
Вычисление объема по уровню. ОВЕН ЛОГИК , Прибор ПР200(Часть 2)
1 month ago 01:03:09 1
Improve English | Learn English through story level 3 Love And Logic | EnOn - Learn English Online
1 month ago 00:05:52 1
iPad Mini 2024 Teardown - Did Apple Fix Jelly Scrolling?
1 month ago 00:05:13 1
André De Shields on his role as Hermes in Greek mythology podcast
1 month ago 00:06:17 1
HALF L1FE - ALL HAIL THE ATOM
1 month ago 00:03:20 1
Paramore: Playing God [OFFICIAL VIDEO]
1 month ago 04:16:39 1
Exiled Brain Surgeon: DARPA Mind Control, Quantum Biology & Sunlight Medicine | Dr. Jack Kruse
1 month ago 00:39:19 17
Vivid Strings by Pulse Audio: first reaction. Logic Pro review
1 month ago 00:01:49 1
Зеленский - человек года! Видимо, Нобелевская премия мира на подходе! Читает автор, Михаил Калинин
1 month ago 00:13:40 1
THE GOD MACHINE
1 month ago 00:02:45 1
David Guetta & Kim Petras - When We Were Young (The Logical Song) [Official Video]
1 month ago 00:01:30 1
Solid State Logic | X-Orcism II - Voices From The Crypt with Benni Doomville | Free Plug-in Download
1 month ago 00:04:31 1
“Stumblin’ In“ Sing It Live: A Heartfelt Reunion Performance
1 month ago 00:35:18 3
Funny songs for kids Nursery Rhymes Collection | Meow-meow Kitty fun games for kids
1 month ago 00:15:14 1
Bienfaits, Effets et Rôles du Glutathion (foie, immunité, peau, paracétamol…)