CS470

Introduction to Artificial Intelligence (3 credits)

An introduction to the main techniques of artificial intelligence: state-space search methods, semantic networks, theorem-proving and production rule systems. Important applications of these techniques will be presented. Students will be expected to write programs exemplifying some of these techniques using the LISP language.

Note:
This course is co-taught with CS670.