Artificial Intelligence

Sapienza Università di Roma · Ingegneria civile e industriale · tutti i canali con docenti, libri e orari, a.a. 2026/2027

Prof. Massimo Mecella Canale unico

Ingegneria civile e industriale · esame facoltativo · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Prof. Sara Bernardini Canale unico

Ingegneria dell'informazione, informatica e statistica · 1º anno · 1º semestre · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Prof. Massimo Mecella Canale unico

Ingegneria dell'informazione, informatica e statistica · esame facoltativo · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Prof. Fabio Patrizi Canale unico

Ingegneria dell'informazione, informatica e statistica · 1º anno · 1º semestre · 6 CFU · apri nel catalogo

Artificial Intelligence – 4th Edition by Stuart Russell Vai su Amazon ›

Cosa indica di studiare il docente

Argomenti del programma: Introduzione. Rappresentazione della Conoscenza: modellazione del dominio di interesse; autonomia; il ruolo della logica. Logica Proposizionale: sintassi e semantica; valutazione, soddisfacibilità, validità, implicazione logica; tableaux proposizionali; DPLL. Logica del Primo Ordine: sintassi, semantica; valutazione, soddisfacibilità, validità, implicazione logica; tableaux per la logica del primo ordine.