ARTIFICIAL INTELLIGENCE

ARTIFICIAL INTELLIGENCE

_
iten
Code
80165
ACADEMIC YEAR
2020/2021
CREDITS
6 credits during the 1st year of 11160 COMPUTER ENGINEERING (LM-32) GENOVA
SCIENTIFIC DISCIPLINARY SECTOR
ING-INF/05
LANGUAGE
English
TEACHING LOCATION
GENOVA (COMPUTER ENGINEERING )
semester
2° Semester
Teaching materials

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

Ricevimento: By appointment

Exam Board

ENRICO GIUNCHIGLIA (President)

RENATO UGO RAFFAELE ZACCARIA (President)

ARMANDO TACCHELLA (President)

MASSIMO NARIZZANO

MARCO MARATEA

EXAMS

Exam description

Written and oral