2015
2015
Sei collegato come utente non registrato
Riepilogo dell'insegnamento: Intelligenza Artificiale
| Informazioni generali | |||
| Corso di Laurea | Informatica | Percorso | |
|---|---|---|---|
| CFU | 9 | Università | della CALABRIA |
| Ore di didattica frontale per CFU | 9 | Settore Scientifico Disciplinare | INF/01 |
| Commento | 2 dei crediti previsti sono dedicati ad attivita' di laboratorio | ||
9 cfu così ripartiti nelle aree:
- 9 CFU nell'area M - Rappresentazione della conoscenza
Sillabo dell'insegnamento
- M - Rappresentazione della conoscenza
-
*
RP - Risoluzione di Problemi
* IS-BKRR - Basic Knowledge Representation and Reasoning
Rappresentazione della Conoscenza e Applicazioni -
AI - Agenti Intelligenti
IS-Ag - Agents
Intelligenza computazionale, agenti intelligenti -
BC - Basi di Conoscenza
* IS-FI - Fundamental Issues
Basi di conoscenza -
*
LPD - Logica e Programmazione Dichiarativa
* IS-BKRR - Basic Knowledge Representation and Reasoning
Linguaggi Basati sulla Logica -
*
LPD - Logica e Programmazione Dichiarativa
* IS-BSS - Basic Search Strategies
Programmazione dichiarativa vs programmazione imperativa -
*
LPD - Logica e Programmazione Dichiarativa
* IS-BKRR - Basic Knowledge Representation and Reasoning
Basi teoriche della ASP: Semantica formale, proprietà dei programmi, complessità computazionale -
*
LPD - Logica e Programmazione Dichiarativa
IS-ARR - Advanced Representation and Reasoning
Estensioni: Weak constraints, Aggregati -
*
SBC - Sistemi Basati su Conoscenza
* IS-BKRR - Basic Knowledge Representation and Reasoning
Il sistema di Intelligenza Artificiale DLV -
*
RP - Risoluzione di Problemi
* IS-BKRR - Basic Knowledge Representation and Reasoning
Uso del sistema di intelligenza artificiale DLV per l'interrogazione di basi di conoscenza complesse, per la rappresentazione e la risoluzione automatica dei problemi
Le sottoaree "obbligatorie" sono prefisse da un segno più (+). Le sottoare "suggerite" sono prefisse da un segno asterisco (*).
