Questo sito utilizza solo cookie tecnici, propri e di terze parti: continuando la navigazione ne accetti l'uso. Acconsento Vorrei maggiori informazioni

Naviga nel sito del Dipartimento:

Naviga nel sito della Didattica:

Dettagli sull'Insegnamento per l'A.A. 2012/2013

Le informazioni che state leggendo si riferiscono all'anno accademico 2012/2013. Per questo molti collegamenti non sono disponibili e i dati potrebbero essere incompleti. Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo. Per consultare le informazioni relative ad altri anni accademici, usa la lista in fondo a questa pagina.

A. Accademico:

2012/2013

Nome:

Intelligenza Artificiale I / Artificial Intelligence I

Tipo:

Modulo

Corso principale:

Intelligenza Artificiale / Artificial Intelligence

Informazioni

Codice:

F0072

SSD:

INF/01

Crediti:

Periodo:

1° semestre

Erogazione:

Laurea Base in Informatica curriculum Generale Opzionale

Lingua:

Italiano

Obiettivi

Questo corso vuol fornire le basi per la programmazione dichiarativa e per i suoi fondamenti logico-semantici. Esemplificazioni d'uso verranno tratte dai campi classici del ragionamento automatico e dell'Intelligenza Artificiale.

Sillabo

Ragionamento automatico: fondamenti della logica computazionale, rappresentazione clausale e risoluzione.
Programmazione logica: Prolog e Datalog.
Rappresentazione ed elaborazione della conoscenza.
Algoritmi e strategie di ricerca
Azioni e pianificazione.
Tecniche avanzate di programmazione dichiarativa

Testi di riferimento

D. Poole, A. Mackworth, R. Goebel, Computational Intelligence a logical approach , Oxford Univercity Press. 1998.
S. Russell, T. Norvig, Intelligenza Artificiale un approccio moderno , Prentice Hall. (vol. 1) 2005. Argomenti scelti dal docente

Aggiornamenti alla pagina del corso

Le informazioni sulle editioni passate di questo corso sono disponibili per i seguenti anni accademici:

Per leggere le informazioni correnti sul corso, se ancora erogato, consulta il catalogo corsi di ateneo.

Ultimo aggiornamento delle informazioni sul corso: 24 aprile 2013, 16:28

Il DISIM

Il DISIM svolge la sua attivà di formazione e ricerca nell'ambito della matematica pura e delle sue applicazioni e nell'ambito delle aree scientifiche e ingegneristiche che caratterizzano il mondo dell'ICT.

Link Rapidi

Come Raggiungerci

Via Vetoio, Coppito, 67100 L'Aquila

disim

sad

strutture.univaq

+39 0862 433002

+39 0862 433180 (fax)