Materiali Corso di Intelligenza Artificiale

Laurea in Informatica Anno accademico 2003/2004

Introduzione e Agenti Intelligenti
Presentazione Power Point
Risoluzione dei problemi e ricerca
Presentazione Power Point
Rappresentazione della conoscenza - Logica proposizionale
Presentazione Power Point
Rappresentazione della conoscenza - Logica dei predicati
Presentazione Power Point
Inferenza nella logica dei predicati
Presentazione Power Point
Programmazione logica e Prolog
Presentazione Power Point
Web semantico, Web Services, RDF, Tassonomie, Ontologie, Description Logic
Materiali pdf ed un esempio di DL
RDF, Ontologie e Prolog
Materiali su RDF e Prolog. Un esempio di come trattare ontologie RDF/RDFS in Prolog
Ragionamento con conoscenza incerta
Presentazione Power Point
Logica Fuzzy
Materiale sulla Logica Fuzzy

Artificial Intelligence: A Modern Approach(Second Edition)
Artificial Intelligence: A Modern Approach(Second Edition) by Stuart Russell and Peter Norvig
Materiale su: sianificazione, apprendimento induttivo, apprendimento statistico (Vedi slide e capitoli del librodisponibili in pdf).

Inductive Logic Programming

Si puo' consultare il capitolo del libro: Nils J. Nilsson Introduction to Machine Learning (1966)
 
Trattamento Automatico del Linguaggio Naturale
Una introduzione al Trattamento Automatico del Linguaggio Naturale
Trattamento Automatico del Linguaggio Naturale
Una introduzione al Trattamento Automatico del Linguaggio Naturale (File Zippato)

 

Ipertesto per l'apprendimento del Prolog e laboratorio  Prolog Lab


Manuale Prolog e Prolog Lab
Ipertesto per l'apprendimento del Prolog e laboratorio (Versione con applet/Java Plugin ) Prolog Lab
Manuale Prolog e Prolog Lab
Ipertesto per l'apprendimento del Prolog e laboratorio (Versione con applet Java) Prolog Lab
Manuale Prolog e Prolog Lab
Ipertesto per l'apprendimento del Prolog e laboratorio Prolog Lab
 
Corso Prolog
I testi e gli esempi del corso HyperProlog (File Zippato)
 
www.swi-prolog.org
Home page dell' SWI Prolog