Intelligenza artificiale 1

Docente: Maria Teresa Pazienza

Comunicazioni

prova in itinere di Intelligenza Artificiale 1

07-01-2016 12:44

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


incontro con aziende

03-12-2015 15:16

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.


06-10-2015 17:25

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


Lezioni

2821-01-2016

prova in itinere su OWL

2719-01-2016

prova d'esame

2614-01-2016

esercitazioni

2512-01-2016

esercitazioni 

2422-12-2015

esercitazioni su RDF

2317-12-2015

varie forme dell'inheritance a supporto del ragionamento automatico

2215-12-2015

DL: entailment

2110-12-2015

Description Logics: motivazioni

2003-12-2015

rappresentazione della conoscenza con frames

1901-12-2015

Clausole di Horn

1826-12-2015

prova in itinere su resolution

1705-11-2015

entailment

1603-11-2015

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

1429-10-2015

prova in itinere su FOL

1224-11-2015

first-order resolution

1119-11-2015

risoluzione: parte 2

1017-11-2015

risoluzione: parte 1

912-11-2015

esercizi: rappresentazione in forma logica della conoscenza di una applicazione

810-11-2015

rappresentazione della conoscenza in un'applicazione ed entailment 

727-10-2015

Denotation, satisfaction, entailment in FOL

622-10-2015

Interpretazione in FOL

520-10-2015

Introduzione alla logica del primo ordine

415-10-2015

cenni di logica proposizionale

313-10-2015

introduzione al paradigma computazionale logico

208-10-2015

metodologie di rappresentazione della conoscenza

106-10-2015

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


Materiale didattico

Risultati prova d'esame del 14 settembre 2016

Risultati prova d'esame del 30 giugno 2016

risultati secondo appello d'esame

risultati 1° appello

Risultati finali relativi a tutte le prove in itinere.

risultati prova in itinere esercizi OWL

risultati prova 2-3 su Resolution

errori o imprecisioni comuni nei compiti

compito di prova

risultati prova in itinere su Inheritance

risultati prova in itinere su DL

note addizionali sul Semantic Turkey

nuovi esercizi con soluzioni

nuovi esercizi

esercizi vari

mappatura owl-DL

esercizi 1-7 con soluzioni

esercizi 1-7

esercizi 8-9 con soluzione

esercizi 8-9

Semantic Turkey completo anche di manuale d'uso

risultati aggiornati della prova in itinere sui Frames

SPARQL

RDF-RDFS

OWL

inheritance

esempi di domande sull'inheritance

Insieme di possibili domande su le Description Logics

Slide seminario David Israel 

Description Logics

Frames per la rappresentazione della conoscenza

esempi di domande sulle Clausole di Horn

clausole di Horn

esempi di domande per la prova in itinere su RESOLUTION - gli studenti sono invitati a rispondere a queste domande dopo aver studiato l'argomento sul libro di testo e sulle slide del docente - può essere usato anche come momento di autovalutazione

Risultati della prova in itinere su FOL

automatizzare il processo deduttivo di ragionamento

rappresentazione della conoscenza di una applicazione

esempi di domande per la prova in itinere su FOL - gli studenti sono invitati a rispondere a queste domande dopo aver studiato l'argomento sul libro di testo e sulle slide del docente - può essere usato anche come momento di autovalutazione

First order logic - Logica del primo ordine o calcolo dei predicati

conoscenza, rappresentazione e ragionamento automatico come concetti chiave dell'Intelligenza Artificiale

rappresentazione della conoscenza e ragionamento automatico: introduzione

lezione introduttiva al corso

Informazioni

Anno accademico2015-2016
Crediti6
SettoreING-INF/05
Anno3
Semestre1
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) 

 

 

 


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 studenti

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


Modalità di esame

 

Modalità di accertamento del corso di Intelligenza Artificiale 1

 

 

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.

 

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