Three Modern Roles for Logic in AI
Artificial Intelligence
2020-04-21 v1 Machine Learning
Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.2004.08599,
title = {Three Modern Roles for Logic in AI},
author = {Adnan Darwiche},
journal= {arXiv preprint arXiv:2004.08599},
year = {2020}
}
Comments
To be published in PODS 2020