Intelligenza Artificiale 1 2016/2017

Presentazione del corso, introduzione agli argomenti trattati ed alle modalità d’esame

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