CSC 44800 Artificial Intelligence

State-space and problem-induction representations of problems. Heuristic methods. Mechanical theorem proving. Application of these techniques to artificial intelligence problems.

Credits

3

Prerequisite

CSC 30400.

Contact Hours

3 hr./wk.