Probabilistic Information Retrieval

advertisement
Ahmet Selman Bozkır





Introduction to conditional, total probability & Bayesian
theorem
Historical background of probabilistic information retrieval
Why probabilities in IR?
Document ranking problem
Binary Independence Model


Given some event B with nonzero probability P(B) > 0
We can define conditional prob. as an event A, given B, by
P( A B) 
P( A  B)
P( B)
The Probabilty P(A|B) simply reflects the fact that the probability of an
event A may depend on a second event B. So if A and B are mutually
exclusive, A  B = 
Tolerance
Resistance
()
5%
10%
Total
22-
10
14
24
47-
28
26
44
100-
24
8
32
Total:
62
38
100
Let’s define three events:
1. A as “draw 47  resistor
2. B as “draw” a resistor with 5%
3. C as “draw” a “100 resistor
P(A) = P(47) = 44/100
P(B) = P(5%) = 62/100
P(C) = P(100) = 32 /100
The joint probabilities are:
P(A  B) = P(47   5%) = 28/100
P(A  C) = P(47   100 ) = 0
P(B  C) = P(5%  100 ) = 24/100
I f we use them the cond. prob. :
P( A  B) 28
P( A B) 

P( B)
62
P( A C ) 
P( A  C )
0
P(C )
P( B C ) 
P( B  C ) 24

P(C )
32

The probability of P(A) of any event A defined on a sample space S can be
expressed in terms of cond. probabilities. Suppose we are given N
mutually exclusive events Bn ,n = 1,2…. N whose union equals S as
ilustrated in figure
A  Bn
B1
B3
B2
A
N
 N
A  S  A    Bn    ( A  Bn )
 n1  n1
Bn

The definition of conditional probability applies to any two
events. In particular ,let Bn be one of the events defined
above in the subsection on total probability.
P(Bn  A)
P( Bn A) 
P(A)
İf P(A)≠O,or, alternatively,
P( A  Bn )
P( A Bn ) 
P( Bn )

if P(Bn)≠0, one form of Bayes’ theorem is obtained by
equating these two expressions:
P ( Bn A) 

P ( A Bn ) P ( Bn )
P ( A)
Another form derives from a substitution of P(A) as given:
P( Bn A) 
P( A Bn ) P( Bn )
P( A B1 ) P( B1 )  ...  P( A BN ) P( BN )

The first attempts to develop a probabilistic theory of retrieval were made over
30 years ago [Maron and Kuhns 1960; Miller 1971], and since then there has been
a steady development of the approach. There are already several operational IR
systems based upon probabilistic or semiprobabilistic models.

One major obstacle in probabilistic or semiprobabilistic IR models is finding
methods for estimating the probabilities used to evaluate the probability of
relevance that are both theoretically sound and computationally efficient.

The first models to be based upon such assumptions were the “binary
independence indexing model” and the “binary independence retrieval model

One area of recent research investigates the use of an explicit network
representation of dependencies. The networks are processed by means of
Bayesian inference or belief theory, using evidential reasoning techniques such as
those described by Pearl 1988. This approach is an extension of the earliest
probabilistic models, taking into account the conditional dependencies present in
a real environment.
User
Information
Need
Query
Representation
Understanding
of user need is
uncertain
How to match?
Document
s
Document
Representation
Uncertain guess of
whether document
has relevant content
In traditional IR systems, matching between each document and
query is attempted in a semantically imprecise space of index terms.
Probabilities provide a principled foundation for uncertain reasoning.
Can we use probabilities to quantify our uncertainties?




Classical probabilistic retrieval model
 Probability ranking principle, etc.
(Naïve) Bayesian Text Categorization
Bayesian networks for text retrieval
Probabilistic methods are one of the oldest but also one of the
currently hottest topics in IR.
 Traditionally: neat ideas, but they’ve never won on
performance. It may be different now.

