CODE 80165 ACADEMIC YEAR 2021/2022 CREDITS 6 cfu anno 1 COMPUTER ENGINEERING 11160 (LM-32) - GENOVA 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 ENRICO GIUNCHIGLIA Ricevimento: By appointment Exam Board ENRICO GIUNCHIGLIA (President) MARCO MARATEA MASSIMO NARIZZANO RENATO UGO RAFFAELE ZACCARIA ARMANDO TACCHELLA (President Substitute) LESSONS LESSONS START https://courses.unige.it/11160/p/students-timetable Class schedule The timetable for this course is available here: Portale EasyAcademy EXAMS EXAM DESCRIPTION Written and oral Exam schedule Data appello Orario Luogo Degree type Note 10/01/2022 09:00 GENOVA Scritto 10/01/2022 09:00 GENOVA Scritto 16/02/2022 09:00 GENOVA Scritto 16/02/2022 14:30 GENOVA Scritto 22/06/2022 09:00 GENOVA Scritto 22/06/2022 09:00 GENOVA Scritto 22/06/2022 09:00 GENOVA Scritto 11/07/2022 09:00 GENOVA Scritto 11/07/2022 09:00 GENOVA Scritto 12/09/2022 09:00 GENOVA Scritto 12/09/2022 09:00 GENOVA Scritto