Non importa dove vivi, quanti anni hai o cosa fai nella vita. Su Oilproject chiunque può imparare gratuitamente e proporre le sue lezioni – video, testi ed esercizi – condividendo le sue conoscenze con la comunità. Continua...

VIDEOLEZIONE

Intelligenza Artificiale: Tesi di Church, Test di Turing e Teorema di incompletezza di Godel

RELATORI: Tommaso Adami
Inserito da InformateIt il 21 aprile 12
  • 1
  • 2
  • 3
  • 4
  • 5

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!