Three Modern Roles for Logic in AI

By Adnan Darwiche. 2020

59 citations recorded by the source corpus.

We consider three modern roles for logic in artificial intelligence, which are based on the theory of tractable Boolean circuits: (1) logic as a basis for computation, (2) logic for learning from a combination of data and knowledge, and (3) logic for reasoning about the behavior of machine learning systems.

Subfields: Artificial Intelligence

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Peter James Stuckey
2. Jinqiang Yu
3. Pierre Le Bodic
4. Alexey Ignatiev
5. Joao Marques-Silva
6. Nina Narodytska
7. Emmanuel Hebrard
8. Marie-José Huguet

Citations in the corpus

• Computing Optimal Decision Sets with SAT (2020, background): “Hence the rising interest in explainable artificial intelligence (XAI) [4, 14, 16, 18, 22, 23, 26, 29, 30, 36–38, 42, 43, 48, 49, 52], including research programs [3, 24] and legislation [17, 21].”