Artificial Intelligence and Knowledge-based Systems

This course offers advanced discussions about Artificial Intelligence (AI) with consideration to problem-solving techniques and knowledge-based systems. The course covers the following topics: problem formulation and state-space search, knowledge representation, knowledge acquisition techniques, deduction with formal logic, rule-based systems, inexact reasoning