CSE 3402 Introduction to Concepts of Artificial Intelligence
Winter 2012
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
- 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.
Instructor
Prof. Yves Lespérance
Office: CSE 3052A
Tel: 736-2100 ext. 70146
Email: lesperan "at" cse.yorku.ca
Lectures
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.
Textbook
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
Bookstore.
Prerequisites
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.
Evaluation
Assignements (3 @ 8% each) |
24% |
Midterm test | 26% |
Final exam | 50% |
Total | 100% |
Tentative Schedule
- 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.
Lecture transparencies.
- Week 4 (Jan 23) Game Tree Search
Required Readings: Russell & Norvig Chapter 5, Sec. 1, 2, 3, and 7.
Lecture transparencies.
- Week 5 (Jan 30) Constraint Satisfaction Problems and Bactracking Search
Required Readings: Russell & Norvig Chapter 6.
Lecture transparencies.
- Week 6 (Feb 6) Knowledge Representation & First-Order Logic
Required Readings: Russell & Norvig Chapter 8 (Chapter 7 is optional).
Lecture transparencies.
- Weeks 7 & 8 (Feb 13 & 27) Inference in First-Order Logic
Required Readings: Russell & Norvig Chapter 9, Sec. 1, 2, and 5.
Lecture transparencies.
- 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,
lecture transparencies from Brachman and Levesque.
- Week 10 (Mar 12) Planning
Required Readings: Russell & Norvig Chapter 10.
Lecture transparencies.
- Week 11 (Mar 19) Reasoning under Uncertainty
Required Readings: Russell & Norvig Chapter 13 and Chapter 14 Sec. 1 to
4.
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
3.
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. 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
|
-
To run Prolog execute the command pl. To exit enter
<CTRL>-D
at the prompt.
-
Documentation is available
on the web.
Getting Prolog
About Prolog