Obiettivi formativi
Il corso si propone di introdurre lo studente al campo
dell'intelligenza artificiale, insegnando i suoi concetti e tecniche di base, e
illustrando la loro applicazione ad alcune aree specifiche, in modo che lo
studente sia preparato a seguire corsi specifici in tali aree e/o a lavorare ad
una tesi di laurea specialistica in intelligenza artificiale.
Modalità formative
Il corso si sviluppa su 40 ore di lezione frontale
Programma del corso
- Metodi dellI.A.
- Algoritmi e complessità definizioni generali
- Ripasso di Logica Formale
- Ricerca in spazi di soluzioni
- Agenti Razionali
- Toy-problem classici
- Vacuum cleaner world
- Le 8 regine
- Ricerca informata
- Euristiche per il search
- Lalgoritmo
A*
- Lalgoritmo
SMA*
- Problem-solving generale
- Pianificazione
- Mondo
a blocchi
- Pianificazione
mediante ricerca
- Fondamenti
di dimostrazione automatica dei teoremi
- Teorema
di Herbrand
- Principio
di risoluzione
- Risoluzione
semantica e per blocco
- Risoluzione
lineare
- Risoluzione
per input e per unità
- Risoluzione
positiva ed unitaria di Bowling e Gallier
- Uguaglianza
- Paramodulazione
- Paramodulazione
lineare
- Procedure
di dimostrazione basate sul teorema di Herbrand
- Procedura
di Prawitz
- Procedura
di V-risoluzione
- Alberi
pseudosemantici
- Generalizzazione
del metodo di Davis e Putnam