~~NOTOC~~
====== Introduction to Artificial Intelligence and Logic Programming ======
== Old Title: Functional and Logic Programming ==

===== Description  =====

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)


 

===== Lecture Times =====

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


===== Textbooks =====
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.


===== Software =====
[[http://www.swi-prolog.org/|SWI-Prolog]], a free software licensed under the [[http://www.gnu.org/copyleft/lesser.html|Lesser GNU Public License]].