EECS 3401 3.0
Introduction to Artificial Intelligence and Logic Programming
Fall 2020
eClass page for EECS 3401
Zoom link
Recordings of lectures on Echo360
Important Dates
- Midterm: Mon, 26 Oct 2020 at 14:30, 80 minutes in length, on eClass
- Final Exam: Thu, 10 Dec 2020 at 19:00, 180 minutes in length, on eCLASS
What's New
- Sept. 14: Introduction, intelligent agents, common sense reasoning. Reading: Russell and Norvig, Part I (Chapters 1 and 2). Lecture slides
- Sept. 16: Knowledge Representation and First-Order Logic. Reading: Russell and Norvig, Chapter 8 (Ch. 7 optional). Lecture slides
- Sept. 21: KRR and FOL continued. Reading: R&N Ch.8. Lecture slides
- Sept. 23: Intro to Prolog. Reading: C&M Ch.1, 2, 3.1-3.3, 8. Lecture slides (up to and including slide 25)
- Sept. 28: Prolog continued. Reading: C&M Ch.1, 2, 3.1-3.3, 8. Lecture slides (from slide 25), zebra.prolog
- Sept. 30: Inference in First-Order Logic. Reading: R&N Ch.9.1, 9.2, 9.5 Lecture slides
- Oct. 2: Assignment 1 is out. Handout. Due: October 22, no exceptions.
- Oct. 5: Unification. Reading: R&N Ch.9.1, 9.2, 9.5 Lecture slides
- Oct. 7: Reasoning with Horn Clauses and Procedural Control. Reading: R&N Ch.9, C&M Ch.4 and Ch.10 Lecture slides
- Oct. 19: Prolog: control flow, negation, second-order features, tail recursion. Reading: C&M Ch.3, 4, 6, 10 Lecture slides
- Oct. 21: Intro to Search. Reading: R&N Ch.3.1-3.4 Lecture slides
- Oct. 28: Uninformed Search. Reading: R&N Ch.3.1-3.4 Lecture slides
- Nov. 2: Informed Search. Reading: R&N Ch.3.1-3.6, 4.1 Lecture slides
- Nov. 4: Informed Search; Constraint Satisfaction Problems. Reading: R&N Ch.3.1-3.6, 4.1, 6 Lecture slides
- Nov. 6: Assignment 2 is out. Archive with handout and files. Due: November 22, no exceptions.
- Nov. 9: Solving Constraint Satisfaction Problems. Reading: R&N Ch. 6 Lecture slides
- Nov. 11: Planning as Heuristic Search. Reading: R&N Ch. 11 (Ch.10 in 3rd ed.) Lecture slides
- Nov. 16: Intro to Situation Calculus. Reading: R&N Ch. 11 (Ch.10 in 3rd ed.) Lecture slides
- Nov. 18: Situation Calculus and GOLOG. Reading: R&N Ch. 11 (Ch.10 in 3rd ed.) Lecture slides
- Nov. 23: Planning using FOL; Intro to Uncertainty. Reading: R&N Ch. 12, 13 (13, 14 in 3rd ed.) Lecture slides
- Nov. 25: Belief Networks. Reading: R&N Ch. 13.1-13.3 (14.1-14.4 in 3rd ed.) Lecture slides
- Nov. 26: Assignment 3 is out. Archive with handout and files. Due: December 9
- Nov. 30: Sequential Decision Making. Reading: R&N Ch. 17.1-17.2 (17.1-17.3 in 3rd ed.) Lecture slides
- Dec. 2, 7: From MDP to Reinforcement Learning. Reading: R&N Ch. 22.1-3 (21.1-3 in 3rd ed.) Prof. Picard's lecture slides
Tentative Schedule
- Sep 16 L-02 KR and FOL I
- Sep 21 L-03 KR and FOL II
- Sep 23 L-04 Prolog I
- Sep 28 L-05 Prolog II -- A1 out
- Sep 30 L-06 Inference in FOL
- Oct 05 L-07 Unification and Resolution
- Oct 07 L-08 Horn clauses, SLDNF resolution
- Oct 12 --- reading week
- Oct 14 --- reading week
- Oct 19 L-09 Prolog III
- Oct 21 L-10 Prolog IV - A1 due
- Oct 26 --- Midterm (on eClass)
- Oct 28 L-11 Uninformed search
- Nov 02 L-12 Informed search I
- Nov 04 L-13 Informed search II
- Nov 09 L-14 Constraint satisfaction I
- Nov 11 L-15 Constraint satisfaction II
- Nov 16 L-16 Reasoning about action I
- Nov 18 L-17 Reasoning about action II -- A2 due
- Nov 23 L-18 Uncertain reasoning I
- Nov 25 L-19 Uncertain reasoning II
- Nov 30 L-20 Planning under uncertainty
- Dec 02 L-21 MDP, reinforcement learning
- Dec 07 L-22 Supervised learning -- A3 due
Academic Honesty
It is important that you look at the
departmental guidelines on academic honesty.
Although you may discuss the general approach to solving a problem with
other people, you should not discuss the solution in detail. You must
not take any written notes away from such a discussion. Also, you must
list on the cover page of your solutions any people with whom you have
discussed the problems. The solutions you hand in should be your own
work. While writing them, you may look at the course textbook and your
own lecture notes but no other outside sources.
Additional References
Other good AI textbooks:
Poole, D. and Mackworth, A.
Artificial Intelligence, Foundations of Computational Agents, 2nd edition,
Cambridge University Press, 2017.
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.
On Prolog:
Bratko, I. Prolog Programming for Artificial Intelligence 4th Edition,
Pearson Education Canada, 2012.
Sterling, L.S. and Shapiro, E.Y.
The Art of Prolog, Second Edition,
MIT Press, 1994.
|
Academic Honesty
It is important that you look at the
departmental guidelines on academic honesty.
Although you may discuss the general approach to solving a problem with
other people, you should not discuss the solution in detail. You must
not take any written notes away from such a discussion. Also, you must
list on the cover page of your solutions any people with whom you have
discussed the problems. The solutions you hand in should be your own
work. While writing them, you may look at the course textbook and your
own lecture notes but no other outside sources.
Additional References
Other good AI textbooks:
Poole, D. and Mackworth, A.
Artificial Intelligence, Foundations of Computational Agents, 2nd edition,
Cambridge University Press, 2017.
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.
On Prolog:
Bratko, I. Prolog Programming for Artificial Intelligence 4th Edition,
Pearson Education Canada, 2012.
Sterling, L.S. and Shapiro, E.Y.
The Art of Prolog, Second Edition,
MIT Press, 1994.
|
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