CODE 80165 ACADEMIC YEAR 2022/2023 CREDITS 6 cfu anno 1 COMPUTER ENGINEERING 11160 (LM-32) - GENOVA 6 cfu anno 1 METODOLOGIE FILOSOFICHE 8465 (LM-78) - 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 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
