Share This

CSc 44800 - Artificial Intelligence

Computer Science

CSc 44800 - Artificial Intelligence

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.