Artificial Intelligence (Intelligenza Artificiale)

A.A. 2019/2020, Fall semester

9 credits, SSD ING-INF/05, Master Artificial Intelligence and Robotics
(Laurea Magistrale in Intelligenza Artificiale e Robotica)

Artificial Intelligence 1 (Intelligenza Artificiale 1)

A.A. 2019/2020, Fall semester

6 credits, SSD ING-INF/05, Master Engineering in Computer Science
(Laurea Magistrale in Ingegneria Informatica)

Prof. Daniele Nardi

Starting from the academic year 2019/2020 the Artificial Intelligence course (9 ECTS) is replacing the course Artificial Intelligence (12 ECTS) for students of the Master in Artificial Intelligence and Robotics.
The course Artificial Intelligence 1, for students from other master degrees, is Section 1 of the new AI course (see below).
The course Artificial Intelligence 2 of the Master in Engineering in Computer Science is Section 2 of the new AI course (see below) plus a section of the new Machine Learning course (9 ECTS).
For students enrolled in earlier academic years, the course Artificial Intelligence (12 ECTS) corresponds to the new course Artificial Intelligence (9 ECTS) plus a section of the new Machine Learning course (9 ECTS).
Students of academic years 2015/16 can refer to the web sites of previous courses in their curriculum to verify exam specifications and syllabus.

The course management is done through Artificial Intelligence

Schedule

Section 1 (starting Monday, September 23rd, 2019)

Monday 14:00 -- 16:00, ClassRoom 33, Via Eudossiana
Wednesday 14:00 -- 17:00, ClassRoom 33, Via Eudossiana

Section 2 (starting Thursday, September 26th, 2019)

Thursday 16:00 -- 19:00, ClassRoom B2, Via Ariosto

Exam dates

Book through Infostud (please email the teacher in case there is no registration open). The exam periods are:

January 13th, 2020 (9-13) Marco Polo 105
February 10th, 2020 (14-18) Marco Polo 204
March-April 2020 (for old students enrolled in 2016 or earlier)
June 2020
July 2020
September 2020
November 2020 (for old students registered in 2017 or earlier)

Plan of the Lectures (Section 1 - 6 ECTS)

Plan of the Lectures (Section 2 - 3 ECTS)

References

S. Russell, P. Norvig, Artificial Intelligence: A Modern Approach, Third Edition, Prentice Hall Series in Artificial Intelligence, 2010.

[SS] L. Sterling, E. Shapiro, The Art of Prolog, 2nd Ed., MIT Press, 1994.

[GNT] Malik Ghallab, Dana Nau, Paolo TraversoAutomated Planning, Morgan Kaufmann Pbublisher, 2004.

[DL] F. Baader, D. Calvanese, B. McGuinness, D. Nardi, P. Patel Scheider (Eds.), The Description Logic Handbook, Cambridge Univ. Press, 2007 (chap. 1, chap. 2, chap. 14).

[BL] R. J. Brachman, H.J. Levesque, Knowledge Representation and Reasoning, Morgan Kaufmann, 2004.

[GL88] Michael Gelfond and Vladimir Lifschitz The Stable Model Semantics for Logic Programming, in Kowalski, Robert and Bowen, Kenneth, editors, Proceedings of International Logic Programming Conference and Symposium, 1070-1080, 1988. MIT Press.

[W] M. Wooldridge, Multi-Agent Systems, John Wiley, 2009.

[We] G. Weiss, Multiagent Systems, MIT Press, 2013, 2nd edition. Chapter 12: Distributed Constraint Handling and Optimization, A. Farinelli, M. Vinyals, A. Rogers, and N.R. Jennings.

[JM] Daniel Jurafsky and James H. Martin. Speech and Language Processing. In press, 2019 Selected Chapters.