Seconda videolezione del corso di Sistemi intelligenti, in cui viene affrontato il tema dell'intelligenza artificiale classica e delle principali critiche che vengono fatte a questo modello.
Partendo dalla Tesi di Church, conoscendo un algoritmo adatto, qualsiasi funzione sia realmente calcolabile in tempo finito può essere ottenuta attraverso un odierno calcolatore; nell'AI Classica il tema centrale risulta essere quello di cercare un programma adatto.
Si passa poi a spiegare il test di Turing, per vedere le principali critiche all'AI Classica fino ad arrivare alla teoria dell'homunculus.
Si propone un contraddittorio sulla coscienza per arrivare a dire che la coscienza sia una proprietà emergente di un sistema.
Vengono definiti due paradigmi di intelligenza artificiale, Weak e Strong, e si conclude enunciando il teorema di incompletezza di Godel riguardo alla dimostrazione di teoremi tramite la logica matematica, che rappresenta uno dei principali punti di arrivo dell'AI Classica.
Tommaso Adami è laureato in Informatica presso la facoltà di Scienze Matematiche Fisiche e Naturali, vive a Milano e si occupa di sviluppo web presso Informate.it.
Accedi per poter inviare un commento o una domanda!




