Intelligenza Artificiale I, a.a. 2000-2001

Informazioni e materiale sul corso

Programma per calcolo dei voti

Programma Prolog per il calcolo del voto finale di un compitino in cui ci sono DUE gruppi di domande e TRE gruppi di esercizi.
Codice sicstus
Modo di utilizzo

Programma Prolog per il calcolo del voto finale di un compitino in cui ci sono TRE gruppi di domande e DUE gruppi di esercizi.
Codice sicstus
Modo di utilizzo

Lezione 30/11/2000

Esercizio sulla delete: codice (scritto in SICStus Prolog) e risultati .
Esercizio sulla most specific generalization: codice (scritto in SICStus Prolog) e risultati .
Esercizio sulla generazione di lemmi: codice (scritto in SICStus Prolog) e risultati .

Primo compitino 13/12/2000

Testo del compito: (file postscript).
Voti: (tabella html) .

Lezione 14/12/2000

Slides su applicazioni di constraints ad Intelligenza Artificiale: file pdf (259132 bytes).
Queste slides sono state presentate da Michela Milano al workshop AI*IA 1999.
Le pagine che vi interessano vanno dalla 68 alla 106.
Esercizio su scheduling implementato in CLP: codice (scritto in Eclipse!) e risultati .

Lezione 11/01/2001

Esercizio delle N regine implementato in CLP: codice (scritto in Eclipse!).

Secondo compitino 16/01/2001

Testo del compito: (file postscript).
Metainterprete che modifica l'algoritmo di unificazione: (SICStus Prolog).
Metainterprete che chiede all'utente di scegliere le clausole (non backtrackable): (SICStus Prolog).
Voti: (tabella html) .

Lezione 23/01/2001

Slides su comunicazione e linguaggio naturale: (postscript).
Slides su SHRDLU: (postscript).
Esercizi su grammatiche implementate in Prolog: (file .tar). Tutti i programmi sono stati realizzati sotto SICStus Prolog.

Lezione 25/01/2001

Slides su learning: (postscript). Parte della lezione segue il capitolo 18 del testo di Ivan Bratko, "PROLOG, programming for artificial intelligence", seconda edizione (in biblioteca c'e' solo la prima edizione).

Terzo compitino 06/02/2001

Testo del compito: (file postscript).
Metainterprete che stampa la lunghezza di una derivazione: (SICStus Prolog).
Metainterprete che chiede all'utente di scegliere le clausole (non backtrackable): (SICStus Prolog).
Voti: (tabella html) .

Prospetto voti complessivi

Voti: (tabella html) .

Esercitazione

Testo dell'esercitazione (file postscript).
Codice algoritmo alfa-beta pruning (codice Prolog).
Schema di gioco di base realizzato in CaseLP (NUOVO!!!! Versione 17-05-2001) (archivio .tgz). Leggete molto attentamente il file README.txt ed il file caselp.ps prima di cimentarvi con l'esercitazione!

Altre informazioni per gli studenti

Esercizi svolti

Trovate molti esercizi svolti ed alcuni testi dei compitini degli anni passati qui (A.A. 1998 - 1999) e qui (A.A. 1999 - 2000) .

Manuali di Prolog on-line

Sulle macchine del sw2 sono installati Eclipse (l'interprete si chiama lanciando ``eclipse'') e SICSTUS Prolog (l'interprete si chiama lanciando ``/share/pub/sicstus/bin/sicstus'').

Andate alla Home Page di SICStus Prolog per informazioni su SICStus

Manuali di SICStus Prolog disponibili su Web

HTML: single file (1.6MB), gzipped tar-file (396kB), zip-file (396kB).
PDF: plain (2.5MB), gzipped tar-file (1.5MB), zip-file (1.5MB).
Info: gzipped tar-file (381kB), zip-file (405kB), separate files.

Andate alla Home Page di ECLiPSe per vedere esempi di utilizzo del linguaggio

Back to Viviana's home page