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

What's New

Tentative Schedule

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

Getting Prolog

About Prolog