Bulanık mantığın temeli bulanık küme ve alt kümelere dayanır; klasik yaklaşımda bir nesne ya kümenin elemanıdır ya da değildir. Matematiksel olarak ifade edildiğinde nesne küme ile olan üyelik ilişkisi bakımından kümenin elemanı ise "1", kümenin elemanı değilse "0" değerini alır. Bulanık mantık klasik küme teorisinin genişletilmesidir. Bulanık küme'de her bir nesnenin bir üyelik derecesi vardır. Nesnenin üyelik derecesi, (0, 1) aralığında herhangi bir değer olabilir ve üyelik fonksiyonu M(x) ile gösterilir .Bkz. https://www.wikiwand.com/tr/Bulan%C4%B1k_mant%C4%B1k 

Fuzzy sözcüğü, düşük Almanca (Low German) fussig (gevşek, elyaflı, süngersi) sözcüğünden gelmektedir. (Origins, Eric Partridge, Greenwich House, 1983)