CSCI 355 - Artificial Intelligence I

3 Credit(s)

Basic concepts of tree searching, heuristic search, game playing, first order logic knowledge representation, and automated reasoning are introduced in conjunction with a thorough study of programming in LISP. Recursion is emphasized. Logic programming is also discussed.
Prerequisite(s): PHIL 120 and CSCI 257 and CSCI 258 or CSCI 247 and 248.