Comunicazioniappello straordinario09-01-2018 12:15
E' stata fissata la data dell'appello straordinario di Intelligenza Artificiale 1: 22/02/2018
| I appello d'esame 9 febbraio 201710-02-2017 15:58
Sono stati pubblicati i risultati della prova d'esame del 09/92/2017
| lezione 6 ottobre sospesa05-10-2016 18:46
La lezione del 6 ottobre non si svolgerà a causa di un malore improvviso del docente
| comunicazioni docente-studenti30-09-2016 14:48
Il docente si impegna a riportare sul sito del corso tutte le comunicazioni di interesse per gli studneti, anche se sono state già presentate in aula.
Tutti gli studenti che desiderino comunicare con il docente possono esporre le loro richieste durante le ore di lezione oppure possono inviare una mail al docente pazienza@info.uniroma2.it |
Lezioni26 | 26-01-2017
compito di prova d'esame con spiegazioni | 25 | 24-01-2017
Esercitazioni su Inferenze, inconsistenze, DL e SPARQL | 24 | 19-01-2017
Esercitazi su Inferenze, inconsistenze, DL e SPARQL | 23 | 17-01-2017
esercizi su ontologie in OWL | 22 | 12-01-2017
SPARQL
OWL) | 21 | 10-01-2017
RDF/RDFS/OWL+DL | 20 | 22-12-2016
Inheritance | 19 | 20-12-2016
tassonomie e classificazione | 18 | 15-12-2016
meaning ed entailment | 17 | 13-12-2016
Semantica delle sentences in DL | 16 | 06-12-2016
Description logics: motivazioni e sintassi del linguaggio | 15 | 01-12-2016
Esercitazione su frames | 14 | 29-11-2016
Rappresentazione della conoscenza basata su frames | 13 | 24-11-2016
Clausole di Horn | 12 | 22-11-2016
Risoluzioni con variabili e quantificatori | 11 | 17-11-2016
resolution for entailment | 10 | 15-11-2016
Resolution nel caso proposizionale | 9 | 10-11-2016
esercizi su rappresentazione di conoscenza di dominio | 8 | 03-11-2016
rappresentare la conoscenza in un dominio predefinito | 7 | 27-10-2016
Come esprire in FOL la conoscenza | 6 | 25-10-2016
FOL: semantica del linguaggio ed esercizi | 5 | 20-10-2016
FOL: sintassi del linguaggio | 4 | 18-10-2016
linguaggi imperativi versus linguaggi dichiarativi | 3 | 13-10-2016
modelli formali a supporto del ragionamento automatico | 2 | 11-10-2016
Innovatività dell'approccio di Intelligenza Artificiale alla soluzione dei problemi | 1 | 04-10-2016
Introduzione all'Intelligenza Artificiale
Presentazione del corso: argomenti, libri di testo, modalità d'esame |
Materiale didatticorisultati prova d'esame del 12/09/02017 | | risultati prova d'esame del 20 giugno 2017 | | Risultati della prova d'esame del 23 febbraio 2017 | | Risultati appello 09/02/2017 | | errori comuni nelle prove d'esame | | compito di prova | | nuovi esercizi con soluzioni | | nuovi esercizi con soluzioni | | nuovi esercizi | | esercizi 8,9 con soluzioni | | esercizi 8,9 OWL | | esercici con soluzioni | | esercici | | esercici con soluzione | | esercici | | SPARQL | | RDF-RDFS | | OWL | | mappatura OWL-DL | | Possibili domande sulle tipologie di ereditarietà | | Deverse tipologie di ereditarietà | | popssibili domande sulle Description Logics | | Description Logics | | possibili domande su frames | | Possibili domande sulle clausole di Horn | | Frames | | Clausole di Horn | | Possibili domande su Resolution | | Resolution nel caso proposizionale | | quale conoscenza inserire in una base di conoscenza | | Possibili domande sulla logica del primo ordine | | da linguaggio naturale a FOL | | FOL - First Order Logic | | Come rappresentare formalmente il "pensiero" contribuisce ad un comportamento intelligente di un agente. | | Rappresentazione della conoscenza e ragionamento automatico | | Presentazione delle tematiche del corso e della sua organizzazione | |
| InformazioniAnno accademico | 2016-2017 |
---|
Crediti | 6 |
---|
Settore | ING-INF/05 |
---|
Anno | 3 |
---|
Semestre | 1 |
---|
Propedeuticità | Programmazione dei calcolatori con laboratorio. |
---|
Programma
Programma del corso di Intelligenza Artificiale 1
|
Presentazione: argomenti, introduzione
|
Rappresentazione della conoscenza e ragionamento automatico
Logica del primo ordine
Basi di conoscenza: ontologie, inferenza
Sistemi di ragionamento logico: frame e reti semantiche
Introduzione al Semantic Web
RDF/RDFS
|
Esercitazioni del corso di Intelligenza Artificiale 1
|
OWL: struttura del linguaggio
|
Esercizi su gestione conoscenza
|
Linguaggi di Interrogazione per il Web Semantico
|
Strumenti per lo sviluppo e la gestione di Ontologie
|
Thesauri and Concept Scheme Development: SKOS & SKOS-XL
|
Esercizi su gestione conoscenza
|
Tecnologie per la gestione di repository RDF
|
Linked Open Data
|
Obiettivi formativi del corso di Intelligenza Artificiale 1
|
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.
Testo consigliato del corso di Intelligenza Artificiale 1
|
“Knowledge representation and reasoning”, Brachman e Levesque:, Morgan Kaufmann, Cap. 1,2,3,4.1,4.2,5,8,9,10 (solo capitoli selezionati)
Modalità di accertamento del corso di Intelligenza Artificiale 1
|
Esame scritto con domande a risposta libera ed esercizi |
Testi di riferimento
Testo consigliato del corso di Intelligenza Artificiale 1
|
“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 studentitutti i giorni dopo la lezione
oppure su richiesta dello studente in data ed ora da concordare |
Modalità di esame
Esame scritto con domande a risposta libera sugli argomenti di teoria ed esercizi |
|