Booleanning kengaytirilgan modeli - Extended Boolean model

The Booleanning kengaytirilgan modeli 1983 yilda Jerar Salton, Edvard A. Foks va Garri Vu tomonidan nashr etilgan Communications of ACM maqolasida tasvirlangan. Kengaytirilgan mantiqiy modelning maqsadi - ishlatilgan mantiqiy modeldagi kamchiliklarni bartaraf etish ma'lumot olish. Boolean modeli so'rovlarda muddatli og'irliklarni hisobga olmaydi va mantiqiy so'rovning natijalar to'plami ko'pincha juda kichik yoki juda katta bo'ladi. Kengaytirilgan modelning g'oyasi - bu vektorli kosmik modeldagi kabi qisman moslashtirish va muddatli og'irliklardan foydalanish. Ning xususiyatlarini birlashtiradi Vektorli kosmik model xususiyatlari bilan Mantiqiy algebra va so'rovlar va hujjatlar o'rtasidagi o'xshashlikni belgilaydi. Shu tarzda, agar u ba'zi bir so'ralgan shartlarga mos keladigan bo'lsa va natijada qaytarib berilsa, hujjat biroz ahamiyatga ega bo'lishi mumkin, ammo Booleanning standart modeli u emas edi.^[1]

Shunday qilib, kengaytirilgan mantiya modelini ham mantiqiy, ham vektor fazoviy modellarini umumlashtirish deb hisoblash mumkin; agar mos sozlamalar va ta'riflar ishlatilsa, bu ikkitasi alohida holatlardir. Bundan tashqari, tadqiqotlar mantiqiy so'rovlarni qayta ishlashga nisbatan samaradorligini yaxshilaganligini ko'rsatdi. Boshqa tadqiqotlar shuni ko'rsatdiki dolzarbligi haqida mulohaza va so'rovlarni kengaytirish kengaytirilgan mantiqiy so'rovlarni qayta ishlash bilan birlashtirilishi mumkin.

Ta'riflar

In Booleanning kengaytirilgan modeli, hujjat vektor sifatida namoyish etiladi (vektor modelidagi kabi). Har biri men o'lchov hujjat bilan bog'liq alohida atamaga to'g'ri keladi.

Muddatning og'irligi K_x hujjat bilan bog'liq d_j uning normallashtirilganligi bilan o'lchanadi Muddat chastotasi va quyidagicha ta'riflanishi mumkin:

${ displaystyle w_ {x, j} = f_ {x, j} * { frac {Idf_ {x}} {max_ {i} Idf_ {i}}}}$

qayerda Idf_x bu teskari hujjat chastotasi va f_{x, j} j hujjatidagi x muddati uchun muddat chastotasi.

Hujjat bilan bog'liq bo'lgan vazn vektori d_j quyidagicha ifodalanishi mumkin:

${ displaystyle mathbf {v} _ {d_ {j}} = [w_ {1, j}, w_ {2, j}, ldots, w_ {i, j}]}$

2 o'lchovli misol

1-rasm: O'xshashliklari q = (K_x ∨ K_y) hujjatlar bilan d_j va d_j+1.

Shakl 2: O'xshashliklari q = (K_x ∧ K_y) hujjatlar bilan d_j va d_j+1.

Ikki atamadan iborat bo'shliqni hisobga olgan holda K_x va K_y faqat, mos keladigan atama og'irliklari w₁ va w₂.^[2] Shunday qilib, so'rov uchun q_yoki = (K_x ∨ K_y), o'xshashlikni quyidagi formula bilan hisoblashimiz mumkin:

${ displaystyle sim (q_ {or}, d) = { sqrt { frac {w_ {1} ^ {2} + w_ {2} ^ {2}} {2}}}}$

So'rov uchun q_va = (K_x ∧ K_y), biz quyidagilarni ishlatishimiz mumkin:

${ displaystyle sim (q_ {va}, d) = 1 - { sqrt { frac {(1-w_ {1}) ^ {2} + (1-w_ {2}) ^ {2}} {2 }}}}$

