DESCRIPTION
State-space and problem-induction representations of problems. Heuristic methods. Mechanical theorem proving. Application of these techniques to artificial intelligence problems.
Prereq.: CSc 30400. 3 hr./wk.; 3 cr.
Last Updated: 07/30/2015 08:43