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