CSC 4444 Artificial Intelligence (3)

Prereq.: CSC 3102 . Theorem proving and inferencing techniques, production systems, knowledge representation, approximate reasoning, nonmonotonic reasoning, natural language understanding, scene analysis, planning, game playing and learning.