# Bulanık bilgi erişimi
Bulanık geri çağırma teknikleri Genişletilmiş Boolean modeli ve Bulanık küme teorisine dayanmaktadır. İki klasik bulanık geri çağırma modeli vardır: Karma Min ve Maks (MMM) ve Paice modeli. Her iki model de sorgu ağırlıklarını değerlendirmenin bir yolunu sağlamaz, ancak bu P-norm algoritması tarafından dikkate alınır.


## Karma Min ve Maks modeli (MMM).
Bulanık küme teorisinde, bir eleman, verilen "A" kümesine, geleneksel üyelik seçimi (elemandır/eleman değildir) yerine, değişen derecelerde üyeliğe (örneğin "d A)" sahiptir.
MMM'de her endeks teriminin kendisiyle ilişkili bir bulanık kümesi vardır. Bir belgenin "A" endeks terimine göre ağırlığı, belgenin "A" ile ilişkili bulanık kümedeki üyelik derecesi olarak kabul edilir. Birleşim ve kesişim için üyelik derecesi, Bulanık küme teorisinde aşağıdaki gibi tanımlanır:
 d_A∩B= min(d_A, d_B)
 d_A∪B= max(d_A,d_B)
Buna göre, "A veya B" biçimindeki bir sorgu için alınması gereken belgeler, "A" ve "B" kümelerinin birleşimiyle ilişkili bulanık kümede olmalıdır. Benzer şekilde, "A ve B" biçimindeki bir sorgu için alınması gereken belgeler, iki kümenin kesişimiyle ilişkili bulanık kümede olmalıdır. Dolayısıyla, bir belgenin "veya" sorgusuna benzerliğini "max(d A, d B )" ve belgenin "ve" sorgusuna benzerliğini "min(d A, d B )" olarak tanımlamak mümkündür. MMM modeli, sorgu-belge benzerliğini, "minimum" ve "maksimum" belge ağırlıklarının doğrusal bir kombinasyonu olarak ele alarak Boole operatörlerini yumuşatmaya çalışır.
"dA1, dA2, ..., d" "An" endeks terim ağırlıklarına sahip bir "D" belgesi verildiğinde "A1, A2, ..., An", ve sorguları:
"Q" "veya = (A 1 veya A 2 ... veya A n )"
"S" "ve = (A 1 ve A 2 ... ve A n )"
MMM modelinde sorgu-belge benzerliği aşağıdaki şekilde hesaplanır:
"SlM(Qor, D) = Cor1 * max(dA1, dA2, ..., dAn) + Cor2 * min(dA1, dA2, ..., dAn)"
"SlM(Qand, D) = Cand1 * min(dA1, dA2, ..., dAn) + Cand2 * max(dA1, dA2 ..., dAn)"
Burada "C or1, C or2" "veya" operatörü için "yumuşaklık" katsayılarıdır ve "C and1, C and2" "ve" operatörü için yumuşaklık katsayılarıdır. Bir "veya" sorgusunu ele alırken belge ağırlıklarının maksimum olanına daha fazla önem vermek istediğimizden ve bir "ve" sorgusunu ele alırken de minimum olanına daha fazla önem vermek istediğimizden, genellikle "C or1 > C or2 ve C and1 > C and2" elde ederiz. Basitleştirmek için genellikle "C" "or1 = 1 - C or2" ve "C" "and1 = 1 - C and2" olduğu varsayılır.
Lee ve Fox deneyleri, en iyi performansın genellikle "C ve 1'in" [0,5, 0,8] aralığında ve "C veya1" > 0,2 olduğunda ortaya çıktığını göstermektedir. Genel olarak, MMM'nin hesaplama maliyeti düşüktür ve alma etkinliği Standart Boole modeline göre çok daha iyidir.


## Paice modeli.
Paice modeli MMM modelinin genel bir uzantısıdır. Sadece endeks terimleri için minimum ve maksimum ağırlıkları dikkate alan MMM modeliyle karşılaştırıldığında, Paice modeli benzerliği hesaplamak için tüm terim ağırlıklarını dahil eder:
S(D,Q) = ∑_i=1^nr^i-1*w_di/∑_j=1^n r^j-1
Burada "r" sabit bir katsayı ve "wdi," "ve" sorguları için artan sırada ve "veya" sorguları için azalan sırada düzenlenmiştir. n = 2 olduğunda Paice modeli MMM modeliyle aynı davranışı göstermektedir.
Lee ve Fox'un deneyleri, "r'yi" "ve" sorguları için 1,0'a ve "veya" sorguları için 0,7'ye ayarlamanın iyi bir geri alma etkinliği sağladığını göstermiştir. Bu modelin hesaplama maliyeti MMM modeline göre daha yüksektir. Bunun nedeni, MMM modelinin her seferinde bir "ve" veya "veya" ifadesi dikkate alındığında yalnızca bir dizi terim ağırlığının "en" düşük veya "en yüksek" değerinin belirlenmesini gerektirmesidir; bu da "O(n)" içinde yapılabilir. Paice modeli, bir "ve" ifadesinin mi yoksa bir "veya" ifadesinin mi dikkate alındığına bağlı olarak terim ağırlıklarının artan veya azalan düzende sıralanmasını gerektirir. Bu en azından "0(n log n)" sıralama algoritması gerektirir. Ayrıca, çok miktarda kayan nokta hesaplamasına da ihtiyaç vardır.


## Standart Boole modeline göre iyileştirmeler.
Lee ve Fox Standart Boole modelini üç test koleksiyonu olan CISI, CACM ve INSPEC ile MMM ve Paice modelleriyle karşılaştırdı. Ortalama hassasiyet iyileştirmesi için bildirilen sonuçlar şunlardır:
Bunlar Standart modele göre çok iyi iyileştirmeler. MMM, Paice ve P-norm sonuçlarına oldukça yakın olup, bu da onun çok iyi bir teknik olabileceğini ve üçü arasında en verimli olanı olduğunu göstermektedir.


## Yakın zamanda yapılan çalışmalar.
2005 yılında Kang et al kavram tanımlamasına göre dizinlenen bulanık bir alma sistemi tasarladılar.
Belgelere saf Tf-idf yaklaşımıyla baktığımızda, durdurma sözcüklerini çıkarsak bile, belgenin konusuyla diğerlerinden daha alakalı sözcükler olacak ve aynı terim sıklığına sahip oldukları için aynı ağırlığa sahip olacaklardır. Bir sorgudaki kullanıcı amacını hesaba katarsak, bir belgenin terimlerini daha iyi değerlendirebiliriz. Her terim, o kavramın o belge için önemini ifade eden belirli bir sözlük zincirindeki bir kavram olarak tanımlanabilir.
En çok alınan 5 belgenin ortalama kesinliği ve geri çağırma değerlerinin Paice ve P-norm'a göre iyileştirildiğini bildiriyorlar.
Zadrozny bulanık bilgi alma modelini yeniden ele aldı. Ayrıca bulanık genişletilmiş Boole modelini şu şekilde genişletiyor:
  - dilsel terimlerin anahtar kelimelerin önem ağırlıkları olarak varsayılması da belgelerde
  - belgelerin ve sorguların temsiline ilişkin belirsizliği dikkate alarak
  - Belgelerin ve sorguların temsilindeki dilsel terimlerin yorumlanması ve Zadeh'in bulanık mantığı (dilsel ifadelerin hesabı) açısından eşleştirilmesi
  - Önerilen modelin bazı pragmatik yönlerini, özellikle de belgeleri ve sorguları dizinleme tekniklerini ele alma
Önerilen model, metinsel bilginin gösterimi ve geri çağrılmasıyla ilgili hem belirsizlik hem de belirsizliklerin kavranmasını mümkün kılmaktadır.