Share This
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.