CSE 3402 Introduction to Concepts of Artificial Intelligence
Winter 2007

Department of Computer Science and Engineering,
York University

Course Description

This course is an introductory exposition to topics in Artificial Intelligence (AI). It covers, in some depth, some core subjects of current research and deployed applications in AI: search, knowledge representation, reasoning, intelligent agents and their modeling, acting and planning, neural networks, and genetic algorithms. Other important subareas of AI, such as robotics or computer vision, are discussed in depth in other courses.

What's new:


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


Tuesday and Thursday from 11:30 to 13:00 in ACE 003.

Instructor Office Hours

Tuesday and Thursday 16:30-17:30 and Friday 13:30-14:30.


Russell, S.J. and Norvig, P., Artificial Intelligence: A Modern Approach, 2nd edition Prentice Hall, 2003. The textbook is required; it is available at the York University Bookstore.


AK/AS/SC/COSC 3401 3.0 or AK/AS/SC/CSE 3401 3.0; AK/AS/SC/MATH 1090 3.0. Knowledge of Prolog and first-order logic.


Assignements (3 @ 10% each)      30%
Midterm test       25%
Final exam       45%
Total 100%

Tentative Schedule

Readings and Lecture Transparencies

Additional References

A good Prolog text:

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

Other good AI textbooks:

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