CS 463G Introduction to Artificial Intelligence

University of Kentucky
Department of Computer Science
CS 463G Introduction to Artificial Intelligence
1.  Course Number/Name:  CS 463G, Introduction to Artificial Intelligence
2.  Credits and Contact Hours:  3 credits, 3 contact hours
3.   Instructor:  assigned by the department
4.   Textbook:  Artificial Intelligence: A Modern Approach, 3rd Edition by Stuart Russell and Peter Norvig. Prentice Hall, 2009
5.    a.  Catalog Description:  The course covers basic techniques of artificial intelligence. The topics in this course are: search
            and game-playing, logic systems and automated reasoning, knowledge representation, intelligent agents, planning,
            reasoning under uncertainty, and declarative programming languages. The course covers both theory and practice,
            including programming assignments that utilize concepts covered in lectures.
b.  Prerequisites:  CS 315, CS 375, and engineering standing.
c.  Required course:  Elective 
6.  a.   Outcomes of InstructionAt the conclusion of CS 463, the student should be able to:

1.   use current techniques, skills, and tools necessary for computing practices;
         2.   apply mathematical foundations, algorithmic principles, and computer science theory in the modeling and design
       of computer-based systems in a way that demonstrates comprehension of the tradeoffs involved in design choices;
3.    understand search algorithms;
4.    analyze games;
5.    use logic to represent and reason about domain knowledge;
6.    use Bayesian networks to represent and reason about domain knowledge; 
7.    model and solve planning problems;
8.    understand the relevance of Artificial Intelligence to the real world;
9.    program in a declarative programming language;
10.  improve her/his ability to analyze a problem, and identify and define the computing requirements appropriate to
        its solution;
11.  improve her/his ability to design, implement and evaluate a computer-based system, process, component, or
        program to meet desired needs.
b.   Contributions to Student Outcomes from Criterion 3













CS 463G












3- Strongly supported   2 – Supported   1 – Minimally supported
 7.   List of Topics Covered:
            1.   Search algorithms and heuristics
            2.   Satisfiability and constraint solvers
            3.   Games, winning strategies, and heuristics
            4.   Logic:  propositional and first order; situational calculus inference
            5.   Inference and resolution
            6.   Declarative programming
            7.   Planning
            8.   Probabilistic inference
            9.   Probabilistic planning
            10.  Additional topics as interests dictate and time allows