start

This is an old revision of the document!

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
Intelligent Agents
Logical Representations, First-Order Logic Syntax and Semantics
Reasoning, Inference in First-Order Logic
Uninformed and Heuristic (Informed) Search
Game/Adversarial Search
Constraint Satisfaction and Backtracking Search
Uncertain Reasoning
Logic Programming in Prolog
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.1357574403.txt.gz · Last modified: 2013/01/07 16:00 by bita