Knowledge - Lecture 1 - CS50’s Introduction to Artificial Intelligence with Python

00:00:00 - Introduction 00:00:15 - Knowledge 00:04:52 - Propositional Logic 00:21:47 - Inference 00:40:06 - Knowledge Engineering 01:04:33 - Inference Rules 01:30:31 - Resolution 01:38:25 - First-Order Logic