Three Modern Roles for Logic in AI
arXiv:2004.08599 · doi:10.1145/3375395.3389131
Abstract
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.
To be published in PODS 2020