Learning outcomes

Objectives:

This class introduces the student to the field of Artificial Intelligence, presenting its basic problems, concepts and methods. After learning the general framework of automated problem solving, AI problems and techniques are studied through specific areas of AI, such as constraint problem solving, game playing, planning and reasoning. After taking this class, the student is ready to work on an LS/LM thesis in Artificial Intelligence.

Program

Program:

Methods of Artificial Intelligence: problem solving as search in a state space: uninformed search procedures; informed search procedures and heuristic search; constraint problem solving: unification; propositional satisfiability (SAT); games (optional).
Knowledge representation: use of propositional logic and first-order logic.
Automated reasoning methods: resolution, tableaux or model elimination, paramodulation and rewriting (hints).
Planning (optional).

Examination Methods

Esame mediante prove parziali:
questa modalità vale solo per il primo appello dopo la fine delle lezioni, ovvero per la sessione di dicembre 2005, essendo il corso nel I quadrimestre dell'AA 2005-06; l'esame consta di un compito scritto di due ore (C) e di un progetto individuale di programmazione (P) da realizzare a casa o in laboratorio durante il corso; il voto d'esame è dato da: 50% C + 50% P; passato il primo appello dopo la fine delle lezioni, le prove parziali non valgono più nulla.

Esame senza prove parziali:
in questa modalità, l'esame consta di un unico compito scritto (E), di difficoltà tale da uguagliare C + P, il cui voto determina il voto d'esame. Questa modalità vale per tutti gli appelli, incluso il primo dopo la fine delle lezioni. Tuttavia chi sostiene l'esame E al primo appello perde il voto eventualmente maturato con 50% C + 50% P.

Nota: per semplicità organizzativa e onde non disturbare altri corsi con prove scritte fuori calendario, il compito scritto C (prova parziale) si terrà nella stessa data, ora e luogo dell'esame E della sessione di dicembre (naturalmente contenuto e durata di C ed E saranno diversi).

Registrazione: a ogni sessione d'esame ci saranno due date: una per lo scritto ed una per registrare il voto. Per chi sostiene l'esame e lo registra nella stessa sessione, è sufficiente iscriversi alla prima. Iscriversi alla seconda data è necessario per chi ha sostenuto l'esame in una sessione precedente, ma non lo ha registrato.

Regolamento: tutti gli elaborati sono individuali; è severamente vietato copiare e scambiare/passare/condividere codice. Tutti gli elaborati che mostrano di essere stati copiati ricevono voto 0, senza distinzione tra chi copia e chi fa copiare.