7 IR models based on predicate logic
7 IR models based on predicate logic
7 IR models based on predicate logic
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<str<strong>on</strong>g>IR</str<strong>on</strong>g> <str<strong>on</strong>g>models</str<strong>on</strong>g> <str<strong>on</strong>g>based</str<strong>on</strong>g> <strong>on</strong> <strong>predicate</strong> <strong>logic</strong> 32<br />
Probabilistic search term weighting<br />
via disjoint events<br />
0.8 docTerm(d1,db). 0.7 docTerm(d1,ir).<br />
# qtw(av).<br />
0.4 qtw(db). 0.6 qtw(ir).<br />
s(D) :- qtw(X) & docTerm(D,X).<br />
?- s(D).<br />
0.4 qtw(db) 0.6 qtw(ir)<br />
0.7 docTerm(d1,ir)<br />
0.8 docTerm(d1,db)<br />
d1 [q(db) & dT(d1,db) | q(ir) & dT(d1,ir)]<br />
0.4 · 0.8 + 0.6 · 0.7 = 0.74<br />
Norbert Fuhr