PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar...

41
Prasad L2IRModels 1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning (Stanford)

Transcript of PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar...

Page 1: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 1

Models for IR

Adapted from Lectures by

Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and

Christopher Manning (Stanford)

Page 2: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 2

IntroductionDocs DB

Information Need

Index Terms

Doc

Query

RankedList of Docs

matchmatchabstractabstract

Page 3: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 3

Introduction

• Premise: Semantics of documents and user information need, expressible naturally through sets of index termsUnfortunately, in general, matching at

index term level is quite imprecise

• Critical Issue: Ranking - ordering of documents retrieved that (hopefully) reflects their relevance to the query

Page 4: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 4

• Fundamental premisses regarding relevance determines an IR Modelcommon sets of index termssharing of weighted termslikelihood of relevance

• IR Model (boolean, vector, probabilistic, etc), logical view of the documents (full text, index terms, etc) and the user task (retrieval, browsing, etc) are all orthogonal aspects of an IR system.

Page 5: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 5

IR Models

Non-Overlapping ListsProximal Nodes

Structured Models

Retrieval: Adhoc Filtering

Browsing

U s e r

T a s k

Classic Models

boolean vector probabilistic

Set Theoretic

Fuzzy Extended Boolean

Probabilistic

Inference Network Belief Network

Algebraic

Generalized Vector Lat. Semantic Index Neural Networks

Browsing

Flat Structure Guided Hypertext

Page 6: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 6

IR Models• The IR model, the logical view of the docs, and the

retrieval task are distinct aspects of the system

Index Terms Full Text Full Text +Structure

RetrievalClassic

Set TheoreticAlgebraic

Probabilistic

ClassicSet Theoretic

AlgebraicProbabilistic

Structured

Browsing FlatFlat

HypertextStructure Guided

Hypertext

LOGICAL VIEW OF DOCUMENTS

USER

TASK

Page 7: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 7

Retrieval: Ad Hoc vs Filtering

• Ad hoc retrieval:

Collection“Fixed Size”

Q2

Q3

Q1

Q4Q5

Page 8: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 8

Retrieval: Ad Hoc vs Filtering

• Filtering:

Documents Stream

User 1Profile

User 2Profile

Docs Filteredfor User 2

Docs forUser 1

Page 9: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 9

Retrieval : Ad hoc vs Filtering

• Docs collection relatively static while queries vary

• Ranking for determining relevance to user information need Cf. String matching

problem where the text is given and the pattern to be searched varies.

• E.g., use indexing techniques, suffix trees, etc.

• Queries relatively static while new docs are added to the collection

• Construction of user profile to reflect user preferences Cf. String matching

problem where pattern is given and the text varies.

• E.g., use automata-based techniques

Page 10: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 10

Specifying an IR Model

• Structure Quadruple [D, Q, F, R(qi, dj)]D = Representation of documentsQ = Representation of queriesF = Framework for modeling representations and their

relationships• Standard language/algebra/impl. type for translation to

provide semantics • Evaluation w.r.t. “direct” semantics through benchmarks

R = Ranking function that associates a real number with a query-doc pair

Page 11: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 11

Classic IR Models - Basic Concepts

• Each document represented by a set of representative keywords or index termsIndex terms meant to capture document’s

main themes or semantics.Usually, index terms are nouns because nouns

have meaning by themselves.However, search engines assume that all

words are index terms (full text representation)

Page 12: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 12

Classic IR Models - Basic Concepts

• Not all terms are equally useful for representing the document’s content

• Let ki be an index termdj be a document wij be the weight associated with (ki,dj)

• The weight wij quantifies the importance of the index term for describing the document content

Page 13: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 13

Notations/Conventions

Ki is an index termdj is a documentt is the total number of docsK = (k1, k2, …, kt) is the set of all index termswij >= 0 is the weight associated with (ki,dj)

• wij = 0 if the term is not in the doc

vec(dj) = (w1j, w2j, …, wtj) is the weight vector associated with the document dj

gi(vec(dj)) = wij is the function which returns the weight associated with the pair (ki,dj)

Page 14: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 14

Boolean Model

