 |
 |
| Home | Search | Help |
|
Intelligenza Artificiale 1999 - 2000Lezione 11 Novembre 1999
Lucidi su Agenti, Multi-Agent
Systems e Software Engineering
Un buon articolo (in inglese)
per una panoramica sugli agenti
Lezione 2 Dicembre 1999 Esercizio sul cut Esercizio sull'uso del predicato
"is" Esercizio sulla manipolazione
di termini Esercizio sulle liste SBAGLIATO
Esercizio sulle liste GIUSTO
Primo Compitino 14 Dicembre 1999 Testo e soluzioni PARZIALI Esercizio sulle liste
Esercizio sui termini
Lezione 21 Dicembre 1999Esercizi Prolog su assert,
retract e bagof (preparazione secondo compitino)
Lezione 13 Gennaio 2000 Esercizi Prolog su uso di
functor e arg per costruire termini, backtracking e setof
(preparazione secondo compitino)
Risultati degli esercizi
Alcuni chiarimenti su cosa
deve essere istanziato nelle assert, retract e clause
Un puntatore verso le
difference lists....
Secondo Compitino 18 Gennaio 2000 Testo parte Martelli Testo parte Sissa
Terzo Compitino 8 Febbraio 2000 Testo
Esercitazione Testo dell'esercitazione
Documentazione FIPA su
Personal Travel Assistants
Criterio di valutazione:
Informazioni per gli studentiSulle 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 consultare il manuale on-line di SICStus. Da questa pagina potete accedere ad una versione HTML ed una versione PDF de manuale. Andate alla Home Page di ECLiPSe per vedere esempi di utilizzo del linguaggio
|