In probabilistic information retrieval, the goal is the estimation of the
probability of relevance P(R l qk, dm) that a document dm will be judged
relevant by a user with request qk. In order to estimate this probability, a
large number of probabilistic models have been developed.

Typically, such a model is based on representations of queries and
documents (e.g., as sets of terms); in addition to this, probabilistic
assumptions about the distribution of elements of these representations
within relevant and nonrelevant documents are required.

By collecting relevance feedback data from a few documents, the model
then can be applied in order to estimate the probability of relevance for
the remaining documents in the collection.




We have a collection of documents
User issues a query
A list of documents needs to be returned
Ranking method is core of an IR system:
 In what order do we present documents to the
user?
 We want the “best” document to be first, second best
second, etc….

Idea: Rank by probability of relevance of the
document w.r.t. information need
 P(relevant|documenti, query)


For events a and b:
Bayes’ Rule
p (a, b)  p (a  b)  p (a | b) p (b)  p (b | a ) p (a )
p (a | b) p (b)  p (b | a ) p (a )
Prior
p (b | a ) p (a )
p (b | a ) p (a )
p ( a | b) 

p (b)
xa,a p(b | x) p( x)
Posterior

Odds:
p(a)
p(a)
O( a ) 

p(a ) 1  p(a)
Let x be a document in the collection.
Let R represent relevance of a document w.r.t. given (fixed)
query and let NR represent non-relevance.
R={0,1} vs. NR/R
Need to find p(R|x) - probability that a document x is relevant.
p( x | R) p( R)
p( R | x) 
p( x)
p( x | NR) p( NR)
p( NR | x) 
p( x)
p(R),p(NR) - prior probability
of retrieving a (non) relevant
document
p( R | x)  p( NR | x)  1
p(x|R), p(x|NR) - probability that if a relevant (non-relevant) document is
retrieved, it is x.

Bayes’ Optimal Decision Rule
 x is relevant iff p(R|x) > p(NR|x)

PRP in action: Rank all documents by p(R|x)

More complex case: retrieval costs.
 Let d be a document
 C - cost of retrieval of relevant document
 C’ - cost of retrieval of non-relevant document

Probability Ranking Principle: if
C  p( R | d )  C  (1  p( R | d ))  C  p( R | d )  C  (1  p( R | d ))
for all d’ not yet retrieved, then d is the next
document to be retrieved
 We won’t further consider loss/utility from
now on

How do we compute all those probabilities?
 Do not know exact probabilities, have to use
estimates
 Binary Independence Retrieval (BIR) – which we
discuss later today – is the simplest model

Questionable assumptions
 “Relevance” of each document is independent of
relevance of other documents.
▪ Really, it’s bad to keep on returning duplicates
 Boolean model of relevance

Estimate how terms contribute to relevance
 How tf, df, and length influence your judgments
about do things like document relevance?
▪ One answer is the Okapi formulae (S. Robertson)

Combine to find document relevance
probability

Order documents by decreasing probability

Basic concept:

"For a given query, if we know some documents
that are relevant, terms that occur in those
documents should be given greater weighting in
searching for other relevant documents.

By making assumptions about the distribution of
terms and applying Bayes Theorem, it is possible
to derive weights theoretically."

Van Rijsbergen


Traditionally used in conjunction with PRP
“Binary” = Boolean: documents are represented as binary
incidence vectors of terms (cf. lecture 1):



x  ( x1 ,, xn )
xi  1 iff term i is present in document x.


“Independence”: terms occur in documents independently
Different documents can be modeled as same vector

Bernoulli Naive Bayes model (cf. text categorization!)


Queries: binary term incidence vectors
Given query q,
 for each document d need to compute p(R|q,d).
 replace with computing p(R|q,x) where x is binary term
incidence vector representing d Interested only in
ranking

Will use odds and Bayes’ Rule:

p ( R | q ) p ( x | R, q )



p ( R | q, x )
p( x | q)
O ( R | q, x ) 
  p ( NR | q ) p ( x | NR , q )
p ( NR | q, x )

