Three Modern Roles for Logic in AI | Adnan Darwiche | PODS 2020
Invited tutorial given at the database theory conference (PODS) on June 16, 2020. The associated PODS paper can be found at:
The tutorial considers three modern roles for logic in artificial intelligence, which are based on the theory of tractable Boolean (and Arithmetic) circuits:
(1) logic as a basis for computation, where compiling Boolean formulas into tractable circuits provides a systematic framework for solving NP and beyond NP problems (e.g., answering probabilistic queries on Bayesian networks);
(2) logic for learning from a combination of data and knowledge in both supervised and unsupervised modes; and
(3) logic for reasoning about the behavior of machine learning systems (e.g., explaining decisions, measuring their robustness and proving properties of machine learning classifiers).
Among the tractable circuits considered in this tutorial are DNNF, d-DNNF, SDD and OBDD and PSDD circuits.
A full course on the subjects discussed in this tuto
2 views
642
180
46 minutes ago 10:13:11 1
TooManyGames 2024 - DAY 2 - Full Convention Live Stream
3 hours ago 00:04:38 1
Category 7 - Mousetrap (Official Video)
6 hours ago 02:01:30 1
The war in Ukraine and the decline of the West | #1623 with Douglas Macgregor
6 hours ago 00:04:42 1
CAVALERA - Escape To The Void (OFFICIAL MUSIC VIDEO)
7 hours ago 00:07:33 1
Monet’s Water-Lily Pond: A Mindful Impression of Peace | National Gallery
9 hours ago 00:25:44 1
Fake Love Web Series | Hindi Web Series Episode 01 | Hot News Web Series Part 01