Comunicazioni
| 30-08-2018 11:37 il primo appello della sessione autunnale si terrà il giorno 12 settembre 2018 dalle ore 10 alle 13. aula B14 edificio della didattica di Ingegneria |
compito di prova16-01-2018 15:56Si ricorda agli studenti che la lezione del 23 gennaio sarà dedicata a fare un esercizio scritto come prova d'esame. La lezione del 25 gennaio servirà come riepilogo generale e per rispondere a domande degli studenti |
appelli d'esame NON mutuamente esclusivi12-01-2018 11:45Si comunica agli studenti che potranno partecipare ad entrambi gli appelli d'esame nel caso non superassero la prima prova.
Si ricorda poi che, se si presentano al secondo appello dopo aver superato la prima prova d'esame, questo comportamento è equivalente alla non accettazione del primo voto. |
comunicazione urgente12-12-2017 10:50si invitano le studentesse del corso di Intelligenza Artificiale a contattare urgentemente la professoressa Pazienza (anche per mail pazienza@info.uniroma2.it) per comunicazioni urgenti |
lezione del 30 novembre28-11-2017 14:35La lezione del 30 novembre del corso di Intelligenza Artificiale 1 non avrà luogo |
| 09-10-2017 07:22 La lezione del 10 ottobre del corso di Intelligenza Artificiale 1 non avrà luogo |
| 26-09-2017 16:49 Per qualunque problema o richiesta di informazione gli studenti possono inviare una mail al docente (pazienza@info.uniroma2.it) e riceveranno risposta al più presto. |
Lezioni
| 28 | 25-01-2018 riepilogo generale per rispondere a tutti gli eventuali dubbi degli studenti.
|
| 27 | 23-01-2018 compito di prova |
| 26 | 18-01-2018 ancora esercizi con OWL, DL e SPARQL |
| 25 | 16-01-2018 Esercizi con OWL, DL e SPARQL |
| 23 | 11-01-2018 esercizi su DL+SPARQL |
| 22 | 21-12-2017 SPARQL: linguaggio di interrogazione per Ontologie |
| 21 | 19-12-2017 Linguaggi per rappresentare le Ontologie: RDF/RDFS/OWL |
| 20 | 14-12-2017 inheritance |
| 19 | 12-12-2017 tassonomie e classificazione |
| 18 | 04-12-2017 interpretazione ed entailment nelle description logics |
| 17 | 30-12-2017 logiche descrittive |
| 16 | 28-11-2017 rappresentazione strutturata della conoscenza ontologica |
| 15 | 23-11-2017 rappresentazione della conoscenza basata su frame: un'applicazione |
| 14 | 21-11-2017 Frames per la rappresentazione della conoscenza: introduzione |
| 13 | 16-11-2017 Clausole di Horn |
| 12 | 14-11-2017 first-order resolution |
| 11 | 09-11-2017 risoluzione per derivazione |
| 10 | 07-11-2017 Come realizzare l'entailment su una base di conoscenza |
| 9 | 02-11-2017 come definire il vocabolario di simboli non logici ed i fatti di una base di conoscenza |
| 8 | 31-10-2017 processo di entailment |
| 7 | 26-10-2017 esercizi FOL |
| 6 | 24-10-2017 esercizi FOL |
| 5 | 19-10-2017 FOL: come si esprime la semantica nel linguaggio |
| 4 | 17-10-2017 FOL: sintassi del linguaggio |
| 3 | 12-10-2017 rappresentazione della conoscenza e ragionamento automatico |
| 2 | 05-10-2017 introduzione alla rappresentazione della conoscenza |
| 1 | 03-10-2017 presentazione delle tematiche e delle modalità di svolgimento del corso |
Materiale didattico
risultati prova d'esame del 21 settembre 2018 |  |
risultati prova d'esame del 10/07/2018 | |
Risultati prova d'esame del 21 giugno 2018 | |
Risultati secondo appello d'esame | |
Risulta della prima prova d'esami di IA1 | |
altri esercizi | |
Esempio di esercizio d'esame | |
esercizi con soluzioni | |
esercizi su DL+SPARQL | |
esercizi su ontologie | |
SPARQL | |
RDF-RFDS | |
Matching entities.. | |
mappatura owl-DL | |
possibili domande su inheritance | |
possibili domande su DL | |
possibili domande su Clausole di Horn | |
possibili domande su Resolution | |
possibili domande su FOL | |
aspetti dell'inheritance | |
logiche descrittive | |
frames per rappresentare situazioni | |
Risoluzione con clausole di Horn | |
Risoluzione | |
codificare la conoscenza in una KB | |
esercizi con quantificatori universali FOL | |
esercizi con quantificatori FOL | |
esercizi con formule atomiche FOL | |
esercizi FOL | |
Logica del primo ordine | |
rappresentazione della conoscenza e ragionamento automatico | |
presentazione delle tematiche e delle modalità di svolgimento del corso di IA1 | |
Informazioni
| Anno accademico | 2017-2018 |
|---|---|
| Crediti | 6 |
| Settore | ING-INF/05 |
| Anno | 3 |
| Semestre | 1 |
| Propedeuticità | Programmazione dei calcolatori con laboratorio. |
Programma
Fornire agli studenti che seguono questo corso le motivazioni e la conoscenza di base relative alla modellazione dei sistemi intelligenti; in particolare la gestione della conoscenza (Knowledge Management) e le basi dell’apprendimento automatico oltre alla possibilità del loro uso per risolvere problemi complessi (Knowledge Based Systems) anche nel contesto del Semantic Web.
“Knowledge representation and reasoning”, Brachman e Levesque:, Morgan Kaufmann, Cap. 1,2,3,4.1,4.2,5,8,9,10 (solo capitoli selezionati)
Esame scritto con domande a risposta libera ed esercizi |
Testi di riferimento
“Knowledge representation and reasoning”, Brachman e Levesque:, Morgan Kaufmann, Cap. 1,2,3,4.1,4.2,5,8,9,10 (solo capitoli selezionati)
|
Ricevimento studenti
dopo ciascuna lezione e su richiesta dello studente in qualunque data; inviare una mail al docente per fissare un incontro (pazienza@info.uniroma2.it) |
Modalità di esame
Esame scritto con domande a risposta libera ed esercizi |