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 year ago 00:13:25 1
This 2b2t Highway Report Will SAVE Your Base
1 year ago 00:06:14 1
Introduction to ReverbShaper for ShaperBox
1 year ago 00:03:05 1
*UPDATED* Calamity Summoner Class Loadout Guide (Hellish Harbour +)
1 year ago 00:02:40 1
KRBK - Сам (prod. Miven)
1 year ago 02:17:55 1
Dreaming of Goa | Tribute to Goa Mix
1 year ago 00:01:26 1
When CLARINET meets KLEZMER BRASSHOUSE
1 year ago 00:00:43 1
Ghostbusters but theres 5 guitar parts #guitar #guitarist
1 year ago 12:00:00 1
Python Full Course for free 🐍
1 year ago 00:18:10 1
UADA & MGLA - Black Metal Medley
1 year ago 00:11:22 1
Is time incompatible with physics? | Avshalom Elitzur and Tim Maudlin take on Michio Kaku
1 year ago 00:02:13 1
Linkin Park - In the end (Kazoo cover)
1 year ago 00:03:29 1
𝐃𝐉 𝐓𝐞𝐦𝐩𝐞𝐫𝐚𝐓𝐮𝐫𝐚 - 𝐃𝐚𝐧𝐜𝐞 𝐋𝐨𝐠𝐢𝐜 (𝐕𝐉 𝐀𝐮
1 year ago 00:14:29 1
Intro to Logisim Evolution, the free and oh-so-good logic simulation software
1 year ago 00:03:11 1
Ace of Base - Living in Danger (Official Music Video)
1 year ago 00:01:02 1
Seaboard Block: Super Powered Keyboard
1 year ago 00:15:48 1
Биорезонансные частоты ДНК нацелены на людей - так матрица квантового компьютера контролирует разум
1 year ago 00:00:16 1
Funny Cute Pet
1 year ago 10:00:00 1
Biology and Medical Laboratory Sci-Fi Ambiance for Sleep, Study, Relaxation
1 year ago 00:05:16 1
ফুলকপি আলু দিয়ে মাছের ঝোল রান্না | Fulkopi Diye Macher Jhol -Alu Fulkopi diye Rui Macher Jhol
1 year ago 00:06:41 1
Tropic Vibration -Light It Up (Official Music Video)
1 year ago 00:00:51 1
Black Swan - Prolog
1 year ago 00:00:20 1
Sure enough, the treatment is different for biological children. Dads really have a way of raising