CSE 3402 Introduction to Concepts of Artificial Intelligence
Department of Computer Science and Engineering,
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.
- April 2: The final exam is on Thursday April 5 from 2pm to 4pm in
TEL 0011. The exam covers everything we have seen this term, but the
emphasis is on the material we have seen since Week 6. The office hours until then will be Apr 2 from 5pm to 6pm, Apr 4 from 3pm to 4pm, and Apr 5 from 10am to 11am.
- March 30: Students may hand in Assignment 3 until 10am on April 3 without penalty; use the drop box by CSE 1003 for the hardcopy.
- March 29: The office hour on March 30 will be at 1pm rather
than at the usual time.
March 15: Assignment 3 is out; it is due
on April 2.
Use this Golog interpreter.
See also this elevator controller
example Golog program.
Note that you should change the extensions from .swipl to .pl
before you load the files into SWI Prolog.
Feb. 17: There are a few changes to office hours in the next week: On Feb. 22 the office hour will be handled by our TA Joshua McClymont; it will be held as usual at 4pm in CSE 3052. On Feb. 24 the office hour is cancelled. On Feb. 27 the office hour will be at 10am instead of 6pm in CSE 3052A. You can always email your questions on course material to the instructor.
Feb. 15: The midterm test will be held during class on Monday
February 27. It will cover all material seen since the beginning of term
up to and including Week 6 Knowledge Representation & First-Order Logic.
Feb. 10: Assignment 2 is out; it is due
on March 5.
Jan. 23: Assignment 1 is out; it is due
on February 6.
- Classes start January 4.
Prof. Yves Lespérance
Office: CSE 3052A
Tel: 736-2100 ext. 70146
Email: lesperan "at" cse.yorku.ca
Monday, Wednesday, and Friday from 14:30 to 15:20 in CB 115.
Instructor Office Hours
Monday 17:00-18:00, Wednesday 16:00-17:00, and Friday 10:30-11:30 in CSE 3052A.
Russell, S.J. and Norvig, P.,
Artificial Intelligence: A Modern Approach, 3rd edition
Prentice Hall, 2010.
Authors' web site,
Publisher's web site.
The textbook is required; it is available at the York University
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 @ 8% each)
| Midterm test || 26%|
| Final exam || 50%|
| Total|| 100%|
- Week 1 (Jan 4) Introduction & intelligent agents (R&N ch. 1 & 2).
- Week 2 (Jan 9) Uninformed search (R&N ch. 3, sec. 1 to 4).
- Week 3 (Jan 16) Informed search (R&N ch. 3, sec, 5 to 7).
- Week 4 (Jan 23) Game/Adversarial Search (R&N ch. 5).
- Week 5 (Jan 30) Constraint satisfaction and backtracking search (R&N ch. 6).
- Week 6 (Feb 6) Logical representations (R&N ch. 7 & 8).
- Week 7 (Feb 13) Inference in first-order logic (R&N ch. 9).
- Reading Week (Feb 20-24) No lectures.
- Week 8 (Feb 27) Reasoning about action (R&N sec. 10.4.2).
- Week 9 (Mar 5) Planning (R&N ch. 10, secs. 1, 2, & 4).
- Week 10 (Mar 12) Uncertain Reasoning (R&N ch. 13-14).
- Week 11 (Mar 19) Probabilistic Reasoning over Time (R&N ch. 15).
- Week 12 (Mar 26) Machine Learning (R&N ch. 18). No classes on Mar 30.
- Week 13 (Apr 2) Last day of classes, review.
Readings and Lecture Transparencies
- Week 1 (Jan 4) Introduction & intelligent agents
Required Readings: Russell & Norvig Chapter 1 & 2.
Lecture transparencies for Russell & Norvig Ch. 1,
lecture transparencies for Russell & Norvig Ch. 2,
instructor's lecture transparencies on the State of The Art in AI,
instructor's lecture transparencies on Agents aand MAS
- Week 2 (Jan 9) Uninformed Search
Required Readings: Russell & Norvig Chapter 3, Sec. 1 to 4.
Lecture transparencies part 1,
lecture transparencies part 2.
- Week 3 (Jan 16) Informed Search
Required Readings: Russell & Norvig Chapter 3, Sec. 5 and 6,
and Chapter 4, Sec. 1.
- Week 4 (Jan 23) Game Tree Search
Required Readings: Russell & Norvig Chapter 5, Sec. 1, 2, 3, and 7.
- Week 5 (Jan 30) Constraint Satisfaction Problems and Bactracking Search
Required Readings: Russell & Norvig Chapter 6.
- Week 6 (Feb 6) Knowledge Representation & First-Order Logic
Required Readings: Russell & Norvig Chapter 8 (Chapter 7 is optional).
- Weeks 7 & 8 (Feb 13 & 27) Inference in First-Order Logic
Required Readings: Russell & Norvig Chapter 9, Sec. 1, 2, and 5.
- Week 9 (Mar 5) Reasoning about Action
Required Readings: Russell & Norvig Chapter 10 Sec. 10.4.2. (in 2nd
edition Chapter 10 Sec. 3)
lecture transparencies from Brachman and Levesque.
- Week 10 (Mar 12) Planning
Required Readings: Russell & Norvig Chapter 10.
- Week 11 (Mar 19) Reasoning under Uncertainty
Required Readings: Russell & Norvig Chapter 13 and Chapter 14 Sec. 1 to
Lecture transparencies from Brachman and Levesque,
lecture transparencies on value elimination (updated!).
- Week 12 (Mar 26) Decision Making under Uncertainty
Required Readings: Russell & Norvig Chapter 16 and Chapter 17 Sec. 1 to
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. 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.
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
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:
Knowledge in Action: Logical Foundations for Specifying and Implementing
MIT Press, 2001.
York Library eCopy,
Book home page.
Running SWI-Prolog in the Prism Lab
To run Prolog execute the command pl. To exit enter
at the prompt.
Documentation is available
on the web.