2000 character limit reached
Three Modern Roles for Logic in AI (2004.08599v1)
Published 18 Apr 2020 in cs.AI, cs.LG, and cs.LO
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.