start
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
SWI-Prolog, a free software licensed under the Lesser GNU Public License.
start.txt · Last modified: 2013/01/18 16:18 by bita