FACOLTA' DI INGEGNERIA       Universita' di Pavia
Home
  Didattica > Insegnamenti0809 > Intelligenza artificiale II
Organizzazione e Sedi
Immatricolarsi ai C.d.L.
Immatricolarsi ai C.d.L.M.
Orientamento
Didattica
Prenotazione Aule
Master
Esami: Iscrizioni online
Ricerca Scientifica
Servizi
Rapporti con Imprese
Tirocini didattici
Eventi e Iniziative
Bandi e Offerte lavoro
Esami di Stato
Mobilità/Erasmus
Rapporti di riesame
Assicurazione Qualità
Guida dello Studente
Scorciatoie
Cerca nel sito
Intelligenza artificiale II

Insegnamento Anno Accademico 08-09

Docente/i: Marco Piastra  

Denominazione del corso: Intelligenza artificiale II
Codice del corso: 064140
Corso di laurea: Ingegneria Biomedica, Ingegneria Informatica
Settore scientifico disciplinare: ING-INF/05
L'insegnamento è caratterizzante per: Ingegneria Informatica
Crediti formativi: CFU 5
Sito web del corso: http://vision.unipv.it/IA2/

Obiettivi formativi specifici

Il corso si propone di fornire la descrizione delle tecniche avanzate per rappresentazione cognitiva automatica, in forme esplicite (simboliche), implicite (numeriche) e distribuite (o multi-agente). Sono previste esperienze di programmazione logica e l'uso di tecniche di calcolo evolutivo. Al termine del corso, lo studente dovrà aver acquisito le nozioni fondamentali relative alle tecniche trattate, anche attraverso la realizzazione di un progetto di laboratorio.

Programma del corso

Automazione della logica del primo ordine

Programmazione logica

Ragionamento abduttivo, logiche modali e temporali

Logiche sfumate (fuzzy logics)

Rappresentazione probabilistica e modelli grafici

Inferenza probabilistica, apprendimento

Sistemi auto-organizzanti

Automi cellulari

Calcolo evolutivo: algoritmi genetici

Programmazione genetica, programmazione evolutiva

Prerequisiti

Intelligenza Artificiale I, buona conoscenza del linguaggio Java.

Tipologia delle attività formative

Lezioni (ore/anno in aula): 30
Esercitazioni (ore/anno in aula): 18
Laboratori (ore/anno in aula): 0
Progetti (ore/anno in aula): 0

Materiale didattico consigliato

Reperibili presso la pagina del corso: lezioni, letture consigliate, software per le esercitazioni ed il progetto

Stuart Russell, Peter Norvig. Intelligenza Artificiale: un approccio moderno. UTET, ISBN 88-7750-406-4. Traduzione di Luigia Carlucci Aiello.

Lorenzo Magnani, Rosella Gennari. Manuale di logica. Guerini Scientifica, 1997, ISBN 888107097-9.

Ulf Nilsson, Jan Maluszynski. Logic, Programming and Prolog (2ed). John Wiley & Sons Ltd. (Liberamente accessibile in formato PDF: http://www.ida.liu.se/~ulfni/lpp/).

Modalità di verifica dell'apprendimento

L’esame prevede la realizzazione di un progetto ed una prova orale

Copyright © Facoltà di Ingegneria - Università di Pavia