Learning Path

Propositional Logic Basics → Resolution in First-Order Logic

This learning path introduces the fundamentals of logic-based knowledge representation and inference in artificial intelligence. Starting with propositional logic, it progresses through inference rules, forward and backward chaining, and resolution, and culminates in first-order logic inference. Designed for high school students with no prior logic background.