Three Modern Roles for Logic in AI
Adnan Darwiche
DOI: https://doi.org/10.1145/3375395.3389131
2020-04-18
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.
Artificial Intelligence,Machine Learning,Logic in Computer Science
What problem does this paper attempt to address?