- Dynamical modification of context for an iterative and interactive information retrieval process on the web ,

(1)

!"#$#%#

&'((")*#+,-!!*./0-*1

,2*!333!.!*..**.#.**1-(.*-

.* !$!.( .- !#2 - .2 45 !*6 1-( #-#3. $!*!

7898 3-*! . 4$ .- -6*: -5;#.! ##-*6 .-

.2* 3-3.*! *. 2! 5 ! *#. 4-+! .- -6*! *

(-#-*.(!4!3-*5$!#26*,2

*6.*-*.-.2..*#23!.2!%3-!.#.!$.2.*#

!.<#2..*##-.*!#-#3.!.2..!-(-.2!

.2.-..1-6**1-(.*-.*.!+=*.-#

..*#!*.-*.#.* *..*!$!.(,2!%3!!!2*!

6.* - 3-!*.* 6(. 4*.2 !-(#-#3. -1.2 ..*# *

!3#.4*.22*!-5;#.*-1 *1-(.*-.*,2!!#2-*#!

#-.*.--3.*-!-.2..*#!-.-(+.2#-.%.#26

.-5.. >.!!

*1-(.*-.*#-#3...*#!!15#+

!""!"#!#$

%&$$ &$ !

'$()$*+

" "

$

" $ "

!# "

" $ ,$

! $ '

" -$ "

. ."!#

! " !#$

!# " " !

$ " !#

(2)

" '"

'"

"/0 "

!# - 1 2

' " "

Web IR SearchEngine WebDirectory Yahoo ! Altavista Google

d ₁ × × × × × d ₂ × × × d ₃ × × × d ₄ × × d ₅ × × × × d ₆ × ×

5*$#-.%..2#-!3-*6#-#3...*#

K = (G, M, I)

^$

G

^"

$

M

^"

I

G × M

(**+ "

" * '"'/

G

^" ³

d ₁

^{$ $}

d ₆

M

^" ^" ⁴

(I, E)

^$

E

^' ^"

I

^'^" ^'

$

({IR, SearchEngine, Web}, {d 1 , d ₂ , d ₃ })

" *

$

C K

^"^"^"^'

K = (G, M, I)

'

≤ K

L = C K , ≤ K

^$

L

^, ^$

5 * '

6

7$

& " '

" "

" " $ (**+

(3)

" " $

(*8+

"!#&

" ()+ 9 !# "

% '

" %

" % " # ! # (1+

'$ " %

" !#

% (3$:+ % &

"

! "$ (0+ '

" $

"" &""%

(8+ &$%'"

"

$

'

$ " !#

" (2+$"

"# "

;7 ()+ "<; (*+

" "

% $ 0$

" $ =#9 ' &

""

×

^'$

' "

×

^{' !}

$ " " '

" " >

"

'" ?

" !# "

(4)

" @ $ !# '

" # # (*)+ "

A"(*3+

"#/ ! '#$

'" !#$"'$

$ & %$ "

(*0+$ (4+$ !

#$ !# & " "

" !#

" (*4+ '$ %$ &

% " 7"$ "

% " "

& ' "

" B "$ "'$ ' "

(*C+ ? " (*1+ " & " "

% "

!# '#

""

," &"'

" !# $

½

' & ! &

"!#$% $

" 9!#

D " $ A

Q

" &

$ $ "

$

Q

& '

'"

!

" !

½

(5)

""$ " "

' &

! $ !# " '/

K ₀ → K ₁ → . . . → K _i → K _i+1 → . . .

^?

K _i = ( G _i , M _i , I _i )

^'

i K ₀ = (G ₀ , M ₀ , I ₀ )

^'/

G ₀ = ∅

^$

M ₀ = ∅ I ₀ = ∅

?

Q

^%

Q

^" ^/

Q = {word _i |i > 0}

?

DOC (Q)

^"

%

Q

^/

DOC(Q) = {doc _j |j ≥ 0}

#

K _i

K _i+1

K _i −−→ ^+Q K _i+1

Q

^$

$

G _i+i = G _i ∪ DOC(Q)

^%

$

M _i+i = M _i ∪ {word _i |i ∈ DOC(Q)}

^%

I _i

G _i

M _i

I _i+1

G _i+1

M _i+1

!

K _i+1

^'$^"

G _i

^'

"$"

(g, m) ∈ I _i

^$ ^"

g ∈ G _i+1

(g, m) ∈ I _i+1

(g, m i ) ∈ K _i

^$ ^'

(g, m i+1 ) ∈ K _i+1

m _i ⊆ m _i+1

^'

$'' /

%/%

Q ₀

K ₀ −−→ ^Q ⁰ K ₁

^&

' !#%

Q _i

K _i −−−→ ^+Q ⁱ K _i+1

C

^" ^/ ^%

"" & "

C

$''

K _i −−−−−−−→ ^+intent(C) K _i+1

"' "$

"

#

K _i

K _i+1

K _i −−→ ^−C K _i+1

(6)

C

^! ^$

G _i+i = G _i \ extent(C)

^%

C

^{& '} ^#

M _i+i = M _i \ {word i |i ∈ intent(C)}

^%

I _i+1

G _i+1

M _i+1

I _i

extent(C)

intent(C)

,2 #2*.#.

" 1 %

%

"'" $' 0

$ $ =#9 '

G _i

^=#9 ^"

'"' "

" ' (0C+

D>'

"/&

→

^$

$

→

^$ ^$

→

^$ ^$

→

"

→

^$^$ ^$

"%" "

"' $

" (*:+

(($( ($(($

& $

')

×

^& ⁷ ^' ^$

(*8+ D

(7)

" 2 2/

$%" * %

" 0 "

/ 1 ' "

" 2"

' "

' $ "" "

'

""$" '

"$ ?

" "

" "$

" &

"

'"

" $ $ $

/%$ !"$

" "

$ /DD ' "D

(8)

' 9

" *

"" & 9(

( &% '

'

K ₀

K ₀ −−−−−−−−−−−−−−→ ⁺

K ₁

" " ) ?84

"*CC% 1"*CC

0

-(

K 1

^2*#2$^.-

K 2

^2*#2$^5$

K 1 −−−−−−−−−−−−−−−−−−−→ −

K 2

%"

** +! 9

C

^$

intent(C)

= {carpineto, romano, castel}

^$ ^"

" ( ( "

K ₂

" )

K ₂

:0 ! $A

$ "

" "'

A " " )$

" '

'$ 1 ' " (

(9)

9

C

^$

intent(C) = {carpineto, romano, giovanni, claudio}

" "

C

^"

K ₃

3 :4

&"

.-1.2

K 3

^2*#2$^1.

K 2 −−−−−−−−−−−−−−−−−−−−−−−−−−→ +

K 3

"# $ %

-$ !#$" !

$ %

' '$ "

4'"

K ₃

^%⁽⁽^/

K ₃ −−−−−−−−−−−−−−−−−−→ ⁺

K ₄

.-1.2

K 4

^2*#2$^1.

K 3 −−−−−−−−−−−−−−−−−−−→ +

K 4

(10)

"

"""

" "% $"

" $

". "&

". E$

"$

"

! $

& $ ' &

'" ! $

"" ! $

*CC

% F$'"$

"*CC ! $

"

C

^" ^.^"

.

C

^'

"

C

^F^&^"

C

^"

-$ " "

&% #$A" "$

-$

%

"

" % "

" " " $

$"'$

' #(

" $ $

F$ $

!# $ '/

" G ?

""' &!# G

'$ ' ' "

&/' ' & "

"

%$ !#$

&

(11)

$'

" !# ?

" " & "

% '$

3$ (,--. ! (

(,/0/. !( (,/0&.

( ? "

$ $

" (,/0/. !( (,/0&.

( * '

(,--. ! ( " 0

" ' ,--.$ ,/0/. ,/0&.

A"'"$

2

$ ""

" " "

% $ " % !

" " $

' "#(*2+ "

' " % "

' "$ %

% "

" " &

$ $

" " !# "

' " > "

? $

$ &"'

$'

"%A&"!#

$ " '

'

' "!# 9

!#

D 8 83*.- B *. < *::- E -(- -5* #!.*6

(12)

8 83*.- E -(- 1-(.*- .* .2-62 2$5* *6.*-

-1 ..*# 3!..*-! !

7 9@ FD

8 83*.- E-(- 'G#.* 1-(.*--1 -- H*! 4*.2

8-#3. ..*#!"#$%&'(&) *

+"%',-.-(D -136!F<3*6DF

883*.-E-(- ,2-.*#+*6 '*

& D79@ FD

8 83*.- E-(- '%3-*.*6 .2 -..*-1 8-#3. ..*#! 1-

1-(.*- .* 4*.2 8'B /

D7F9@F DD

I8-='+E<.((B-#(..*1-(*!#2

*!#-$!*61-(#-#3.$!*! ''0

+''.D79@ F

B(*.* " '*- -.- ' <2+*. !*6 -..*-! *

.3*! !#2 12 3

33$ 36!FDDFD

F I B#- BB<.2@ 8! <.$* 33* -(8-#3. $!*!1-

"*6.*6 =5 8.-6! 4 5 ( '

' 12

+6.-(-136! <3*6

IB#--(5-#+='+8!-4!*6<#2*6

-18-#.*- -1(6! 4 '

17 +.-(F

-136!D<3*6

D <,B(*!' 8.<*' J-*.: (3*#*.?*!7*?91- #-

.%.*: !#27(- !#*3.*-9 8 7 36

DD E. =* " '&4 9 "

<3*6* D

D K!!5 I8 (* ' " "-.$ .#.*- 1- (-*6 !L!

3-> " '0

& 36!FFD8*1-* !!

D BK$I, (3*#*.15#+1- *1*6!31#@5*5*-6

32$ 8" 79@DFF

D <)*2JM* $!*!-1(.*3?$1-(.*-!-.245@.2

*.#.**1-(.*-.*#-.%. 9

79@ DF

D II -##2*- #15#+ **1-(.*- .* E <.- *.-

) 9')&4 # ' :

36!DDD

D E<.-8#+$(3-*6.*31-(#5$#15#+

'D79@FFD

D M<2,8N2*8-.%.!!*.**1-(.*-.*!*6*(3*#*.

15#+ 8,2

DF <-453-;#.45!*. 2..3@AA!-45..!-6A*!*.;

D <:.2($"3-*8"@(4-+1- 4*!.(!.**6

6-*.2(! & ))

" '&+"',2."36!DDDD

8I*;!56 ..4-.2!D

- Dynamical modification of context for an iterative and interactive information retrieval process on the web ,

Web IR SearchEngine WebDirectory Yahoo ! Altavista Google

d 1 × × × × × d 2 × × × d 3 × × × d 4 × × d 5 × × × × d 6 × ×

K = (G, M, I)

G

M

I

G × M

G

d 1

d 6

M

(I, E)

E

I

({IR, SearchEngine, Web}, {d 1 , d 2 , d 3 })

C K

K = (G, M, I)

≤ K

L = C K , ≤ K

L

×

×

Q

Q

K 0 → K 1 → . . . → K i → K i+1 → . . .

K i = ( G i , M i , I i )

i K 0 = (G 0 , M 0 , I 0 )

G 0 = ∅

M 0 = ∅ I 0 = ∅

Q

Q

Q = {word i |i > 0}

DOC (Q)

Q

DOC(Q) = {doc j |j ≥ 0}

K i

K i+1

K i −−→ +Q K i+1

Q

G i+i = G i ∪ DOC(Q)

M i+i = M i ∪ {word i |i ∈ DOC(Q)}

I i

G i

M i

I i+1

G i+1

M i+1

K i+1

G i

(g, m) ∈ I i

g ∈ G i+1

(g, m) ∈ I i+1

(g, m i ) ∈ K i

(g, m i+1 ) ∈ K i+1

m i ⊆ m i+1

Q 0

K 0 −−→ Q 0 K 1

Q i

K i −−−→ +Q i K i+1

C

C

K i −−−−−−−→ +intent(C) K i+1

K i

K i+1

K i −−→ −C K i+1

C

G i+i = G i \ extent(C)

C

M i+i = M i \ {word i |i ∈ intent(C)}

I i+1

G i+1

M i+1

I i

extent(C)

intent(C)

G i

→

→

→

d ₁ × × × × × d ₂ × × × d ₃ × × × d ₄ × × d ₅ × × × × d ₆ × ×

d ₁

d ₆

({IR, SearchEngine, Web}, {d 1 , d ₂ , d ₃ })

K ₀ → K ₁ → . . . → K _i → K _i+1 → . . .

K _i = ( G _i , M _i , I _i )

i K ₀ = (G ₀ , M ₀ , I ₀ )

G ₀ = ∅

M ₀ = ∅ I ₀ = ∅

Q = {word _i |i > 0}

DOC(Q) = {doc _j |j ≥ 0}

K _i

K _i+1

K _i −−→ ^+Q K _i+1

G _i+i = G _i ∪ DOC(Q)

M _i+i = M _i ∪ {word _i |i ∈ DOC(Q)}

I _i

G _i

M _i

I _i+1

G _i+1

M _i+1

K _i+1

G _i

(g, m) ∈ I _i

g ∈ G _i+1

(g, m) ∈ I _i+1

(g, m i ) ∈ K _i

(g, m i+1 ) ∈ K _i+1

m _i ⊆ m _i+1

Q ₀

K ₀ −−→ ^Q ⁰ K ₁

Q _i

K _i −−−→ ^+Q ⁱ K _i+1

K _i −−−−−−−→ ^+intent(C) K _i+1

K _i

K _i+1

K _i −−→ ^−C K _i+1

G _i+i = G _i \ extent(C)

M _i+i = M _i \ {word i |i ∈ intent(C)}

I _i+1

G _i+1

M _i+1

I _i

G _i

K ₀

K ₀ −−−−−−−−−−−−−−→ ⁺

K ₁

K ₂

K ₂

K ₃

K ₃

K ₃ −−−−−−−−−−−−−−−−−−→ ⁺

K ₄