Stanford CS221 | Autumn 2025 | Lecture 15: Logic I
Stanford Online · 73:25
This lecture introduces propositional logic as the last technical topic of an AI course: a formal language for compact, exact knowledge representation and reasoning, defined by syntax, semantics, and inference rules,...