Page 15: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 15

The Boolean Model

• Simple model based on set theory

• Queries and documents specified as boolean expressions precise semanticsE.g., q = ka (kb kc)

• Terms are either present or absent. Thus, wij {0,1}

Page 16: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 16

Example

q = ka (kb kc)vec(qdnf) = (1,1,1) (1,1,0) (1,0,0)

» Disjunctive Normal Form

vec(qcc) = (1,1,0) » Conjunctive component

• Similar/Matching documents• md1 = [ka ka d e] => (1,0,0)• md2 = [ka kb kc] => (1,1,1)

• Unmatched documents• ud1 = [ka kc] => (1,0,1)• ud2 = [d] => (0,0,0)

Page 17: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 17

Similarity/Matching function

sim(q,dj) = 1 if vec(dj) vec(qdnf))

0 otherwise

» Requires coercion for accuracy

Page 18: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 18

Venn Diagram

q = ka (kb kc)

(1,1,1)(1,0,0)

(1,1,0)

Ka Kb

Kc

Page 19: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 19

Drawbacks of the Boolean Model

Expressive power of boolean expressions to capture information need and document semantics inadequate

Retrieval based on binary decision criteria (with no partial match) does not reflect our intuitions behind relevance adequately

• As a resultAnswer set contains either too few or too many

documents in response to a user queryNo ranking of documents

Page 20: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 20

Vector Model

Page 21: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 21

Documents as vectors

• Not all index terms are equally useful in representing document content

• Each doc j can be viewed as a vector of non-boolean weights, one component for each termterms are axes of vector spacedocs are points in this vector space

• even with stemming, the vector space may have 20,000+ dimensions

Page 22: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 22

Intuition

Postulate: Documents that are “close together” in the vector space talk about the same things.

t1

d2

d1

d3

d4

d5

t3

t2

θ

φ

Page 23: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 23

Desiderata for proximity

• If d1 is near d2, then d2 is near d1.

• If d1 near d2, and d2 near d3, then d1 is not far from d3.

• No doc is closer to d than d itself.

Page 24: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 24

First cut

• Idea: Distance between d1 and d2 is the length of the vector |d1 – d2|.

Euclidean distance• Why is this not a great idea?• We still haven’t dealt with the issue of length

normalizationShort documents would be more similar to each other

by virtue of length, not topic• However, we can implicitly normalize by looking at

angles instead “Proportional content”

Page 25: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 25

Cosine similarity

• Distance between vectors d1 and d2 captured by the cosine of the angle x between them.

t 1

d 2

d 1

t 3

t 2

θ

Page 26: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 26

Cosine similarity

• A vector can be normalized (given a length of 1) by dividing each of its components by its length – here we use the L2 norm

• This maps vectors onto the unit sphere:

• Then,

• Longer documents don’t get more weight

11 ,

n

i jij wd

i ix

2

2x

Page 27: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 27

Cosine similarity

• Cosine of angle between two vectors

• The denominator involves the lengths of the vectors.

n

i ki

n

i ji

n

i kiji

kj

kjkj

ww

ww

dd

ddddsim

1

2,1

2,