p( x | q)



p ( R | q, x )
p ( R | q ) p ( x | R, q )
O ( R | q, x ) 
 
 
p( NR | q, x ) p( NR | q) p( x | NR, q)
Constant for a
given query
Needs estimation
• Using Independence Assumption:

n
p( xi | R, q)
p( x | R, q)


p( x | NR, q) i 1 p( xi | NR, q)
•So :
n
O( R | q, d )  O( R | q)  
i 1
p( xi | R, q)
p( xi | NR, q)
n
O( R | q, d )  O( R | q)  
i 1
p( xi | R, q)
p( xi | NR, q)
• Since xi is either 0 or 1:
p( xi  1 | R, q)
p( xi  0 | R, q)
O( R | q, d )  O( R | q)  

xi 1 p( xi  1 | NR, q) xi 0 p( xi  0 | NR, q)
• Let
pi  p( xi  1 | R, q); ri  p( xi  1 | NR, q);
• Assume, for all terms not occurring in the query (qi=0)
Then...
pi  ri
This can be
changed (e.g., in
relevance feedback)

O ( R | q, x )  O ( R | q ) 

xi  qi 1
All matching terms
pi
1  pi

ri xi 0 1  ri
qi 1
Non-matching
query terms
pi (1  ri )
1  pi
 O( R | q )  

xi  qi 1 ri (1  pi ) qi 1 1  ri
All matching terms
All query terms

O( R | q, x )  O( R | q) 
pi (1  ri )
1  pi


xi  qi 1 ri (1  pi ) qi 1 1  ri
Constant for
each query
• Retrieval Status Value:
Only quantity to be estimated
for rankings
pi (1  ri )
pi (1  ri )
RSV  log 
  log
ri (1  pi )
xi  qi 1
xi  qi 1 ri (1  pi )
• Estimating RSV coefficients.
• For each term i look at this table of document counts:
Documens Relevant
Non-Relevant Total
Xi=1
Xi=0
s
S-s
n-s
N-n-S+s
n
N-n
Total
S
N-S
N
• Estimates:
s
pi 
S
(n  s)
ri 
(N  S)
s ( S  s)
ci  K ( N , n, S , s)  log
(n  s ) ( N  n  S  s )
For now,
assume no
zero terms.


If non-relevant documents are approximated by the whole
collection, then ri (prob. of occurrence in non-relevant
documents for query) is n/N and
 log (1– ri)/ri = log (N– n)/n ≈ log N/n = IDF!
pi (probability of occurrence in relevant documents) can be
estimated in various ways:
 from relevant documents if know some
▪ Relevance weighting can be used in feedback loop
 constant (Croft and Harper combination match) – then just get idf
weighting of terms
 proportional to prob. of occurrence in collection
▪ more accurately, to log of this (Greiff, SIGIR 1998)
1.
Assume that pi constant over all xi in query

2.
Determine guess of relevant document set:

3.
pi = 0.5 (even odds) for any given doc
V is fixed size set of highest ranked documents on
this model (note: now a bit like tf.idf!)
We need to improve our guesses for pi and ri, so

Use distribution of xi in docs in V. Let Vi be set of
documents containing xi
▪

Assume if not retrieved then not relevant
▪
4.
pi = |Vi| / |V|
ri = (ni – |Vi|) / (N – |V|)
Go to 2. until converges then return ranking
Guess a preliminary probabilistic description of R
and use it to retrieve a first set of documents V,
as above.
2. Interact with the user to refine the description:
learn some definite members of R and NR
3. Reestimate pi and ri on the basis of these
1.

4.
Or can combine new information with original guess
(1)
(use Bayesian prior):
|
V
|


p
i
κ is
pi( 2)  i
prior
| V | 
Repeat, thus generating a succession of
approximations to R.
weight


Getting reasonable approximations of
probabilities is possible.
Requires restrictive assumptions:
 term independence
 terms not in query don’t affect the outcome
 boolean representation of documents/queries/relevance
 document relevance values are independent


