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 (President)
ARMANDO TACCHELLA (President)
Written and oral