Intelligenza artificiale 1

prova in itinere di Intelligenza Artificiale 1

Giovedì 14 gennaio ore 14 in aula 8 edificio della didattica di Ingegneria

incontro con aziende

Il 4 dicembre alle ore 14,30 presso l'aula Gismondi gli studenti

potranno incontrare alcune aziende informatiche. Fra queste,

Capgemini, Expert System, Sinergieit, Onyx Technology, Reveal, IBM.

Si invitano tutti gli studenti, ed in particolare quelli del terzo anno e della magistrale, a partecipare.

la prima lezione si terrà il giorno 6 ottobre 2015 con il seguente calendario:

martedì ore 11,30-13,30 aula B6 Macroarea di Ingegneria

giovedì ore 11,30-13,30 aula B7 Macroarea di Ingegneria

prova in itinere su OWL

prova d'esame

esercitazioni

esercitazioni 

esercitazioni su RDF

varie forme dell'inheritance a supporto del ragionamento automatico

DL: entailment

Description Logics: motivazioni

rappresentazione della conoscenza con frames

Clausole di Horn

prova in itinere su resolution

entailment

rappresentazione della conoscenza (fatti base, complessi, terminologia...)

prova in itinere su FOL

first-order resolution

risoluzione: parte 2

risoluzione: parte 1

esercizi: rappresentazione in forma logica della conoscenza di una applicazione

rappresentazione della conoscenza in un'applicazione ed entailment 

Denotation, satisfaction, entailment in FOL

Interpretazione in FOL

Introduzione alla logica del primo ordine

cenni di logica proposizionale

introduzione al paradigma computazionale logico

metodologie di rappresentazione della conoscenza

presentazione dle corso: tematiche, programma, modalità di svolgimento 

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) 

“Knowledge representation and reasoning”,  Brachman e Levesque:, Morgan Kaufmann, Cap. 1,2,3,4.1,4.2,5,8,9,10 (solo capitoli selezionati) 

subito dopo la lezione; inviando una mail al docente: pazienza@info.uniroma2.it è possibile fissare un ricevimento in data ed ora da concordare con il docente

Esame scritto con domande a risposta libera ed esercizi

****************

Per gli studenti che frequentano e studiano costantemente è prevista una verifica scritta alla fine di ciascun ciclo di lezioni relative ad un argomento; tale verifica sarà valutata dal docente ed i risultati comunicati agli studenti.

Alla fine del corso il docente, alla luce dei risultati conseguiti in tutte le verifiche parziali, proporrà un voto finale. Lo studente potrà accettarlo come voto d'esame o presentarsi alle prove ufficiali d'esame previste sostenendo la prova d'esame.

Non sono previsti esoneri parziali.

****************