Il corso introduce ai temi ed ai concetti dell’ ambito dell’ Intelligenza Artificiale che tratta della Rappresentazione e Gestione della Conoscenza, mediante metodi e tecniche basate principalmente sulla Logica e sulla produzione di regole. Dopo una introduzione, incentrata sulla presentazione di esempi concreti di Sistemi Intelligenti basati su tecniche Rule based, si parte con una panoramica delle tecniche di Problem Solving basate su Ricerca in Spazi degli Stati. Si introducono quindi i principali modelli per la Rappresentazione della Conoscenza, con un approfondimento dedicato all’ architettura ed ai linguaggi del Semantic Web. Si passa quindi ai modelli e tecniche di ragionamento automatizzato basato su deduzione ed Inferenza, in particolare i modelli basati sulla Logica. Viene quindi illustrato il Linguaggio Prolog, basato sul Calcolo dei Predicati, ed il linguaggio di inferenza per il Semantic Web – SWRL. Infine viene presentato un importante campo applicativo dei metodi illustrati: il Natural Languiage Processing.
