|
|
CSC 271 - Artificial Intelligence II
Once a year
Rigorous study of optimal search methods, decomposable and commutative production
systems, mechanical theorem proving for the predicate logic, skolem functions,
more on computer learning, introduction to LISP, pattern matching, introduction
to natural language processing, use of logic in problem-solving and problem representation,
readings from the literature.
Prerequisites & Notes
CSC 270.
Credits: 3 s.h.
Add to Personal Catalog (opens a new window)
|
|