CSCI 6511. Artificial Intelligence. 3 Credits.
Representation and space search; heuristic search; predicate calculus; knowledge representation and knowledge engineering for expert systems; rule-based, hybrid, and O-O systems; semantic nets, frames, and natural language; theorem provers; planning, learning, neural nets; use of AI languages. Prerequisite: CSCI 6212. (Spring, Every Year).