ARTIFICIAL INTELLIGENCE AND AUTOMATED REASONING

Undergraduate

This course introduces general problem-solving methods associated with automated reasoning and simulated intelligence. Topics include problem abstraction, state space heuristic search theory, pathfinding, flocking behaviour, knowledge representation, propositional logic, reasoning with uncertainty, machine learning and connectionism. PREREQUISITE: CS 2910 and CS 2920 Three lecture hours per week