The goal of the course is to introduce students to topics in Artificial Intelligence, mostly on the “deductive” side of the discipline. Students will learn basics in propositional and first order logic and apply them in the context of knowledge representation and reasoning. Also the basic principles of heuristic search and planning in the context of full observability and deterministic action effects will be added on top of the basic capabilities for representation and reasoning.
Knowledge representation formalisms and techniques, automated reasoning, informed and uninformed search, automated planning
Russell Norvig, "Artificial Intelligence"
Ricevimento: By appointment
ENRICO GIUNCHIGLIA (President)
RENATO UGO RAFFAELE ZACCARIA
ARMANDO TACCHELLA (President Substitute)
L'orario di tutti gli insegnamenti è consultabile su EasyAcademy.
Written and oral
|11/06/2021||09:00||GENOVA||Scritto||JEMARO students must attend this exam on: January 11th, 2021|
|12/07/2021||09:00||GENOVA||Scritto||JEMARO students must attend this exam on: January 11th, 2021|
|13/09/2021||09:00||GENOVA||Scritto||JEMARO students must attend this exam on: January 11th, 2021|