Interval Type-2 Fuzzy Sets (IT2FS), merupakan metode yang paling banyak digunakan diantara jenis metode dari type-2 fuzzy sets (T2FS) (Wu dan Mendel 2007). IT2FS dideskripsikan sebagai:
x x x X u J x X u J A 1/ (x, u) 1/ u / x e e e e ( = = ( (
} } } } (2) Dimana x merupakan variabel primer, | | x J 0,1 _ merupakan anggota primer dari x, u merupakan variabel sekunder dan x u J 1/ u e } merupakan fungsi anggota sekunder (MF) pada x. Perhatikan bahwa { } : X [a, b] : 0 a b 1 s s s . Ketidakpastian dari ditunjukkan oleh gabungan dari semua anggota primer, yang disebut jejak dari ketidakpastian (footprints of uncertainty) dari [FOU ()], sebagai contoh,
{ } x x x X FOU() J (x, y) : y J [A(x), A(x)] [0,1] e = = e = _ (3) Pada gambar 2 dapat dilihat bahwa FOU ditunjukan oleh daerah abu-abu yang terletak diantara batas atas MF (UMF) A(x) A dan batas bawah MF (LMF) A(x) A , keduanya merupakan type-1 fuzzy sets (T1FS), jadi derajat keanggotaan dari setiap elemen pada IT2FS merupakan interval [A(x), A(x)] . IT2FS dapat pula direpresentasikan dengan 1 FOU() = (4) Berdasarkan pemahaman diatas, hal ini menunjukkan ada pemberian derajat sekunder dari satu pada seluruh titik dari FOU().
Gambar 1. Interval Type-2 Fuzzy Sets (Wu dan Mendel 2007) Mendel dan John (2002) telah membahas tentang teorema untuk T2FS secara umum, dimana ketika dikhususkan kepada IT2FS maka dapat diekspresikan sebagai berikut: Asumsikan bahwa variabel primer x dari IT2FS merupakan sample dari N, x 1 ,x 2 ,..,x N , dan pada setiap nilai tersebut, anggota primernya, yaitu u i merupakan sample dari nilai M i , u i1 ,u i2 ,,u iM . j e A menunjukkan j th yang berada pada T1FS untuk . Selanjutnya, direpresentasikan oleh persamaan (4), dimana:
{ } A n j e j 1 FOU() A A(x),..., A(x) A(x), A(x) = ( = =