Salta al contenuto principale della pagina

ARTIFICIAL INTELLIGENCE

CODE 80165
ACADEMIC YEAR 2022/2023
CREDITS
  • 6 cfu during the 1st year of 11160 COMPUTER ENGINEERING (LM-32) - GENOVA
  • 6 cfu during the 1st year of 8465 METODOLOGIE FILOSOFICHE (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

    Exam Board

    ENRICO GIUNCHIGLIA (President)

    MARCO MARATEA

    MASSIMO NARIZZANO

    RENATO UGO RAFFAELE ZACCARIA

    ARMANDO TACCHELLA (President Substitute)

    LESSONS

    Class schedule

    All class schedules are posted on the EasyAcademy portal.

    EXAMS

    EXAM DESCRIPTION

    Written and oral

    Exam schedule

    Date Time Location Type Notes