Knowledge Representation and Problem Solving

Propositional Logic, First-order Logic, Horn Clauses, Description Logic, Reasoning using Description Logic, Forward and Backward Chaining in Inference Engines, Semantic Networks, Ontologies, and Ontology Languages, Logical Agents, Planning, Rule-based Knowledge Representation, Reasoning Under Uncertainty, Bayesian Networks Representation, Inference in Bayesian Networks, Fuzzy Logic, Inference using Fuzzy Rules, Markov Models, Commonsense Reasoning, Explainable AI.

Hours: XYZ where X = Lecture, Y = Lab, Z = Credit
All hours are per week.
3 Lab hours constitute 1 credit hour
1 credit hour implies 1 lecture of 50mins per academic week. 16 weeks in total.
Pre-Requisite courses are courses required to be completed before this course may be taken
Co-Requisite courses are courses required to be taken along with this course