La logica fuzzy (o logica sfumata o logica sfocata) è una logica in cui si può attribuire a ciascuna proposizione un grado di verità diverso da 0 e 1 e compreso tra di loro. È una logica polivalente, ossia un'estensione della logica booleana. È legata alla teoria degli insiemi sfocati. Già intuita da Cartesio, Bertrand Russell, Albert Einstein, Werner Karl Heisenberg, Jan Łukasiewicz e Max Black, fu concretizzata da Lotfi Zadeh. Con grado di verità o valore di appartenenza si intende quanto è vera una proprietà, che può essere, oltre che vera (= a valore 1) o falsa (= a valore 0) come nella logica classica, anche parzialmente vera e parzialmente falsa. Si può ad esempio dire che: un neonato è "giovane" di valore 1 un diciottenne è "giovane" di valore 0,8 un sessantacinquenne è "giovane" di valore 0,15Formalmente, questo grado di appartenenza è determinato da un'opportuna funzione di appartenenza μF(x)= μ. La x rappresenta dei predicati da valutare e appartenenti a un insieme di predicati X. La μ rappresenta il grado di appartenenza del predicato all'insieme fuzzy considerato e consiste in un numero reale compreso tra 0 e 1. Alla luce di quanto affermato, considerato l'esempio precedente e un'opportuna funzione di appartenenza monotona decrescente quello che si ottiene è: μF(neonato) = 1 μF(diciottenne) = 0,8 μF(sessantacinquenne) = 0,15

Definizioni specifiche possono essere date focalizzandosi o sui processi interni di ragionamento o sul comportamento esterno del sistema intelligente e utilizzando come misura di efficacia o la somiglianza con il comportamento umano o con un comportamento ideale, detto razionale: Agire umanamente: il risultato dell’operazione compiuta dal sistema intelligente non è distinguibile da quella svolta da un umano. Pensare umanamente: il processo che porta il sistema intelligente a risolvere un problema ricalca quello umano. Questo approccio è associato alle scienze cognitive. Pensare razionalmente: il processo che porta il sistema intelligente a risolvere un problema è un procedimento formale che si rifà alla logica. Agire razionalmente: il processo che porta il sistema intelligente a risolvere il problema è quello che gli permette di ottenere il miglior risultato atteso date le informazioni a disposizione.L'intelligenza artificiale è una disciplina dibattuta tra scienziati e filosofi poiché manifesta aspetti etici oltre che teorici e pratici. Stephen Hawking nel 2014 ha messo in guardia riguardo ai pericoli dell'intelligenza artificiale, considerandola una minaccia per la sopravvivenza dell'umanità. Il 2 agosto dello stesso anno anche Elon Musk ha twittato: «Dobbiamo essere super attenti all'intelligenza artificiale. Potenzialmente più pericolosa del nucleare.»