Dettagli sull'Insegnamento per l'A.A. 2010/2011

Prerequisiti

il Corso e' basato sulla logica computazionale, per cui e' utile (ma non indispensabile) conoscere un po' di Logica e il Prolog, ed e' molto utile (ma non indispensabile) aver gia' fatto un esame di base di Intelligenza Artificiale

Obiettivi

Lo studente apprendera' concetti, linguaggi, strumenti e metodologie per lo sviluppo di agenti intelligenti e sistemi multi-agente, sperimentando anche mediante applicazioni reali.

Sillabo

• Introduzione: il concetto di agente, paradigma agent-oriented
• Richiami preliminari: DATALOG e Prolog
• Il linguaggio logico agent-oriented DALI
• Rappresentazione della conoscenza e forme di ragionamento negli agenti: - Azioni e pianificazione- Ragionamento basato su assunzioni- Uso di conoscenza incerta
• Modelli di coordinamento in sistemi multi-agente
• Architetture e Applicazioni

Testi di riferimento

• D. Poole, A. Mackworth and R. Goebel, Computational Intelligence: a Logic Approach , Oxford Univ. Press.. http:// www.cs.ubc.ca/spider/poole/ci.html   
• R. Kowalski, How to Be Artificial Intelligent, the Logical Way (available online on the author's web site) http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html   
• materiale fornito sul sito web del docente    

Modalità d'esame

Scritto e orale

Aggiornamenti alla pagina del corso

• A.A. 2010/2011
• A.A. 2011/2012
• A.A. 2012/2013
• A.A. 2013/2014
• A.A. 2014/2015
• A.A. 2015/2016
• A.A. 2016/2017
• A.A. 2017/2018
• A.A. 2018/2019
• A.A. 2019/2020