Skip to main content
CODE 80165
ACADEMIC YEAR 2022/2023
CREDITS
SCIENTIFIC DISCIPLINARY SECTOR ING-INF/05
LANGUAGE English
TEACHING LOCATION
  • GENOVA
SEMESTER 2° Semester
TEACHING MATERIALS AULAWEB

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)

MARCO MARATEA

MASSIMO NARIZZANO

RENATO UGO RAFFAELE ZACCARIA

ARMANDO TACCHELLA (President Substitute)

LESSONS

Class schedule

The timetable for this course is available here: Portale EasyAcademy

EXAMS

EXAM DESCRIPTION

Written and oral

Exam schedule

Data Ora Luogo Degree type Note
11/01/2023 09:00 GENOVA Scritto
08/02/2023 09:00 GENOVA Scritto
08/02/2023 14:30 GENOVA Scritto
07/06/2023 09:00 GENOVA Scritto
05/07/2023 09:00 GENOVA Scritto
15/09/2023 09:00 GENOVA Scritto