Salta al contenuto principale della pagina

ARTIFICIAL INTELLIGENCE

CODICE 80165
ANNO ACCADEMICO 2022/2023
CFU
  • 6 cfu al 1° anno di 11160 COMPUTER ENGINEERING (LM-32) - GENOVA
  • 6 cfu al 1° anno di 8465 METODOLOGIE FILOSOFICHE (LM-78) - GENOVA
  • SETTORE SCIENTIFICO DISCIPLINARE ING-INF/05
    LINGUA Inglese
    SEDE
  • GENOVA
  • PERIODO 2° Semestre
    MATERIALE DIDATTICO AULAWEB

    PRESENTAZIONE

    Aritificial Intelligence (AI) has the goal to study and develop intelligent agents, able to perceive, plan and act in the surrounding environments. AI has a long tradition within computer science and engineering and has lately gained a huge momentum given the substantial progress and successes in the field. According to many, AI will be ever growing discipline in the future, with potential applications in every field. According to some notable people, including top level scientists and managers, the progress of AI can even become a danger in the near future for human beings.

    OBIETTIVI E CONTENUTI

    OBIETTIVI FORMATIVI

    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.

    PREREQUISITI

    No prerequisites are necessary, though some abilities in mathematical modeling and coding will help.

    MODALITA' DIDATTICHE

    Depending on the COVID situation, lessons will be both in presence and on line using Microsoft Teams.

    PROGRAMMA/CONTENUTO

    The course will main focus on:

    • Propositional logic (PL)
      • The language of PL (syntax and semantics), for modeling knowledge
      • Basic reasoning procedures, for handling/manipulating knowledge
    • First order logic
      • The language of FOL (syntax and semantics), for modeling knowledge
      • Basic reasoning procedures, for handling/manipulating knowledge
    • Planning and search
      • The language of "classical" planning,
      • Basic planning procedures
        • Based on symbolic search
        • Based on explicit-state search (uninformed and informed)

    TESTI/BIBLIOGRAFIA

    • Slides and teaching material available on Aulaweb (recommended)
    • Artificial Intelligence, A modern approrach by Russell and Norvig
    • Automated Planning, theory and practice by Ghallab, Nau and Traverso

    DOCENTI E COMMISSIONI

    Commissione d'esame

    ENRICO GIUNCHIGLIA (Presidente)

    MARCO MARATEA

    MASSIMO NARIZZANO

    RENATO UGO RAFFAELE ZACCARIA

    ARMANDO TACCHELLA (Presidente Supplente)

    LEZIONI

    Orari delle lezioni

    L'orario di tutti gli insegnamenti è consultabile su EasyAcademy.

    ESAMI

    MODALITA' D'ESAME

    The exam will be a test with exercises on the topics covered during the lessons. The exam is individual and open book: everyone can consult his/her notes but it will not be possible to use electronic devices. Depending on the Covid situation, it is possible that the test will be substituted or complemented by an oral exam. The oral exam can be in any case requested by you or by me (in case I have doubts about your test exam).

    Calendario appelli

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