OBIETTIVI FORMATIVI

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.

Commissione d'esame

ENRICO GIUNCHIGLIA (Presidente)

RENATO UGO RAFFAELE ZACCARIA

MASSIMO NARIZZANO

MARCO MARATEA

ARMANDO TACCHELLA (Presidente Supplente)

ORARI

L'orario di tutti gli insegnamenti è consultabile su EasyAcademy.

Modalità d'esame

Scritto