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:
- Apr. 11: The deadline for assignment 3 has been
extended to April 13 at 5pm.
Also, my office hour on April 12 is rescheduled to April 13 at 10am.
-
Apr. 4: The lecture transparencies for Week 11 have been posted.
A clarification concerning assignement 3: you can use the OnTop(box)
fluent to model whether the robot is on top of a box; also use the predicate
Controls(switch,light) to model which switch controls which light
(it need not be a fluent since this never changes).
-
Mar. 27: Assignment 3 is out.
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.
-
Mar. 6: The final exam has been scheduled for
Friday April 20 at 2pm in CB 129.
Also, I have added some FAQ with answers on the Assignment 2 web page.
-
Feb. 28: Assignment 2 is out; it is due
on March 20.
-
Feb. 22: The lecture transparencies for Week 6 and Week 7 have been updated.
-
Feb. 20: Here are some sample questions
for the midterm test.
-
Feb. 7: The midterm test will be held in class on February 27.
It will cover everything we have seen up to and including the material
on Constraint Satisfaction and Backtracking Search.
-
Jan. 30: Assignment 1 is out; it is due
on February 20.
-
Jan. 8: added section on Readings and Lecture Transparencies; see below.
Instructor
Prof. Yves Lespérance
Office: CSEB 3052A
Tel: 736-2100 ext. 70146
Email: lesperan "at" cse.yorku.ca
Lectures
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.
Textbook
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.
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 @ 10% each) | 30% |
| Midterm test | 25% |
| Final exam | 45% |
| Total | 100% |
Tentative Schedule
- Week 1 (Jan 4) Introduction (R&N ch. 1).
- Week 2 (Jan 9) Intelligent agents (R&N ch. 2).
- Week 3 (Jan 16) Uninformed search (R&N ch. 3).
- Week 4 (Jan 23) Informed search (R&N ch. 4).
- Week 5 (Jan 30) Game/Adversarial Search (R&N ch. 6).
- Week 6 (Feb 6) Constraint satisfaction and backtracking search (R&N ch. 5).
- Reading Week (Feb 12-16)
- Week 7 (Feb 20) Logical representations (R&N ch. 7 & 8).
- Week 8 (Feb 27) Midterm test
- Week 9 (Mar 6) Inference in first-order logic (R&N ch. 9).
- Week 10 (Mar 13) Reasoning about action (R&N ch. 10, sec. 3).
- Week 11 (Mar 20) Planning (R&N ch. 11, secs. 1, 2, & 4).
- Week 12 (Mar 27) Uncertain Reasoning (R&N ch. 13-14)
- Week 13 (Apr 3) TBA
Readings and Lecture Transparencies
- Week 1 (Jan 4) Introduction
Required Readings: Russell & Norvig Chapter 1.
Lecture transparencies
- Week 2 (Jan 9) Intelligent agents
Required Readings: Russell & Norvig Chapter 2.
Lecture transparencies (Russell & Norvig)
,
my lecture transparencies on Agents and MAS
.
- Week 3 (Jan 16) Uninformed Search
Required Readings: Russell & Norvig Chapter 3.
Lecture transparencies
.
- Week 4 (Jan 23) Informed Search
Required Readings: Russell & Norvig Chapter 4, Sec. 1 to 3.
Lecture transparencies
.
- Week 5 (Jan 30) Game/Adversarial Search
Required Readings: Russell & Norvig Chapter 6, Sec. 1 to 3, and Sec. 6.
Lecture transparencies
.
- Week 6 (Feb 6) Constraint Satisfaction and Backtracking Search
Required Readings: Russell & Norvig Chapter 5.
Lecture transparencies
.
- Reading Week (Feb 12-16) No classes, office hours as usual.
- Week 7 (Feb 20) Knowledge Representation & First-Order Logic
Required Readings: Russell & Norvig Chapter 8.
Lecture transparencies
.
- Week 8 (Feb 27) Midterm test on Feb 27.
- Week 9 (Mar 6) Inference in First-Order Logic
Required Readings: Russell & Norvig Chapter 9 Sections 1, 2, and 5
(the rest of the chapter is optional).
Lecture transparencies
.
- Week 10 (Mar 15) Reasoning about Action
Required Readings: Russell & Norvig Chapter 10 Section 3.
Main lecture transparencies
,
additional lecture transparencies from Brachman & Levesque
.
- Week 11 (Mar 22) Planning
Required Readings: Russell & Norvig Chapter 11 Sections 1, 2, and 4.
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
|
-
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