[¯|¯] Cercasi disperatamente un'interfaccia artificiale

mercoledì, Giugno 13th, 2018

intelligenza artificiale,sistemi di computer algebra — **Immagine tratta (e modificata) da www.cwi.it**

Consideriamo un problema matematico P. In linea assolutamente generale, esistono due procedimenti di "attacco" per risolvere P:

Procedimento analitico (Π₁)
Procedimento algoritmico (Π₂).

Π₁ è il procedimento, per così dire, classico. Si pensi, ad esempio, alla dimostrazione di un teorema (quindi, ciò che abbiamo denotato con P non è necessariamente un problema nel senso letterale del termine): si parte da una ipotesi per giungere, attraverso una successione ordinata di passaggi logici, alla tesi del teorema.
Osservazione
Ci stiamo riferendo al caso generale, poichè esistono altri metodi di dimostrazione, come ad esempio il procedimento induttivo e la dimostrazione per assurdo.

Π₂ è, invece, tipico dei linguaggi di programmazione e più in generale, dei sistemi di computer algebra (C.A.S). Per inciso, anche Π₁ è - in linea di principio - riducibile a un algoritmo.
Osservazione
Non sempre, si pensi all'indecidibilità gödeliana.

(altro…)