Theories and methods for automating the solution of problems with inexact specifications, input, models, or output (e.g., text checkers, help desks). Expert systems, fuzzy methods, neural net architectures, and genetic algorithms are examined and compared. Algorithms and a term project are implemented using shells and C++ or Java. Laboratory course.