Intelligenza Artificiale (Modulo di Fondamenti)

Anno Accademico 2016/17


Corso di studi offerto per:


Orario Lezioni

Date (Dates): Lun. 11.30 - 13.30 Aula I; Merc. 08:30 - 11:30 Aula I (Mon. 11.30 - 13.30 Room I, Wed. 08:30 - 11:30 Room I)
Luogo(Place): Strada Le grazie 15, Ca' Vignal.


Informazioni sulle lezioni

Data Seconda Prova Parziale
  • Lun. 5 Giugno
Data Prima Prova Parziale
  • Merc. 3 Maggio
Lezioni cancellate
  • Lun. 3 Aprile
  • Merc. 5 Aprile

Obiettivi

Il modulo presenta paradigmi e tecniche principali della rappresentazione simbolica e soluzione automatica di problemi. L'obbiettivo è dare allo studente strumenti per ideare, applicare e valutare algoritmi per problemi difficili, nel senso che la loro soluzione meccanica cattura aspetti di intelligenza artificiale o razionalità computazionale.

Educational Objectives

The class presents the main techniques for problem solving, based on the central paradigm of symbolic representation. The objective is to provide the students with the ability to design, apply and evaluate algorithms for difficult problems, meaning that their mechanical solution captures aspects of artificial intelligence or computational rationality.


Programma
Risoluzione di problemi come ricerca in uno spazio di stati: procedure di ricerca non informate; procedure di ricerca euristiche; ricerca con avversario. Risoluzione di problemi basata sull'elaborazione di vincoli (soddifacibilit&grave ed ottimizzazione); Rappresentazione della conoscenza basata sulla logica: forme normali; uguaglianza. Dimostrazione di teoremi: soddisfacibilità (SAT), risoluzione, riscrittura. Agenti intelligenti: pianificazione, sistemi multi-agente, coordinamento. Ragionamento probabilistico, teoria delle decisioni.

Syllabus
Problem solving as search in a state space; un-informed search procedures; heuristic search procedures; adversarial search. Problem solving based on constraint processing (satisfaction and optimization). Logic-based knowledge representation: normal forms; equality. Theorem proving: satisfiability (SAT), resolution, rewriting. Intelligent agents: planning, multi-agent systems, coordination. Probabilistic reasoning, decision theory.


Modalita' d'esame
Il voto finale del modulo di IA può essere conseguito con un'unica prova scritta o con le prove parziali. La prova scritta verrà svolta nelle prove di Appello.
Le prove parziali sono costituite da due compiti (svolti durante la durata del corso ed al termine del corso) oppure da un compito (svolto durante la durata del corso) ed un progetto (tipicamente con una parte di programmazione).

Exam Modalities
The final grade for the IA module can be achieved with a single test or with partial tests. The single written test will be done at the exam date. The partial tests includes two tests (one during the course and one at the end of the course) or a test (done during the course) and a project (usually with a consistent programming part).

 

Docente/Teacher: Alessandro Farinelli