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
759
217
3 weeks ago 00:20:46 1
YAWEH and the Three-Dimensional Prison - The DARK Gnostic Connection
4 weeks ago 00:32:39 3
The Wales Family – A Royal Family Channel Documentary: Part Two
4 weeks ago 00:29:08 1
Survival Expert Builds 3 Amazing Shelters in the Forest | Start to Finish by @vangquangytb
4 weeks ago 00:14:19 1
Our Spring 2024 House Tour
4 weeks ago 00:02:03 1
Blur - Song 2 (Official Music Video)
4 weeks ago 00:02:07 1
Castlevania Advance Collection Trailer
4 weeks ago 01:36:29 1
Crazy On The Outside | Hilarious Comedy with Tim Allen, Sigourney Weaver, Ray Liotta, JK Simmons
1 month ago 00:09:23 1
Living in a ₹ 5,50,00,000 DLF Phase 1 Gurgaon Builder Floor on Millionaires’ Row
1 month ago 03:10:27 1
“Voyage“ Music for Resilience 5 - Meditative Music on Baroque Lute - Naochika Sogabe
1 month ago 00:43:59 1
Inside a $55,000,000 OCEANFRONT California Mega Mansion
1 month ago 00:03:36 1
The Castellows - “No. 7 Road” LIVE | Red Bull Jukebox
1 month ago 00:11:09 1
New Audi Q7 S-Line (2025) - Wonderful Black Beast!
1 month ago 00:03:36 1
Paul van Dyk - For An Angel (LOUT Remix)
1 month ago 00:04:27 1
Paul van Dyk - For An Angel (Kolonie Remix)
1 month ago 00:07:42 1
Paul van Dyk - For An Angel (E-Werk Remix)
1 month ago 00:05:17 1
Paul van Dyk - For An Angel (Julian Jeweil Remix)
1 month ago 00:03:39 1
Led Zeppelin - Whole Lotta Love (cover by Sershen & Zaritskaya)
1 month ago 00:57:42 1
💀 WHITECHAPEL - Live Set Performance | Bloodstock 2024 | Ronnie James Dio Stage 🤘
1 month ago 00:09:36 1
Road to Akarmara. Ghost town in Abkhazia.
1 month ago 01:27:24 1
Top Psychologist: “This Happens JUST Before Heartbreak!” What MRI Scans REVEAL About Breaking Up!
1 month ago 01:29:34 1
Top Food Hacks To Regenerate Stem Cells, Boost Brain Health & Improve Circulation | Dr. William Li
1 month ago 00:01:00 1
Tomb Raider IV-VI Remastered - Official Announcement Trailer
1 month ago 00:25:43 1
Walking Tour Belgrano, BUENOS AIRES, Argentina【4K】🇦🇷
1 month ago 00:34:07 2
The Wales Family – A Royal Family Channel Documentary: Part One