LA LOGICA FUZZY DI ZADEH NELL'INTELLIGENZA ARTIFICIALE

La valutazione delle prove empiriche e delle proposizioni sulle macchine pensanti ha fornito il quadro tecnologico e filosofico per il progresso dell'intelligenza artificiale fin dagli anni Cinquanta. Alan Turing aveva immaginato che le macchine potessero pensare proprio come gli esseri umani, e questa visione ha ricevuto ulteriore credito con l'idea di Lotfi Zadeh della teoria degli insiemi fuzzy nel 1965, che mirava alla costruzione di macchine più intelligenti. I tentativi di chiarire il concetto di logica fuzzy sono stati davvero numerosi. Questo saggio, tuttavia, fornisce una convalida empirica all'affermazione che la logica fuzzy non è fuzzy. La logica fuzzy rappresenta un allontanamento radicale dai tradizionali sistemi logici aristotelici. Fondamentalmente, la logica fuzzy è una logica precisa, imprecisa e imperfetta. Come afferma Zadeh, a differenza dei sistemi logici tradizionali, la logica fuzzy mira a fornire un modello per modalità di ragionamento approssimate piuttosto che esatte. In questa prospettiva, l'importanza della logica fuzzy deriva dal fatto che quasi tutti i ragionamenti umani, e in particolare quelli di senso comune, sono di natura approssimativa. Questi fatti stimolano il nostro interesse a intraprendere questa indagine filosofica nella logica fuzzy.