- 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: