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 (COMPUTER ENGINEERING )
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

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).