Introduction to Artificial Intelligence and Logic Programming

Artificial Intelligence (AI) deals with how to build intelligent systems. In this course, we examine some of the fundamental concepts in AI:

• Introduction to AI - (R&N) Chapter 1
• Intelligent Agents - (R&N) Chapter 2
• Logical Representations, First-Order Logic Syntax and Semantics - (R&N) Chapter 8
• Reasoning, Inference in First-Order Logic - (R&N) Chapter 9
• Uninformed and Heuristic (Informed) Search - (R&N) Chapter 3
• Game/Adversarial Search - (R&N) Chapter 5
• Constraint Satisfaction and Backtracking Search - (R&N) Chapter 6
• Uncertain Reasoning - (R&N) Chapter 13 & 14
• Logic Programming in Prolog - (C&M) Chapter 1, 2, 3, 4, 5, 6, 7, 9, 10
• Functional Programming and Lisp (Briefly)

• Mondays and Wednesdays, 4:00pm - 5:30pm, HNE B15

You will require the following textbooks for this course:

• (R&N): Russell, S.J. and Norvig, P., Artificial Intelligence: A Modern Approach, 3rd edition Prentice Hall, 2010.
• (C&M): Clocksin, W.F. and Mellish, C.S., Programming in Prolog, (5th edition), Springer Verlag, New York, 2004.

SWI-Prolog, a free software licensed under the Lesser GNU Public License.