Faculty Recruiting Support CICS

DLS: Three Modern Roles for Logic in AI

28 Oct
Wednesday, 10/28/2020 4:00pm to 5:15pm
Virtual via Zoom
Distinguished Lecturer Series
Speaker: Adnan Darwiche
Abstract: I will discuss 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.  


Bio: Adnan Darwiche is a professor and former chairman of the computer science department at UCLA. He directs the Automated Reasoning Group, which focuses symbolic reasoning, probabilistic reasoning and machine learning. Professor Darwiche is Fellow of AAAI and ACM. He is a former editor-in-chief of the Journal of Artificial Intelligence Research (JAIR) and author of "Modeling and Reasoning with Bayesian Networks," by Cambridge University Press.