Vai al contenuto principale
Oggetto:
Oggetto:

Knowledge Representation, reasoning and applications

Oggetto:

Knowledge Representation, reasoning and applications

Oggetto:

Academic year 2018/2019

Course ID
INF0085-2
Teaching staff
Prof. Matteo Baldoni (Titolare del corso)
Cristina Baroglio (Titolare del corso)
Valentina Gliozzi (Titolare del corso)
Dott. Roberto Micalizio (Titolare del corso)
Gian Luca Pozzato (Titolare del corso)
Year
1° anno 2° anno 3° anno
Type
A scelta dello studente
Credits/Recognition
3
Course disciplinary sector (SSD)
INF/01 - informatica
Delivery
Tradizionale
Language
Italiano
Attendance
Obbligatoria
Oggetto:

Sommario del corso

Oggetto:

Program

Obiettivo del corso è fornire le nozioni di base riguardo l'uso della logica nella rappresentazione della conoscenza e i relativi meccanismi di ragionamento, considerando, in particolare, applicazioni ai sistemi multiagenti ed alla diagnosi.  Nel corso verranno presentati i seguenti contenuti: logiche modali, epistemiche e temporali; logiche descrittive e OWL2; metodi di prova per le logiche descrittive; ragionamento non-monotono e trattamento delle eccezioni;  sistemi multiagente e modelli di interazione e comunicazione fra agenti; diagnosi e sistemi multiagenti.

 

The aim of the course is to provide the main notions concerning the use of logic for knowledge rapresentation, the related reasoning techniques and some applications to multiagent systems and diagnosis. The course will address  the following topics: modal, epistemic and temporal logics; description logics and OWL2; proof methods for description logics; non-monotonic reasoning and reasoning about exceptions; multi-agent systems and agent communication; diagnosis and multiagent systems.

Suggested readings and bibliography



Oggetto:
Last update: 19/04/2018 09:40
Non cliccare qui!