Agenti
Intelligenti Spring 2019
Intelligent Autonomous Agents
News: prossimi
appelli, vedere (next exam dates, refer to) http://www.disim.univaq.it/didattica/
Il Corso di Intelligent
Autonomous Agents è un modulo da 6 crediti della Laurea Magistrale in
Informatica percorso NeDas, ed è parte (insieme al
modulo di Intelligenza Artificiale I) del Corso Integrato da 12 CFU di
Computational Intelligence. The
Intelligent Autonomous Agents Course is a 6 CFU module included in the MsC Degree in Computer Science, NeDas
track, and is a part (together with Artificial Intelligence I) of the full 12
CFU Course of Computational Intelligence.
Il materiale didattico scaricabile è
aggiornato al 2019. Downloadable lecture notes are updated to 2019.
Gli studenti che hanno
frequentato in anni precedenti e gli studenti del VECCHIO ORDINAMENTO
*devono* avvertire la segreteria in
tempo utile in modo da far caricare su ESSE3 il loro appello.
NON inviare e-mail per ISCRIVERSI
agli appelli, è completamente inutile: se ESSE3 non consente l’iscrizione ad
uno studente vuol dire che c’è un problema con la carriera pregressa, e tale
problema deve essere risolto dalla segreteria studenti, altrimenti non sarà
possibile registrare l’esame. NON chiedermi il numero dell’aula, che viene
fissato dalla segreteria: quindi, si può chiedere in segreteria oppure (come fa
la docente) consultare il sito web.
REGISTRAZIONE
Importante!!! Gli
studenti che intendessero registrare l’esame in appelli successivi devono sempre avvertire la docente. Per sicurezza, meglio
farsi rilasciare un attestato firmato con data e voto. Infatti, la docente non può farsi carico di conservare i file dei voti e i compiti
cartacei a tempo indeterminato, e ovviamente non si registrano voti “sulla
parola”. Pertanto, chi non avverte o comunque non può attestare il voto
riportato dovrà senza eccezione alcuna ripetere l’esame. Poiché si utilizza il
sistema ESSE3 non è possibile registrare fuori appello.
NOTA BENE: è utile
registrarsi su ESSE3 prima di fare ogni prova per permettere alla segreteria di
pianificare l’uso delle aule. E’ però *INDISPENSABILE* ISCRIVERSI SU ESSE3
QUANDO SI VOGLIA REGISTRARE, anche eventualmente in appelli successivi a quello
dello scritto: infatti, la prenotazione è valida solo per un appello e non è
prolungabile automaticamente.
Libri di Testo - Textbooks
D. Poole, A. Mackworth, R. Goebel,
Computational Intelligence: a Logical Approach, Oxford University Press
pagina web del libro, con le copie delle slide delle lezioni (overhead transparencies) e molti
esercizi (web
site of the book, with online slides and exercises): http://www.cs.ubc.ca/spider/poole/ci.html
Fortemente
consigliato (strongly advised), è forse il testo più
completo sugli argomenti trattati:
Russel, Norvig, Intelligenza Artificiale, un Approccio Moderno,
edito da UTET Libreria (English edition
available)
MODALITÀ DI ESAME: questionario scritto composto da:
domande chiuse, domande aperte ed esercizi (vedi sotto).
Eventuale orale su richiesta,
preferibilmente per voti alti con l'obiettivo di raggiungere il massimo.
+
Progetto OBBLIGATORIO (vedi sotto),
punteggio massimo attribuito 5 punti, calcolato in base alla qualità del
lavoro, al numero di componenti del gruppo ed all'argomento.
Per la parte di Intelligenza Artificiale I del
Corso da 12 Crediti, rivolgersi al Prof. Pasquale Caianiello, E-mail
pasquale.caianiello@univaq.it
PROGRAMMA DEL CORSO
E’ richiesta la
conoscenza almeno di base del linguaggio di programmazione Prolog
(a basic
knowledge of the Prolog programming language is required)
ARGOMENTI I parte (Topics 1st part)
- Cos'è un agente (what is
an agent)
- Architetture
ad Agenti (Agent Architectures)
- Comunicazione
fra Agenti (Inter-agent
Communication)
- Linguaggio AgentSpeak (AgentSpeak Language)
- Linguaggio
DALI (DALI Language)
- Modello
KGP fino alle Cycle
Theories senza dettagli sulle transizioni (KGP Model, until
Cycle Theories included, no formal details on transitions)
ARGOMENTI II parte (Topics 2nd part)
- Abduzione
e Programmazione Logica Abduttiva, Event Calculus
(anche Abduttivo) (Abduction and Abductive Logic Programming, (Abductive)
Event Calculus)
- Commonsense Reasoning,
Default Reasoning, Planning (Commonsense
Reasoning, Default Reasoning, Planning)
- Answer Set Programming (ASP), Planning in ASP
- Apprendimento
automatico (Machine Learning):
alberi di decisione, cenni sulle Reti Neurali (decision trees, neural networks in a nutshell)
- Multi-Agent
Systems: Concetti Base di teoria dei Giochi, Cooperazione, Competizione e
Negoziazione (Game Theory Basic, Cooperation, Competition and
Negotiation)
Da Studiare (TO
STUDY): Textbook (Chapters Related to Course Topics), Lecture notes Slides
packages 1-14, plus slides in the Commonsense Reasoning folder and examples in
the Answer Set Programming folder. Slide package 0 and Prolog folders include
useful background material.
Material 2017: AI-Materiale2017.zip
Optional material is
also mentioned below and might be considered.
IL MATERIALE FORNITO include (LECTURE NOTES include): slide su tutti gli argomenti
del Corso, incluso il
Prolog con vari esempi di programmi, e testi di vecchi compiti (slides on all the topics listed
above, including Prolog for which sample programs are provided; old exam tests
are also included)
PROGETTI 2019
(Projects 2019)
·
Il progetto è
obbligatorio, e può essere svolto in gruppi composti da 1 a 3 persone.
Ovviamente l'entità del lavoro deve essere proporzionale al numero dei
componenti. Il progetto può essere svolto in DALI, ASP o eventualmente
AgentSpeak (scaricando l’interprete jason). Ogni
gruppo può, volendo, sottoporre al docente una traccia di propria scelta.
·
The project is
mandatory, and can be developed by groups composed by 1-3 persons. However, the
amount of work is expected to be proportional to the number of participants.
The project can be developed either in DALI or in ASP or also in AgentSpeak (downloading the Jason interpreter). A group can
possibly propose to the lecturer a different subject of their choice.
Il
progetto da sviluppare va convenuto con il Prof. Giovanni De Gasperis (email giovanni.degasperis@univaq.it
).
Le
istruzioni su come scaricare ed usare l'interprete DALI sono su questo sito web
del docente (dalla home, sezione DALI). Per l’ultima versione dell’interprete
(dotata di interfaccia friendly) contattare il Prof.
Giovanni De Gasperis. Il materiale richiesto è: una breve relazione contenente
il programma con gli opportuni commenti e spiegazioni, e qualche prova di
esecuzione. Prepararsi ed eseguire una demo al docente.
The project subject will
be provided by Prof. Giovanni De Gasperis (email giovanni.degasperis@univaq.it
). Instructions about how to download
and use the DALI language interpreter are on this web site (from home, section "DALI"). For the last version of the interpreter
(with a “friendly” user interface) contact Prof. Giovanni De Gasperis. The
required material consists of: a short note describing and reporting the
program, with the necessary comments and explanation, and some execution trace.
Be prepared to give a demonstration to the teacher.
MATERIALE ADDIZIONALE (ADDITIONAL
MATERIAL)
Lo studente Andrea Cherri,
che ha seguito il Corso nel 2010, ha tradotto l’intero insieme di slide in
Italiano, e le mette a disposizione dei colleghi.
La traduzione comprensibilmente non è perfetta, per cui in caso di dubbi
si invitano gli studenti a fare riferimento alle slide originarie, però metto
comunque
volentieri a disposizione questo materiale CorsoAI\Agenti Intelligenti - Slides in Italiano - Cherri Andrea 200071.zip, con sentiti
ringraziamenti all’autore.
Per capire Prolog
e ASP (to understand Prolog and ASP) per cortesia di Agostino Dovier e Andrea Formisano,
vedere il libro (see the book): dovier-formisano-prog-dichiarativa-apr08.pdf
Letture consigliate - Further readings
How to Be Artificial Intelligent,
the Logical Way,
new book by Prof. Robert A. Kowalski,
on-line at URL HowTo
Interpreti freeware - Free software
· 
Per i programmi Prolog: SWI-Prolog
· Per i programmi
Datalog e per ASP (Answer Set Solvers): si puo' usare
smodels
oppure DLV oppure Clasp+Gringo
MATERIALE
VARIO (MISCELLANEOUS MATERIAL)
Answer
Set Programming (ASP)
V. Lifschitz,
Answer Set Programming, articolo invitato per i Congressi (invited talk of Conferences) ICPL99 e LPNMR99 asp.ps
S. Costantini, Introduzione al Datalog e all'ASP, in
Inglese ( Tutorials, in English) datalog.zip ASPSC_Tut03.pdf
Una buona Introduzione in Inglese sulle applicazioni
dell'Answer Set Programming , per cortesia del Prof. Dirk Vermeir
(A nice presentation on applications
of Answer Set Programming, thanks to Prof. Dirk Vermeir)
Vrije Universiteit Brussels
ASP_appls.pdf
Presentazione più formale, per cortesia
Esempi (per smodels)
graphcolSM.txt hamSM.txt blockwSM.txt
Default Reasoning in ASP
(formalization of the example in
Prolog
Slides by Stefania
Costantini (in Italian) Prolog1.htm Prolog2.htm Metainterpreti.htm
Slides by the
University of Cambridge (UK) PrologAI and by theUniversity of Edinburgh PrologAIE
Esempi discussi
durante il Corso (small
examples discussed during the Course) Prolog_examples
Agenti Intelligenti, un'Introduzione - Intelligent Agents,
an Introduction by Stefania Costantini Agenti2006.ppt
Agent Architectures:
Lectures by Ph.D. Student Arianna Tocchio Architetture per Agenti
Intelligenti.ppt
ACL and Jade: Lectures
by Vasco Gallotti jadeOverview.ppt
DALI: Lectures by Ph.D. Student Arianna Tocchio lezione2.ppt
DALI is an
agent-oriented logic programming language developed at Dip. di Informatica,
Abduction, Overview by
Prof. Francesca Toni,
Esami - Exams
Per
prepararsi (OLD EXAM TEXTS, ovviamente non considerare gli argomenti non
trattati in questa edizione del Corso (clearly, disregard
topics not treated in this edition
of the Course):
Testi dei parziali (partial) pAI0206.doc
pAI0306.doc
Testi del Totale (total) tAI0306.doc cAI-13Lug09.doc cAI-15Dic09.doc cAI15Set08.doc
RISULTATI:
RESULTS 2019
Partial+Total Test
June 27, 2019 Results: Ris2Parz+Tot-27-06-2019.pdf
Partial Test April 10, 2019 Results: ris_p1AI10Aprile2019.xls
Total 7 February 21, 2019 Results: Yaseen Khan
Tanoli 24/30 (2,2,2,2,2,2,3,4,2,3); Sohrabi Mohammad 22/30 (2,2,2,2,2,2,4,3,0,3). Discussion of
written tests (if needed) February 27-28 after lunch or March 5-7 after lunch.
Grades are valid until September, they are to be added to the grades obtained
via the project. For the project, contact Prof. Giovanni De Gasperis,
giovanni.degasperis@univaq.it
Totale 7 febbraio 2019 Risultati GAROFALO Samuel 25/30
(0,2,2,2,2,2,4,1,5,5) discussione compiti e verbalizzazione su appuntamento in
corrispondenza del prossimo appello, è necessario iscriversi su ESSE3.
Totale 24 gennaio 2019 Risultati GAROFALO Samuel 20/30
(2,2,2,1,2,2,3,0,3,3) discussione compiti e verbalizzazione in uno dei prossimi
appelli, è necessario iscriversi su ESSE3.
Totale 5 Luglio 2018 Risultati Bucci Ubaldo 23/30 (0,2,2,2,2,0,4,4,5,2)
discussione compiti e verbalizzazione il 26/7 o a Settembre. Raccomandazioni:
il progetto va svolto ed il voto va registrato entro Settembre; occorre
iscriversi all’appello dove si intende registrare.
Parziale e Totale 21 Giugno 2018 Risultati ris_p2+TotAI21Giugno2018.xls discussione
compiti e verbalizzazione Giovedì 28 Giugno ore 15:00-18:00 o in corrispondenza
del prossimo appello. Raccomandazione: iscriversi all’appello dove si intende
registrare
Parziale 18 Aprile 2018 Risultati ris_p1AI30Aprile2018.xls
Totale 20 Luglio 2017 Risultati Di Stefano 28/30 (2,2,2,2,2,2,4,4,5,3)
inviare alla docente una email per convenire la registrazione quando saranno
disponibili tutti i risultati delle varie parti
Totale
20 Luglio 2017 Risultati D’Andrea 26/30 (0,2,2,2,2,2,4,4,5,3) si può registrare
volendo oggi stesso, anche nel pomeriggio, o in alternativa inviandomi una
email con i risultati delle varie parti (registrazione su ESSE3, libretto in
autunno).
Parziale 6 Giugno 2017 Risultati Lombardi 28/30
(2,2,2,2,2,2,6,4,3,3) Tot 28/30 Scafa (2,2,2,2,2,2,6,4,3,3) Tot 29 Totale 6 Giugno 2017 Risultati Mazzagufo 21/30 (2,2,2,0,2,0,4,4,2,3)
Totale 22 Giugno 2017 Risultati Manfredi 18/30
(2,2,2,2,0,2,4,2,-3,5)
Parziale 20 Aprile 2017 Risultati ris_p1AI20Aprile2017.xls
Appello 13 Febbraio 2017 De Camillis 24/30
(2,0,2,2,2,2,4,4,3,3)
Verbalizzazione presso lo
studio della docente martedì 21 Febbraio ore 15:30 oppure mercoledì 1 Marzo ore
16:30 o su appuntamento
Appello 21 Novembre 2016:
Risultati Scarpone 24 (2,2,2,0,2,2,4,4,4,2).
Appello
14 Settembre 2016:Risultati Scarpone insufficiente (2,1,2,2,1,2,4,2,-3,-3).
Appello 27 Luglio 2016: Risultati Iezzi 27/30 (2,2,2,2,2,2,4,4,5,3). Orale (opzionale) e verbalizzazione presso lo studio della
docente giovedì 28/7 ore 11:30. In caso di verbalizzazione a Settembre
avvertire via email.
Appello 13 Luglio 2016: Risultati Stoico 18/30 (2,2,2,2,2,2,-2,4,-1,5).
Orale (opzionale) e verbalizzazione
presso lo studio della docente mercoledì 20/7 ore 12:00 oppure mercoledì 27/7
ore 11:30.
Compito 29 Giugno 2016: Risultati Alaggia 24/30 (2,2,2,2,2,2,4,-2,5,5). Causa missione
all’estero la verbalizzazione sarà possibile in corrispondenza del prossimo
appello (13 Luglio mattina presso lo studio della docente) o su appuntamento.
Compito 2 Febbraio 2016:
Risultati Tomei 27/30
(2,2,2,2,2,2,3,2,5,5), Di Federico 18/30 (1,0,2,2,0,2,3,2,5,-3)
Causa trasferta
all’estero, la correzione e verbalizzazione avverranno martedì 16 febbraio
dalle 15:00 alle 16:30, o su appuntamento.
RISULTATI 2015:
Compito 23 Settembre 2015: correzione e verbalizzazione domani mercoledì
7 settembre dalle 11:00 alle 16:30. La docente si scusa per il ritardo, dovuto
a trasferta all’estero. Chi non potesse passare può venire la settimana
prossima su appuntamento.
Compito 24 Luglio 2015
· Ciccolone 24/30 = 0,2,2,2,1,0,4,4,4,5
· Pagnani 28/30 = 2,2,2,2,2,0,4,4,5,5
Per vedere i compiti e/o
verbalizzare, Martedì 28 Luglio ore 15:30 o Mercoledì 29 Luglio ore 10:00,
oppure a Settembre (ma non oltre).
Compito
9 Luglio 2015 ris_AI 9 Lug 2015.xls
Verbalizzazione il 24 Luglio in mattinata oppure a Settembre (non oltre)
Secondo PARZIALE 25 Giugno 2015 ris_AI_Parz Giu 2015.xls
Primo PARZIALE 30 Aprile 2015 ris_AI_Parz Apr 2015.xls
RISULTATI 2014:
Appello del 24 Febbraio 2014
· Risultati: Marino 28/30
(2,2,2,2,2,0,5,5,4,4), Taglieri 28/30 (2,2,2,2,2,0,5,5,4,4)
· Verbalizzazione mercoledì 4 o giovedì 5 ore
11.00-12:00 (occorre aver svolto il Progetto che deve essere stato valutato dal
prof. De Gasperis) oppure al prossimo appello, in tal caso avvertire per e-mail
la docente.
Appello del 10 Settembre 2014
· Risultati: Salutari
21/30(1,0,1,2,0,1,4,2,5,5), Palumbo 20/30 (2,0,2,2,2,1,2,1,5,5)
· Verbalizzazione giovedì 18 settembre 2014
ore 15:30-16:30 (occorre aver svolto il Progetto che deve essere stato valutato
dal prof. De Gasperis) oppure al prossimo appello
Appello del 15 Luglio 2014:
· Risultati: ris_ai_Tot_15-7-2014.xls
· Verbalizzazione martedì 29 Luglio 2014
ore 15:30-16:30 (occorre aver svolto il progetto che deve essere stato valutato
dal prof. De Gasperis) oppure su appuntamento il 30-31 Luglio oppure a
Settembre
Appello del 26 Giugno 2014 (Secondo Parziale e
Totale):
· Risultati: ris_AI_Parz e Tot 26Giu2014.xls
· Verbalizzazione mercoledì 2 Luglio 2014
ore 10:30-12:30 (occorre aver svolto il progetto che deve essere stato valutato
dal prof. De Gasperis
Primo Parziale 16 Aprile 2014:
·
Parziale Risultati: ris_AI_Parz 16 Apr 2014.xls
Appello del 19 Febbraio 2014:
· Totale Risultati: ris_ai_Tot_19-2-2014.xls
·
Parziale Risultati: Risultati:
ris_AI_Parz 16 Apr 2014.xls
· Verbalizzazione su appuntamento (occorre
aver svolto il progetto che deve essere stato valutato dal prof. De Gasperis
Appello del 5 Febbraio 2014:
· Risultati: Renzi Teresa 28/30
(2,2,2,2,2,0,5,5,4,4)
Appello del 4 Dicembre 2013:
· Risultati
1.
Gagliardi 27/30 (2,2,1,2,2,2,5,3,4,4)
2.
Mazza 19/30 (2,1,2,2,0,0,5,2,4,1)
· Verbalizzazione su appuntamento (occorre aver svolto il progetto che deve essere stato valutato dal prof. De Gasperis)
Appello del 23 Settembre 2013:
· Risultati ris_ai_Tot_23-9-2013.xls
· Verbalizzazione (con orale obbligatorio
per tutti gli studenti che hanno fatto lo scritto il 23 settembre 2013):
martedì 8 e mercoledì 9 ottobre 14:30-15:30 presso lo studio della docente
Appello del 16 Luglio 2013: risultati Ranieri 14 (2,2,0,2,0,2, 0,0,4,4)
Appello del 18 Giugno 2013: risultati ris_ai_Tot_2-7-2013.xls. Si ricorda che il
progetto va presentato entro Settembr.
Verbalizzazione su appuntamento.
Appello del 18 Giugno 2013: risultati ris_ai_Parz+Tot 18 giu 2013.xls.
Si ricorda che il progetto va presentato entro Settembr.
Verbalizzazione su appuntamento.
Appello
del 26 Settembre 2012: risultati Lombardi Michele 24 (2,2,2,2,2,2,3,3,4,2)
Appello del 28 Giugno 2012: risultati (Test June
28, 2012 Results) Ris_ai_28-6-2012.xls. Si ricorda che il progetto
va presentato entro Settembre(please remember the project, to be finished preferably by mid-July)
Appello del 1 Marzo 2012:
risultati RisAI1Mar2012.txt. Verbalizzazione: Giovedì
8 Marzo 11:00-12:00 e 15:00-16:00 presso lo studio della docente
Appello del 30 Settembre 2011:
Risultati Vaccaro Fabio 18 (0+0+2+2+2+2+2+4+2+2)
Registrazione:
contattare la docente per e-mail
Appello del 16 Settembre Risultati ris_Tot_AI 16 Set 2011.xlsx Orali e Verbalizzazione Mercoledì 21
Settembre ore 14:30 presso lo studio della docente.
Appello del 15 Luglio Compiti non
visionati dagli autori Vaccaro 10/30 (2,0,0,2,2,2,0,0,0,2) Esercizi abbozzati
ma non correttamente, Event Calculus non realmente studiato,
Default Reasoning studiato in modo appena sufficiente)
Appello del 29 Giugno 2011: Risultati:
Totale tutti gravemente insufficienti, SecondoParziale
ris_ai_2^P+Nuovo ASP.xls Orali
e Registrazione: Martedì 5 Luglio ore 10:30
Risultati Primo Parziale 2011: ris_ai_1^P_Mag2011.xls Soluzioni Esercizi 9 e 10: SoluzioneEse9-1P.txt SoluzioneEse10-1P.txt
Appello del 23 Febbraio 2011:verbalizzazione
Mercoledì 2 Marzo mattina dalle 10:30 presso lo studio della docente
Mammarella: 26/30
Appello del 9 Febbraio 2011:verbalizzazione Giovedì
17 Febbraio mattina dalle 10:30 presso lo studio della docente Aiello: 25/30
Appello del 23 Novembre 2010:verbalizzazione
Lunedì 29 Novembre e Mercoledì 1 Dicembre ore 15:00 presso lo studio della
docente. Risultati: ris_ai_23Nov-2010.xls
Compito del 27 Settembre 2010: risultati ris_ai_27Set2010.xls, IMPORTANTE: poiché
vi sono studenti che hanno bisogno di crediti per l’esenzione dalle tasse,
orali e registrazione avverranno TASSATIVAMENTE Mercoledì 29 Settembre alle ore
11:00, dopodiché l’appello verrà chiuso, e si dovrà verbalizzare all’appello successivo.
Appelli di Settembre: giorni 8 e 27 Settembre,
ore 11:30 Aula da stabilire.
Compito dell’8 Settembre 2010: risultati ris_ai_Set2010.xls, discussione e
verbalizzazioni presso l’ufficio del docente Lunedì 13 Settembre ore
14:30-15:30
Compito del 12 Luglio 2010: risultati 2^
parziale ris_ai_2^P_Lug2010.xls, totale ris_TOTai_12Lug2010.xls orali e
verbalizzazioni presso l’ufficio del docente ore (oral
tests and final grades at the teacher’s office) Lunedì
19 Luglio 11:30-13:00 e 15:00-1:00
Risultati 2^ parziale: ris_ai_2^P_Giu2010.xls
Compito del 28 Giugno 2010: risultati ris_ai28Giu2010.xls, orali e
verbalizzazioni presso l’ufficio del docente Lunedì 5 Luglio ore 11:30-13:00 e
15:00-16
Risultati 2^ parziale: ris_ai_2^P_Giu2010.xls
Risultati Primo Parziale (Results First Partial test) 6 Maggio 2010 (May
6th, 2010) ris_ai_1^P_Mag2010.xls
Compito 4 Settembre
Risultati:
Arcelli DCh 12 Ese 10 DAp 8 Totale 30
De Ingeniis DCh 10 Ese 6 DAp 8 Totale 24
Discussione Compiti, Discussione Progetti,
Orali e Verbalizzazione: ATTENZIONE MODIFICA GIORNO
* A
L’Aquila, il giorno Giovedì 10 Settembre ore 11:30, appuntamento a Coppito I
davanti alla presidenza
Compito 13 Luglio
Risultati: ris_ai_13_07_09.xls
Compito 22 Giugno
Risultati: ris_ai_22_06_09.xls
Compito 26 gennaio 2009. Scimitarra:
27/30
Compito 25 Novembre 2008.
Risultati: Ris-24Nov08.txt
Compito 15 Settembre 2008. Compito corretto (per
auto-valutazione): cAI15Set08C.doc
Risultati: Ris-15-Set08.txt
Appello 4 Luglio 2008 Risultati: Ris-20Giu.txt
Verbalizzazione: Martedì 15 Luglio 2008 ore 10:30-11:30 o su appuntamento
Compito parziale 22 Novembre
2007 Risultati Ris-22-11-07.txt
Compito parziale 1 Febbraio 2008
Risultati Ris-1Feb.txt
Compito totale e recupero parziali 22
Febbraio 2008 Risultati Ris-22Feb.txt