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.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
