AIMS AND CONTENT

LEARNING OUTCOMES

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.

SYLLABUS/CONTENT

Knowledge representation formalisms and techniques, automated reasoning, informed and uninformed search, automated planning

RECOMMENDED READING/BIBLIOGRAPHY

Russell Norvig, "Artificial Intelligence"

TEACHERS AND EXAM BOARD

Exam Board

ENRICO GIUNCHIGLIA (President)

ARMANDO TACCHELLA (President)

RENATO UGO RAFFAELE ZACCARIA (President)

MARCO MARATEA

MASSIMO NARIZZANO

EXAMS

EXAM DESCRIPTION

Written and oral

Exam schedule