Three Modern Roles for Logic in AI

04/18/2020
by   Adnan Darwiche, et al.
24

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset