Home About Forms Registration Graduation Course Descriptions Student Resources Faculty Resources

Information Technology 480

ITEC 480: Artificial Intelligence

Prerequisites: ITEC 122 and ITEC 324

Credit Hours: (3)

An introduction to the study of intelligence as computation



Detailed Description of Content of Course
Topics include:
1. Artificial Intelligence (AI): its roots and scope
2. The predicate calculus
3. Structures and strategies for state space search
4. Heuristic search
5. Architectures for AI problem solving
6. PROLOG in AI
7. Introduction to AI representational schemes
8. Rule-based, case-based, and model-based systems
9. Building an expert system in PROLOG
10. Reasoning in situations of uncertainty
11. Advanced AI applications and review


Detailed Description of Conduct of Course
Course material is primarily covered in lecture and in the student's reading of both the course text and additional material. Students also implement several projects to deepen their understanding of the problems associated with AI and their solutions. The projects normally are implemented in a language that the instructor deems appropriate. This language is typically studied in a section of ITEC 398 that is taught concurrently with ITEC 480. Currently this language is Prolog.


Goals and Objectives of the Course
Students who complete the course will be able to:
1. Demonstrate an ability to understand and apply AI technology along with its deep roots in the philosophical, mathematical, and computational traditions.
2. Effectively use selected AI applications and design and implement PROLOG programs.
3. Explain and apply AI algorithms and techniques in their rightful place within modern computer science.
4. Describe modern AI practices.


Assessment Measures
Graded assignments include at least one in-class exam, a final exam, and several projects.


Other Course Information
None.


Review and Approval

May 12, 1994        Reviewed for 1994-95    Edward G. Okie,Chair
                                                                 
Oct. 30, 1996        Prerequisite change        Edward G. Okie,Chair
                                                         
Sept. 25, 2001       Updated                        John P. Helm, Chair

Revised: June 1, 2012