Fikr va P-me'yorlarni umumlashtirish

Biz avvalgi 2D kengaytirilgan mantiqiy modelini evklid masofalaridan foydalangan holda yuqori o'lchovli bo'shliqqa umumlashtira olamiz.

Buni yordamida amalga oshirish mumkin P-normalari masofa tushunchasini kengaytirib, p masofani o'z ichiga oladi, bu erda 1 ≤ p ≤ ∞ bu yangi parametr.^[3]

• Umumlashtirilgan kon'yunktiv so'rov quyidagicha beriladi:

${ displaystyle q_ {or} = k_ {1} lor ^ {p} k_ {2} lor ^ {p} .... lor ^ {p} k_ {t}}$

• O'xshashligi ${ displaystyle q_ {yoki}}$ va ${ displaystyle d_ {j}}$ quyidagicha ta'riflanishi mumkin:

:${ displaystyle sim (q_ {or}, d_ {j}) = { sqrt [{p}] { frac {w_ {1} ^ {p} + w_ {2} ^ {p} + .... + w_ {t} ^ {p}} {t}}}}$

• Umumlashtirilgan ajratilgan so'rov quyidagicha beriladi:

${ displaystyle q_ {and} = k_ {1} land ^ {p} k_ {2} land ^ {p} .... land ^ {p} k_ {t}}$

• O'xshashligi ${ displaystyle q_ {va}}$ va ${ displaystyle d_ {j}}$ quyidagicha ta'riflanishi mumkin:

${ displaystyle sim (q_ {va}, d_ {j}) = 1 - { sqrt [{p}] { frac {(1-w_ {1}) ^ {p} + (1-w_ {2}) ) ^ {p} + .... + (1-w_ {t}) ^ {p}} {t}}}}$

Misollar

So'rovni ko'rib chiqing q = (K₁ ∧ K₂) ∨ K₃. So'rovlar o'rtasidagi o'xshashlik q va hujjat d formuladan foydalanib hisoblash mumkin:

${ displaystyle sim (q, d) = { sqrt [{p}] { frac {(1 - { sqrt [{p}] {({ frac {(1-w_ {1}) ^ {p } + (1-w_ {2}) ^ {p}} {2}}}})) ^ {p} + w_ {3} ^ {p}} {2}}}}$

Mantiqiy standart model bo'yicha yaxshilanishlar

Li va Fox^[4] Standard va Extended Boolean modellarini CISI, CACM va INSPEC uchta test to'plamlari bilan taqqosladilar va P-normalaridan foydalangan holda CISI, CACM va INSPEC kollektsiyalari uchun o'rtacha namunaviy ko'rsatkichdan 79%, 106% va 210% gacha yaxshilandi. navbati bilan.
P-norm modeli, talab qilinadigan eksponentatsiya operatsiyalari soni tufayli hisoblash uchun juda qimmat, ammo u standart modelga qaraganda ancha yaxshi natijalarga erishadi va hattoki Loyqa qidirish texnikalar. The Booleanning standart modeli hali ham eng samarali hisoblanadi.

Qo'shimcha o'qish

• Dr.Jongpill Choi tomonidan kengaytirilgan mantiqiy modeldagi moslashuvchan qayta aloqa usullari
• Kengaytirilgan mantiqiy qidirish modelining interpolatsiyasi
• Tulki, E .; Betrabet, S .; Koushik, M .; Li, V. (1992), Axborotni qidirish: algoritmlar va ma'lumotlar tuzilmalari; Booleanning kengaytirilgan modeli, Prentice-Hall, Inc.
• Skorkovska, Lyusi; Ircing, Pavel (2009), "Kengaytirilgan mantiqiy modelda avtomatik so'rovlarni shakllantirish bo'yicha tajribalar", Matn, nutq va dialog, Kompyuter fanidan ma'ruza matnlari, 5729, Springer Berlin / Heidelberg, 371-378 betlar, doi:10.1007/978-3-642-04208-9_51, hdl:11025/16985, ISBN  978-3-642-04207-2

Shuningdek qarang

• Axborot olish

Adabiyotlar