CSE 3401
Old Title: Functional and Logic Programming
New Title: Introduction to Artificial Intelligence and Logic Programming
Fall 2012

Department of Computer Science and Engineering,
York University

Course Description

This course has changed significantly from previous years!

Artificial Intelligence (AI) deals with how to build intelligent systems. In this course, we examine fundamental concepts in AI: knowledge representation and reasoning, search, constraint satisfaction, reasoning under uncertainty, etc. The course also provides an introduction to logic programming and Prolog. Functional programming will only be discussed briefly.

What's New


Prof. Yves Lespérance
Office: LAS 3052A
Tel: 736-2100 ext. 70146
Email: lesperan "at" cse.yorku.ca


Tuesday and Thursday from 14:30 to 16:00 in BC 215 (BC is Bethune College).

Instructor Office Hours

Tuesday from 17:00 to 18:00, Thursday from 13:00 to 14:00, and Friday from 14:00 to 15:00 in LAS 3052A.


Russell, S.J. and Norvig, P., Artificial Intelligence: A Modern Approach, 3rd edition Prentice Hall, 2010.
Authors' web site, Publisher's web site.

Clocksin, W.F. and Mellish, C.S., Programming in Prolog, (5th edition), Springer Verlag, New York, 2004.

The textbooks are required; they are available at the York University Bookstore.


General prerequisites; MATH1090 3.0.


Assignements (4 @ 6% each)      24%
Midterm test       26%
Final exam       50%
Total 100%

Tentative Schedule

Readings and Lecture Transparencies

Additional References

Other good AI textbooks:

Poole, D. and Mackworth, A. Artificial Intelligence, Foundations of Computational Agents, Cambridge University Press, 2010.

Poole, D., Mackworth, A., Goebel, R. Computational Intelligence, A Logical Approach,, Oxford University Press, New York, 1998.

Nilsson, N.J., Artificial Intelligence: A New Synthesis,, Morgan Kaufmann, San Francisco, 1998.

On knowledge representation:

Ronald J. Brachman and Hector J. Levesque, Knowledge Representation and Reasoning, Elsevier/Morgan Kaufmann 2004, ISBN 1-55860-932-6

Baral, C. Knowledge representation, reasoning, and declarative problem solving. Cambridge University Press, Cambridge/New York, 2003.

Genesereth, M.R. and Nilsson, N.J. Logical foundations of artificial intelligence. Morgan Kaufmann, Los Altos, CA, 1987.

On reasoning about action:

Reiter, R., Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, 2001. York Library eCopy, Book home page.

Running SWI-Prolog in the Prism Lab

Getting Prolog

About Prolog