Introduction to intelligent agent design, problem solving using search techniques, the use of mathematical logic for knowledge representation and reasoning, decision making under uncertainty, machine learning techniques. Applications of AI to health care will be discussed.

Note: credit will not be granted for both CS 4795 and CS 4725.