Salta al contenuto principale della pagina

ADVANCED ARTIFICIAL INTELLIGENCE

CODE 98463
ACADEMIC YEAR 2021/2022
CREDITS 6 credits during the 2nd year of 11160 COMPUTER ENGINEERING (LM-32) GENOVA
SCIENTIFIC DISCIPLINARY SECTOR ING-INF/05
LANGUAGE English
TEACHING LOCATION GENOVA (COMPUTER ENGINEERING )
SEMESTER 1° Semester
TEACHING MATERIALS AULAWEB

OVERVIEW

The course aims at studying  theory and practicalities of some formalisms for deductive AI, in particular knowledge representation and reasoning languages and tools and their application to discrete and mixed discrete/continuous planning/scheduling real problems.

AIMS AND CONTENT

LEARNING OUTCOMES

The course aims at studying some deductive reasoning techniques, and their applications to cope with real-world problems.

AIMS AND LEARNING OUTCOMES

- Study theory and practicalities of some formalisms for knowledge representation and reasoning

- Study how to model a problem using such formalisms

- Apply the competences and skills acquired on a concrete problem

PREREQUISITES

Concepts from previous courses of

- Artificial Intelligence
- Data base
- Information and Computation

in the Bachelor in Ingegneria Informatica and the same Master studies are the starting point of this course.

TEACHING METHODS

The course is organized as follows:

- Lectures (approx. 50%)
- Exercises and presentations (approx. 25%)

- Project set-up (approx. 25%)

SYLLABUS/CONTENT

- Database languages (re)introduction

- Deductive Artificial Intelligence:

- Knowledge Representation and Reasoning

- Answer Set Programming (ASP)
- Extended Planning Domain Definition Language (PDDL+)

- Applications to:
  ASP for (discrete) scheduling
  PDDL+ for (mixed discrete-continous) planning

RECOMMENDED READING/BIBLIOGRAPHY

All slides and exercises presented during the lectures will be made available on AulaWeb.

 

TEACHERS AND EXAM BOARD

Exam Board

MARCO MARATEA (President)

GUALTIERO VOLPE

ALESSIO MERLO (President Substitute)

LESSONS

TEACHING METHODS

The course is organized as follows:

- Lectures (approx. 50%)
- Exercises and presentations (approx. 25%)

- Project set-up (approx. 25%)

LESSONS START

In the week 20-24 of September 2021

Class schedule

All class schedules are posted on the EasyAcademy portal.

EXAMS

EXAM DESCRIPTION

The exam is made of a practical project.

ASSESSMENT METHODS

Project realization and presentation will be evaluated.

Exam schedule

Date Time Location Type Notes
10/01/2022 09:00 GENOVA Orale
24/01/2022 09:00 GENOVA Orale
07/02/2022 09:00 GENOVA Orale
09/06/2022 09:00 GENOVA Orale
04/07/2022 09:00 GENOVA Orale
14/09/2022 09:00 GENOVA Orale