1 ,,),(

Normalization

Page 28: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 28

Example

• Docs: Austen's Sense and Sensibility, Pride and Prejudice; Bronte's Wuthering Heights. tf weights

SaS PaP WHaffection 115 58 20jealous 10 7 11gossip 2 0 6

SaS PaP WHaffection 0.996 0.993 0.847jealous 0.087 0.120 0.466gossip 0.017 0.000 0.254

Page 29: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 29

• Normalized weights

• cos(SAS, PAP) = .996 x .993 + .087 x .120 + .017 x 0.0 = 0.999

• cos(SAS, WH) = .996 x .847 + .087 x .466 + .017 x .254 = 0.889

SaS PaP WHaffection 115 58 20jealous 10 7 11gossip 2 0 6

SaS PaP WHaffection 0.996 0.993 0.847jealous 0.087 0.120 0.466gossip 0.017 0.000 0.254

Page 30: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 30

Queries in the vector space model

Central idea: the query as a vector:• We regard the query as short document

Note that dq is very sparse!

• We return the documents ranked by the closeness of their vectors to the query, also represented as a vector.

n

i qi

n

i ji

n

i qiji

qj

qjqj

ww

ww

dd

ddddsim

1

2,1

2,

1 ,,),(

Page 31: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 31

The Vector Model: Example I

k1 k2 k3 q djd1 1 0 1 2d2 1 0 0 1d3 0 1 1 2d4 1 0 0 1d5 1 1 1 3d6 1 1 0 2d7 0 1 0 1

q 1 1 1

d1

d2

d3d4 d5

d6d7

k1k2

k3

Page 32: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 32

The Vector Model: Example II

d1

d2

d3d4 d5

d6d7

k1k2

k3

k1 k2 k3 q djd1 1 0 1 4d2 1 0 0 1d3 0 1 1 5d4 1 0 0 1d5 1 1 1 6d6 1 1 0 3d7 0 1 0 2

q 1 2 3

Page 33: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 33

The Vector Model: Example III d1

d2

d3d4 d5

d6d7

k1k2

k3

k1 k2 k3 q djd1 2 0 1 5d2 1 0 0 1d3 0 1 3 11d4 2 0 0 2d5 1 2 4 17d6 1 2 0 5d7 0 5 0 10

q 1 2 3

Page 34: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 34

Summary: What’s the point of using vector spaces?

• A well-formed algebraic space for retrieval• Query becomes a vector in the same

space as the docs.• Can measure each doc’s proximity to it.• Natural measure of scores/ranking – no

longer Boolean.Documents and queries are expressed as

bags of words

Page 35: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 35

The Vector Model

• Non-binary (numeric) term weights used to compute degree of similarity between a query and each of the documents.

• Enablespartial matches

• to deal with incompleteness

answer set ranking• to deal with information overload

Page 36: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 36

• Define:wij > 0 whenever ki djwiq >= 0 associated with the pair (ki,q) vec(dj) = (w1j, w2j, ..., wtj)

vec(q) = (w1q, w2q, ..., wtq)To each term ki, associate a unit vector vec(i) The t unit vectors, vec(1), ..., vec(t) form an

orthonormal basis (embodying independence assumption) for the t-dimensional space for representing queries and documents

Page 37: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 37

The Vector Model

• How to compute the weights wij and wiq ?

quantification of intra-document content (similarity/semantic emphasis)

• tf factor, the term frequency within a document

quantification of inter-document separation (dis-similarity/significant discriminant)

• idf factor, the inverse document frequency

wij = tf(i,j) * idf(i)

Page 38: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 38

• Let,N be the total number of docs in the collectionni be the number of docs which contain kifreq(i,j) raw frequency of ki within dj

• A normalized tf factor is given byf(i,j) = freq(i,j) / max(freq(l,j))

• where the maximum is computed over all terms which occur within the document dj

• The idf factor is computed asidf(i) = log (N/ni)

• the log makes the values of tf and idf comparable.

Page 39: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 39

Digression: terminology

• WARNING: In a lot of IR literature, “frequency” is used to mean “count”Thus term frequency in IR literature is used to

mean number of occurrences in a docNot divided by document length (which would

actually make it a frequency)

Page 40: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 40

• The best term-weighting schemes use weights which are given by wij = f(i,j) * log(N/ni)the strategy is called a tf-idf weighting scheme

• For the query term weights, usewiq = (0.5 + [0.5 * freq(i,q) / max(freq(l,q)]) *

log(N/ni)

• The vector model with tf-idf weights is a good ranking strategy for general collections. It is also simple and fast to compute.

Page 41: PrasadL2IRModels1 Models for IR Adapted from Lectures by Berthier Ribeiro-Neto (Brazil), Prabhakar Raghavan (Yahoo and Stanford) and Christopher Manning.

Prasad L2IRModels 41

The Vector Model

• Advantages:term-weighting improves answer set quality partial matching allows retrieval of docs that

approximate the query conditionscosine ranking formula sorts documents

according to degree of similarity to the query

• Disadvantages:assumes independence of index terms; not

clear that this is bad though