Colorado Community College System – Artificial Intelligence Spring.
Prerequisites: CS 253 or (for graduates) CS 501. ~ Presentation of artificial intelligence as a coherent body of ideas and methods to acquaint the student with the classic programs in the field and their underlying theory. Students will explore this through problem-solving paradigms, logic and theorem proving, language and image understanding, search and control methods, and learning.
AI Text books
Stuart Russell, Peter Norvig. Artificial Intelligence: A Modern Approach, Second Edition, Prentice Hall. 2003, ISBN: 0-13-790395-2. (hereafter referred to as AIMA)
Ivan Bratko, Prolog Programming for Artificial Intelligence, 3/E, Addison-Wesley, 2001, ISBN: 0201403757.
AI learning software : SWI-Prolog compatible with Windows 95/98/ME/NT/2000/XP.
AI Course contents
1. Introduction to Intelligent Agents
2. Problem Solving by Search
3. Introduction to Prolog
4. Lab – Search in Prolog: use path.pl, kinship.pl, farmer.pl, search.pl, graph.pl
5. Heuristic (Informed) Search
6. Constraint Satisfaction – AIMA
7. Games – tic tac toe,
8. Knowledge-Based Agents
9. Inference in First-Order Logic, Logic Programming and Prolog
10. Knowledge Representation
12. Uncertainty and Probabilistic Reasoning
13. Machine Learning – Basic Concepts, Version Space, Decision Trees
14. Machine Learning – Numeric Approaches, Clustering, Evaluation
15. Learning with Background Knowledge – Explanation-Based Learning, Inductive Logic Programming
Final grading is based on:
Semester project (30%).
Midterm and final exam (20%).
Programming assignments (40%)