Some of these assumptions can be removed
Problem: either require partial relevance information or
only can derive somewhat inferior term weights



In general, index terms aren’t
independent
Dependencies can be complex
van Rijsbergen (1979) proposed
model of simple tree
dependencies
 Exactly Friedman and
Goldszmidt’s Tree Augmented
Naive Bayes (AAAI 13, 1996)


Each term dependent on one
other
In 1970s, estimation problems
held back success of this model

What is a Bayesian network?
 A directed acyclic graph
 Nodes
▪ Events or Variables
▪ Assume values.
▪ For our purposes, all Boolean
 Links
▪ model direct dependencies between nodes
• Bayesian networks model causal
relations between events
a
b
p(a)
c
p(c|ab) for all values
for a,b,c
p(b)
Conditional
dependence
•Inference in Bayesian Nets:
•Given probability distributions
for roots and conditional
probabilities can compute
apriori probability of any instance
• Fixing assumptions (e.g., b
was observed) will cause
recomputation of probabilities
For more information see:
R.G. Cowell, A.P. Dawid, S.L. Lauritzen, and D.J. Spiegelhalter.
1999. Probabilistic Networks and Expert Systems. Springer Verlag.
J. Pearl. 1988. Probabilistic Reasoning in Intelligent Systems:
Networks of Plausible Inference. Morgan-Kaufman.
f
0.3
f
0.7
f
n
Finals
(f)
Project Due
(d)
f
0.9 0.3
No Sleep
(n)
n 0.1 0.7
g
g
t
0.99
0.1
t
0.01
0.9
Gloom
(g)
Triple Latte
(t)
d
d
fd fd
g 0.99 0.9
g 0.01 0.1
0.4
0.6
fd fd
0.8
0.3
0.2
0.7
Finals
(f)
No Sleep
(n)
Project Due
(d)
Gloom
(g)
• Independence assumption:
P(t|g, f)=P(t|g)
• Joint probability
P(f d n g t)
=P(f) P(d) P(n|f) P(g|f d) P(t|g)
Triple Latte
(t)

Goal
 Given a user’s information need (evidence), find
probability a doc satisfies need

Retrieval model
 Model docs in a document network
 Model information need in a query network
Document Network
di -documents
d1
d2
tiLarge,
- document
but representations
t1
t2
riCompute
- “concepts”
once for each
document collection
r1
r2
r3
c1
c2
q1
dn
tn
rk
ci - query concepts
cm
Small, compute once for
every query
qi - high-level
concepts q2
Query Network
I
I - goal node


Construct Document Network (once !)
For each query
 Construct best Query Network
 Attach it to Document Network
 Find subset of di’s which maximizes the
probability value of node I (best subset).
 Retrieve these di’s as the answer to query.
Documents
d1
r1
d2
r2
c1
c3
q2
i
Terms/Concepts
r3
c2
q1
Document
Network
Concepts
Query operators
(AND/OR/NOT)
Information need
Query
Network
Prior doc probability P(d) =
1/n
 P(r|d)

 within-document term


frequency
 tf  idf - based
P(c|r)
 1-to-1
 thesaurus
P(q|c): canonical forms of
query operators
 Always use things like AND
and NOT – never store a
full CPT*
*conditional probability table
Hamlet
Macbeth
Document
Network
reason
trouble
reason
trouble
OR
double
two
NOT
User query
Query
Network




Prior probs don’t have to be 1/n.
“User information need” doesn’t have to be a
query - can be words typed, in docs read, any
combination …
Phrases, inter-document links
Link matrices can be modified over time.
 User feedback.
 The promise of “personalization”



Document network built at indexing time
Query network built/scored at query time
Representation:
 Link matrices from docs to any single term are like
the postings entry for that term
 Canonical link matrices are efficient to store and
compute

Attach evidence only at roots of network
 Can do single pass from roots to leaves
All sources served by Google!
Download