Module
Logical Agents and Knowledge Representation
Sign in to add this module to your path and practice.
About
Propositional logic review and inference (resolution, forward/backward chaining, DPLL/SAT basics); first-order logic syntax/semantics, unification, resolution; knowledge bases, ontology basics, situation calculus light.
Goal
Build a simple KB; perform resolution theorem proving; represent domain knowledge in FOL and answer queries via inference.
Prerequisites
Unlocks
Tutor
Ask questions about this module.
Hi — I'm your tutor for Logical Agents and Knowledge Representation. Ask about the concepts, goal, or where you're stuck.