Logic and Knowledge Representation
The other tradition in artificial intelligence: representing what a system knows as sentences that are true or false, and deriving what must follow - with guarantees a learned model cannot offer.
Sign in to take quizzes, earn XP, and unlock stages as you reach 90% mastery.
Models and Entailment
25 min · 100 XPKnowledge bases, models, and the entailment relation; model checking as a direct transcription of the definition, and what soundness and completeness each promise.
Open lesson →Sign in to take the 4-question quiz.
CNF and Resolution
30 min · 120 XPConverting sentences to clauses, the single resolution rule, proof by refutation, and the restricted clause forms that make inference cheap.
Open lesson →Sign in to take the 4-question quiz.
First-Order Logic and Unification
30 min · 120 XPWhat quantifiers buy over propositions, and how substitution, unification, and Generalized Modus Ponens lift inference from ground facts to general rules.
Open lesson →Sign in to take the 3-question quiz.