CS323: AI
MID SEM#1 Exam Syllabus
Knowledge and Reasoning: Propositional Logic, Reasoning Patterns in propositional logic; First order logic: syntax, semantics, Inference in First order logic, unification and lifting, backward chaining, resolution