welcome: please sign in
location: Diff for "InformaticaCDLmatematica"
Differences between revisions 1 and 2
Revision 1 as of 2009-11-08 20:38:42
Size: 6423
Comment:
Revision 2 as of 2009-11-08 20:39:07
Size: 6425
Comment:
Deletions are marked like this. Additions are marked like this.
Line 141: Line 141:
Torna alla pagina ["Didattica"] Torna alla pagina ["didattica"]

Corso di INFORMATICA

Corso di Laurea in Matematica


Anchor(TOP) BR

Anchor(TOC) TableOfContents


Anchor(docente)

Docente

Applicazioni avanzate nei più svariati ambiti spingono oggi verso un utilizzo dei calcolatori (finalmente) per rispondere ai problemi con soluzioni che gli esseri umani non sono in grado di trovare (non facilmente, almeno).

BR

Sistemi intelligenti sono già impiegati oggi in svariati ambiti: controllo di processi industriali, controllo del traffico aereo, commercio elettronico, robotica, grid computing, applicazioni mediche, giochi, intrattenimento, e oltre.

BR

I sistemi di elaborazione sono inoltre sempre più estesi, e la realtà apre quindi naturalmente alla possibilità di realizzare sistemi costituiti, gestiti o coadiuvati da una pluralità di entità autonome, chiamate agenti, che interagiscono fra loro in ambienti complessi. Essi sono già di fatto dei sistemi multi-agente, essendo costituiti da componenti collocate in un ambiente, autonome e sociali.

BR

[#TOP Top of Page]

BR

Anchor(obiettivi)

Obiettivi del Corso

[Passibile di modifiche] BR Il corso si propone di fornire le nozioni fondamentali per la comprensione e la progettazione di sistemi che utilizzano tecniche di Intelligenza Artificiale nel senso più ampio, e in particolare affrontare i problemi tipici dell'ingegneria del software orientata agli agenti.

BR

Il corso si sofferma (ma non solo) sui metodi per la progettazione di agenti capaci di prendere decisioni razionali, e metodi per la progettazione di sistemi che prevedono la presenza di più agenti, in grado di comunicare e interagire.

BR

Alla fine del corso gli studenti dovrebbero acquisire la capacità di progettare, ed eventualmente sviluppare, sistemi intelligenti basati su agenti.

BR

[#TOP Top of Page]

BR

Anchor(prerequisiti)

Prerequisiti

Sono indispensabili conoscenze di base di informatica e di programmazione avanzata. Sono utili conoscenze di base di matematica, logica, intelligenza artificiale.

BR

[#TOP Top of Page]

BR

Anchor(materiale)

Testi e Materiale Didattico

Testi consigliati

Testi

  • S. Russell, P. Norvig, "Intelligenza artificiale. Un approccio moderno" Volumi 1 e 2. Pearson Education Italia, 2005. [http://aima.cs.berkeley.edu/ link]

    • In alternativa: S. Russell, P. Norvig, "Artificial Intelligence: A modern approach", Prentice Hall, Englewood Cliffs, NJ, 2nd ed., 1995. [http://aima.cs.berkeley.edu/ link]

  • Matt Ginsberg, "Essentials of Artificial Intelligence", Morgan Kaufmann Ed., 1993. [http://cirl.uoregon.edu/ginsberg/ link al sito dell'autore]

  • M.Ghallab, D. Nau, P. Traverso, "Automated Planning - Theory and Practice", Morgan Kaufmann Ed., 2004. [http://www.laas.fr/planning/ link]

Varie e sparse

Materiale Didattico, Links, Varie ed Eventuali

Lucidi

  • [attachment:chapter01.pdf AI e agenti: introduzione] (aprile 2009)
  • [attachment:chapter02.pdf Agenti: razionalità, ambienti, tipologie] (aprile 2009)
  • [attachment:chapter03.pdf Problem Solving e Ricerca] (maggio 2009)
  • [attachment:chapter07.pdf Agenti Logici] (maggio 2009)
  • [attachment:chapter11.pdf Planning: (breve) introduzione] (maggio 2009)
  • [attachment:chapter11a-dlvK.pdf Planning: K action language e DLV^K]
  • [attachment:chapter22.pdf Comunicazione e Linguaggio] (maggio 2009)
  • [attachment:chapter22a-AgentCommunication.pdf Comunicazione tra Agenti] (maggio 2009)

  • [attachment:Multi-Agent-Interactions.pdf Interazioni multi agente] (giugno 2009)

Tutorial

Links

Ringraziamenti

[http://aima.cs.berkeley.edu/ Stuart Russell e Peter Norvig] - [http://www.wfaber.com Wolfgang Faber] - [http://www.kr.tuwien.ac.at/staff/eiter/ Thomas Eiter] e [http://www.kr.tuwien.ac.at/staff/michael/ Michael Fink] - [http://www.mat.unical.it/ricca/ Francesco Ricca] e [mailto:gallucci@exeura.it Lorenzo Gallucci] - [http://staff.unak.is/not/yuan/ Tangming Yuan]

BR

[#TOP Top of Page]

BR

Anchor(prerequisiti)

Progetti, Esercizi, Elaborati

  • [attachment:2007-Aspirapolvere.jar Aspirapolvere] [Maggio 2007 - Archivio eseguibile java (.jar)] - Simulazione di un agente aspirapolvere. L'agente si muove in un ambiente inizialmente sconosciuto, senza alcuna indicazione sulla posizione di eventuali ostacoli, ne' sullo stato del pavimento. Il suo scopo e' pulire la stanza (a meno di aree irraggiungibili) nel minor tempo possibile, e tornare nel punto di partenza. L'agente e' stato realizzato da [mailto:sirianni.marco@yahoo.it Marco Sirianni] e [mailto:saverio_vescio@yahoo.it Saverio Vescio].

  • [attachment:2007-SistemiIntelligenti-ProgettoFinale.pdf SPECIFICHE del progetto di fine corso - A.A. 2006/2007] [Giugno 2007 - File in formato .pdf]

BR

[#TOP Top of Page]

BR

Anchor(docente)

Docente

Francesco Calimeri [http://www.mat.unical.it/calimeri link alla home page] BR Dipartimento di Matematica, Università della Calabria, 87036 Rende (CS). BR Ufficio: cubo 30B, 2°piano BR Telefono: +39 0984 496478 BR Fax: +39 0984 496410 BR Email: calimeri[AT]mat.unical.it BR BR

[#TOP Top of Page]


Torna alla pagina ["didattica"]

Torna alla home page di [http://www.mat.unical.it/calimeri Francesco Calimeri]


Calimeri Wiki: InformaticaCDLmatematica (last edited 2021-05-05 08:50:23 by FrancescoCalimeri)