Three Modern Roles for Logic in AI
Adnan Darwiche
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.
Topics & Concepts
Artificial intelligenceComputer sciencePhilosophy of logicAutomated reasoningProbabilistic logic networkDescription logicMultimodal logicDefault logicDynamic logic (digital electronics)Mathematical logicNon-monotonic logicComputational logicCognitive scienceAutoepistemic logicNon-classical logicMany-valued logicBasis (linear algebra)Truth tableHigher-order logicCircumscriptionTheoretical computer sciencePredicate logicBayesian Modeling and Causal InferenceMachine Learning and AlgorithmsLogic, Reasoning, and Knowledge