'''Bulanık mantık''', '''bulanık eseme''' ya da puslu mantık, 1961 yılında [[Lütfi Zade|Lütfü Aliasker Zade]]'nin yayınladığı bir makalenin sonucu oluşmuş bir [[mantık]] yapısıdır.
Bulanık mantığın temeli bulanık [[küme]] ve [[alt küme]]lere dayanır. Klasik yaklaşımda bir varlıknesne ya kümenin elemanıdır ya da değildir. Matematiksel olarak ifade edildiğinde varlıknesne küme ile olan üyelik ilişkisi bakımından kümenin elemanı olduğundaise "1", kümenin elemanı olmadığı zamandeğilse "0" değerini alır. Bulanık mantık klasik küme gösterimininteorisinin genişletilmesidir. Bulanık varlık kümesindeküme'de her bir varlığınnesnenin bir üyelik derecesi vardır. VarlıklarınNesnenin üyelik derecesi, (0, 1) aralığında herhangi bir değer olabilir ve üyelik fonksiyonu M(x) ile gösterilir .
[[Dosya:Fuzzy logic temperature en.svg|thumb|300px]]
Örnek olarakÖrneğin; normal oda sıcaklığını 23 derece olarak kabul edersek klasik küme kuramına göre 23 derecenin üzerindeki [[sıcaklık]] derecelerini sıcak olarak kabul ederiz ve bu derecelerin sıcak kümesindeki üyelik dereceleri "1" olur. 23 altındaki sıcaklık dereceleri ise [[soğuk]]tur ve sıcak kümesindeki üyelik dereceleri "0" olur. Soğuk kümesini temel aldığımızda bu değerler tersine döner. Bulanık küme yaklaşımında üyelik değerleri [0,1] aralığında değerler almaktadır. Örneğin 14 derecelik sıcaklık için üyelik derecesi "0", 23 sıcaklık derecesi için üyelik değeri "0,25" olabilir.
Klasik kümelerin aksine bulanık kümelerde elemanların (nesnelerin) üyelik dereceleri [0, 1] aralığında sonsuz sayıda değişebilir. Bunlar üyeliğinüyelik derecelerinin devamlı ve aralıksız bütünüyle bir kümedir. KeskinKesin kümelerdeki soğuk-sıcak, hızlı-yavaş, aydınlık-karanlık gibi ikili değişkenler, bulanık mantıktakümelerde biraz soğuk, biraz sıcak, biraz karanlık gibi esnek niteleyicilerle yumuşatılarakgenişletilerek gerçek [[dünya]]ya problemlerine benzetilir. EnKesin önemlikümelerden fark,farkı ise böyle bir çatıda bilginin kaynağındaki küme üyeliğinin, kesin tanımlanmış önkoşullarınınön koşullarının olmayışı ve dahadeğişkenlerin çokbelli sorunlarla rastgele değişkenlerinbir hazıraralıkta bulunmasındadırbulunmasıdır.
Bir şeyin varlığı kendisine ait bir isimle doğar. Evrendekilerin tamamı hem (ya) tek (1) hem de (ya da) sonsuz eksi tektir (sonsuz -1).
