Three Modern Roles for Logic in AI

04/18/2020

∙

by   Adnan Darwiche, et al.

∙

24

∙

share

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.