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