Fundamentos lógicos e implementación de una extensión a temporal Prolog

)XQGDPHQWRV /˜

RJLFRV H ,PSOHPHQWDFL˜

RQ

GH XQD ([WHQVL˜

RQ D 7HPSRUDO 3URORJ

0DU˜•D /DXUD &RER -XDQ &DUORV $XJXVWR *,5,7 _,&,&

'HSDUWDPHQWR GH &LHQFLDV GH OD &RPSXWDFL˜RQ

8QLYHUVLGDG 1DFLRQDO GHO 6XU %DK˜•D %ODQFD $UJHQWLQD >POFRER FFDXJXVW@ #FULEDHGXDU

3DODEUDV &ODYH /˜RJLFD 7HPSRUDO 3URJUDPDFL˜RQ HQ /˜RJLFD 3URJUDPDFL˜RQ HQ /˜RJLFD 7HPSRUDO

#08:203

/D QHFHVLGDG GH FRQWDU FRQ XQ PDQHMR DGHFXDGR GH VLWXDFLRQHV TXH LQYROXFUHQ HO WLHPSR \ OD QRFL˜RQ GH FDPELR KD VLGR UHFRQRFLGR FRPR XQ DVSHFWR LPSRUWDQWH HQ PXFKDV ˜DUHDV GH FLHQFLDV GH OD FRPSXWDFL˜RQ (VWR KD KHFKR HYLGHQWH OD QHFHVLGDG GH KHUUDPLHQWDV TXH PDQHMHQ HVWH WLSR GH LQIRUPDFL˜RQ &RPR UH’HMR GH HVWD UHOHYDQFLD HQ ORV ˜XOWLPRV DaQRV VH KDQ SURSXHVWR GLYHUVRV OHQJXDMHV GH SURJUDPDFL˜RQ HQ O˜RJLFD WHPSRUDO (Q SDUWLFXODU SUHVHQWDUHPRV DTX˜• XQ OHQJXDMH GH SURJUDPDFL˜RQ HQ O˜RJLFD WHPSRUDO GHQRPLQDGR (73 DEUHYLDWXUD GH ?([WHQGHG 7HPSRUDO 3URORJ (VWH OHQJXDMH HVW˜D EDVDGR HQ XQD SURSXHVWD SUHVHQWDGD SRU *DEED\ HQ >*DE@ 'HGLFDUHPRV HO DUW˜•FXOR D H[SOLFDU VXV IXQGDPHQWRV O˜RJLFRV \ ORV DVSHFWRV P˜DV GHVWDFDGRV GH VX LPSOHPHQWDFL˜RQ 2PLWLUHPRV GDU DTX˜•HO F˜RGLJR GH OD LPSOHPHQWDFL˜RQ GH LQWHUSUHWH GHO QXHYR OHQJXDMH SRU UD]RQHV GH HVSDFLR SXGLHQGR HVWH VHU REWHQLGR GH >&RE@ &DEH GHVWDFDU TXH QR VH FRQRFH XQD LPSOHPHQWDFL˜RQ GH XVR S˜XEOLFR GH OD SURSXHVWD GH *DEED\ SRU OR WDQWR OD GLVSRQLELOLGDG GH OD LPSOHPHQWDFL˜RQ GH (73 HV SDUWH GHO DSRUWH GHO WUDEDMR TXH UHVXPLPRV HQ HVWH DUW˜•FXOR

,QLFLDOPHQWH VH SUHVHQWDU˜D XQ UHVXPHQ GHO WUDEDMR GH *DEED\ D ‘Q GH TXH HO OHFWRU FRQR]FD HO OHQJXDMH TXH H[WHQGHUHPRV \ H[SOLFDUHPRV OD XWLOLGDG GH GLFKD H[WHQVL˜RQ (O FRQMXQWR GH RSHUDGRUHV FRQVLGHUDGRV HQ HVWH OHQJXDMH FRQWLHQH D ORV RSHUDGRUHV P˜DV FR PXQPHQWH XWLOL]DGRV HQ HVWH WLSR GH SURJUDPDFL˜RQ (Q OR TXH UHVSHFWD D OD H[WHQVL˜RQ EULQGDUHPRV XQ GHWDOOH GH OD O˜RJLFD H[WHQGLGD \ OD GH‘QLFL˜RQ GHO OHQJXDMH TXH OD WRPD FRPR EDVH 7DPEL˜HQ SUHVHQWDUHPRV HO DOJRULWPR TXH SHUPLWH UHVSRQGHU FRQVXOWDV GH GLFKR OHQJXDMH $FRPSDaQDUHPRV HO DOJRULWPR FRQ XQD GHPRVWUDFL˜RQ GH TXH HO PLVPR FRPSXWD XQD IXQFL˜RQ WRWDO VLHPSUH VH GHWLHQH (Q OR TXH UHVSHFWD D OD LPSOHPHQWDFL˜RQ GH XQ OHQJXDMH GH HVWH WLSR VH SXHGH GHFLU TXH HV XQD QRYHGDG \D TXH *DEED\ QR SUHVHQW˜R XQD LPSOHPHQWDFL˜RQ FRQ VX SURSXHVWD )LQDOPHQWH VH SUHVHQWDU˜DQ HMHPSORV D ‘Q GH LOXVWUDU SRWHQFLDOHV XVRV GHO OHQJXDMH SDUD FRQFOXLU FRQ HO DQ˜DOLVLV GH ORV REMHWLYRV DOFDQ]DGRV \ ODV WDUHDV TXH D˜XQ TXHGDQ SHQGLHQWHV

_{*UXSR GH ,QYHVWLJDFL˜RQ HQ 5HSUHVHQWDFL˜RQ GH ,QIRUPDFL˜RQ 7HPSRUDO ,QVWLWXWR GH &LHQFLDV H ,QJHQLHU˜•D GH OD &RPSXWDFL˜RQ}

)XQGDPHQWRV /˜

RJLFRV H ,PSOHPHQWDFL˜

RQ

GH XQD ([WHQVL˜

RQ D 7HPSRUDO 3URORJ

,QWURGXFFL˜

RQ

) ' & $ " & 8

<' * ' ' ) ( & % ( $ ' ( 0 7=3 " ( < 8% ( 0 )>2?3( 8 $ - % ( & & % 4 ' % )4 * & ' ( @ * & ' ˜RJLFD GH 3ULPHU 2UGHQ \ HO HQIRTXH EDVDGR HQ OD /˜RJLFD 0RGDO $PERV HQIRTXHV UHVXOWDQ GH PXFKD XWLOLGDG \ QR VH SXHGH GHFLU TXH XQR VHD PHMRU TXH RWUR HVR GHSHQGH GHO SUREOHPD TXH VH HVW˜H LQWHQWDQGR UHVROYHU \ GH PXFKDV RWUDV FRQVLGHUDFLRQHV LQFOX\HQGR OD FRQFHSFL˜RQ ‘ORV˜R‘FD \R WHPSRUDO GH OD SHUVRQD TXH LQWHQWH UHVROYHUOR

&RPR FRQVHFXHQFLD QDWXUDO GH HVWDV LQYHVWLJDFLRQHV UHDOL]DGDV VREUH OD SURJUDPDFL˜RQ HQ O˜RJLFD HQ OD ˜XOWLPD G˜HFDGD KDQ VXUJLGR XQD VHULH GH SURSXHVWDV GHVWLQDGDV D DWHQXDU HVWD IDOWD GH XQD ?SURJUDPDFL˜RQ O˜RJLFD WHPSRUDO (VWDV SURSXHVWDV HVW˜DQ EDVDGDV HQ GLIHUHQWHV SULQFLSLRV E˜DVLFRV /DV HVWUDWHJLDV P˜DV FRQRFLGDV VRQ

^ 3URJUDPDFL˜RQ HQ O˜RJLFD GH LQWHUYDORV R ,QWHUYDO /RJLF 3URJUDPPLQJ GRQGH OD VHP˜DQWLFD GH ODV I˜RUPXODV HVW˜D GDGD D WUDY˜HV GH XQD LQWHUSUHWDFL˜RQ WHPSRUDO EDVDGD HQ LQWHUYDORV

^ 3URJUDPDFL˜RQ HQ O˜RJLFD WHPSRUDO R 7HPSRUDO /RJLF 3URJUDPPLQJ HVWD HVWUDWHJLD XWLOL]D FRPR EDVH O˜RJLFDV WHPSRUDOHV EDVDGDV HQ WLHPSR OLQHDO R UDPL‘FDGR /D LGHD E˜DVLFD VXE\DFHQWH HV H[WHQGHU OD SURJUDPDFL˜RQ HQ O˜RJLFD WUDGLFLRQDO FRQ RSHUDGRUHV WHPSRUDOHV

8Q UHVXPHQ GH ORV WUDEDMRV P˜DV UHSUHVHQWDWLYRV GH ODV DOWHUQDWLYDV DQWHV PHQFLRQDGDV SXHGH HQFRQWUDUVH HQ >20@ (Q OR TXH UHVWD GHO SUHVHQWH WUDEDMR VH DVXPLU˜D TXH HO OHFWRU FRQRFH OD WHUPLQRORJ˜•D E˜DVLFD UHODFLRQDGD D OD SURJUDPDFL˜RQ HQ O˜RJLFD >/OR@ R >/OR@ /RV REMHWLYRV SULQFLSDOHV GH HVWH WUDEDMR VRQ GHVDUUROODU XQ OHQJXDMH GH SURJUDPDFL˜RQ HQ O˜RJLFD WHPSRUDO D ‘Q GH FRQWDU FRQ XQD KHUUDPLHQWD TXH SHUPLWD XQ PDQHMR VHQFLOOR GH WRGDV DTXHOODV VLWXDFLRQHV TXH LQYROXFUDQ HO PDQHMR GH WLHPSR R OD QRFL˜RQ GH FDPELR 6H KDQ SUHVHQWDGR SUHYLDPHQWH ODV HVWUDWHJLDV P˜DV FRQRFLGDV SDUD HQIUHQWDU HO GHVDUUROOR GH OHQJXDMHV GH HVWH WLSR HO OHQJXDMH TXH VH SUHVHQWDU˜D DTX˜• HVW˜D IXQGDPHQWDGR HQ OD VH JXQGD HVWUDWHJLD TXH VH KD PHQFLRQDGR 7HPSRUDO /RJLF 3URJUDPLQJ 6H KDQ FRQVLGHUDGR OHQJXDMHV VLPLODUHV DO TXH VH SUHVHQWDU˜D HQ SDUWLFXODU HO OHQJXDMH SURSXHVWR HQ >*DE@ GHQRPLQDGR 7HPSRUDO 3URORJ 1R REVWDQWH HO OHQJXDMH XWLOL]DGR HQ HVWH DUW˜•FXOR HV XQD H[ WHQVL˜RQ GH 7HPSRUDO 3URORJ \D TXH FRQVLGHUD ORV RSHUDGRUHV WHPSRUDOHV P˜DV FRPXQPHQWH XWLOL]DGRV \ VROXFLRQD FDVRV SDUD ORV FXDOHV 7HPSRUDO 3URORJ QR HVWDEOHFH FRPR SURFHGHU

& 67 2 ,7 0

7HPSRUDO 3URORJ

& 3 (3 /4- ! #

) T# T 3 T# T *T 8/01 ) T

+T 8/01 3 T

T 8/01 T B ) T B 3 T

T 8/01 T A *T A +T

" #

'HILQLFL˜RQ $ (3 /4- 9:4% " & #

: ; 9 " #

C $

C 3 $ 7

C $

C ) $ 7

C $ C $ % C %

6 " &#

*$$ %% $*$ *%%

+$$ %% $+$ +%% *$ **$

+$ ++$ $ *3 $ $ +) $

, " & #

) $ A ) % ) $$ A ) %% B ) $% A ) $% B ) $$ A %% 3 $ A 3 % 3 $$ A 3 %% B 3 $% A 3 $% B 3 $$ A %%

B

" & #

'HILQLFL˜RQ $(3 /4- 9:9%

' '

'

'

'

' B

* #

( $ $ % $% $%% $% $ %- ( $$ % $$%

$%%%-! (3 /4- $%%%-!

. .

8

QD H[WHQVL˜

RQ DO DOJRULWPR GH

*

D

EE

D

\ \

VX LPSOHPHQWDFL˜

RQ

" 2 = 3 ; > " 2 ! 2 . ( +/- ;

" & # > &

/RV RSHUDGRUHV WHPSRUDOHV

. 2 " #

" LUUH’H[LYLGDG $ "

IXHUWH # " G˜HELO # 6LQFH $ %! IXHUWH % # G˜HELO % # $ $ %

% #

£ & £

S£ & £

£ S£ A £ A £ & !

£ '# % £

S£ '# % £

£ S£ B £ B £ '# % !

‹ £ £ Œ £ £

8QWLO £ ¥! ( ¥ £ 6LQFH £ ¥! ) ¥ £ *

(

O QXH

Y

R OHQJXD

M

H GH SURJUDPDFL˜

RQ

' % # % # # # + # "

ST , ST

T , T

T , T B T B ST

T , T

- # #

'HILQLFL˜RQ ./012 # 341!

5 # # # # S ‹ Œ

4 6 # # 3 5 # #

C $ C S$ 7

C $

C $ 7

C $ C $ %

C % 7

C $

C ‹$ 7

8 5 #

! !

S ! S S!

S SS

S

S

‹ ! ‹ ‹ Œ ! Œ Œ!

C ‹ ‹ C Œ Œ

‹ Œ Œ ‹

9 5 #

A A ! B A ! B A !

S A S S A S! B S A S ! B S A !

B

' % # " # # #

'HILQLFL˜RQ ./012 # 343! + # # A B

S S ‹ Œ ) "

# :

:

: S

:

: S ‹ Œ

: S ‹ Œ

: S ! !

# % % # & # # # # 6 # # " % $ # 6

'HILQLFL˜RQ ./012 # 333!

& ! XQD EDVH GH FRQRFLPLHQWR \ * XQD PHWD 'H‘QLPRV OD QRFL˜RQ GH XQ ˜DUERO GH FRPSXWDFL˜RQ HWLTXHWDGR SDUD HO ˜H[LWR R HO IUDFDVR ‘QLWR GH * D SDUWLU GH ! 8Q ˜DUERO GH FRPSXWDFL˜RQ HWLTXHWDGR HV XQD FX˜DGUXSOD 7 ™ 9 WDO TXH ™ W SDUD WRGR W 7 9 HV XQD ?IXQFL˜RQ GH HWLTXHWDGR TXH DVLJQD D FDGD W 7 XQD WHUQD !W *W ;W GRQGH !W HV XQD EDVH GH GDWRV ! HQ HO PRPHQWR W˜HVLPR *W HV XQD FRQVXOWD HQ HO PRPHQWR W˜HVLPR \ ;W HV XQ SURS˜RVLWR SDUD WDO FRQVXOWD 6L ;W HO SURS˜RVLWR HV TXH OD FRQVXOWD VHD UHVSRQGLGD QHJDWLYDPHQWH VL ;W HO SURS˜RVLWR HV TXH OD FRPSXWDFL˜RQ

WHQJD ˜H[LWR B

(O DOJRULWPR TXH VH SUHVHQWD D FRQWLQXDFL˜RQ WLHQH FRPR GDWRV GH HQWUDGD XQD PHWD TXH OODPDUHPRV * HO REMHWLYR GH OD FRQVXOWD TXH VH GHQRWD D WUDY˜HV GH OD YDULDEOH ; \ ! XQD SURJUDPD HQ O˜RJLFD WHPSRUDO /D VDOLGD GHO PLVPR HV OD UHVSXHVWD D‘UPDWLYD R QHJDWLYD GH OD PHWD GDGD FRQ HO REMHWLYR GDGR UHVSHFWR GH !

$OJRULWPR

7 ™ 9 HV XQ ˜DUERO GH FRPSXWDFL˜RQ HWLTXHWDGR SDUD !"* [ VL \ V˜ROR VL ODV VLJXLHQWHV FRQGLFLRQHV VRQ VDWLVIHFKDV

9 3 * [

VL W 7 HV XQ SXQWR GH WHUPLQDFL˜RQ FRQ ;W \ *W HV XQ ˜DWRPR T HQWRQFHV DOJXQD GH ODV VLJXLHQWHV FRQGLFLRQHV HV VDWLVIHFKD

D T !W E T !W

VL W 7 HV XQ SXQWR GH WHUPLQDFL˜RQ \ ;W HQWRQFHV DOJXQD GH ODV VLJXLHQWHV FRQGLFLRQHV HV VDWLVIHFKD

D *W HV XQ ˜DWRPR T \ T QR HV QL OD FDEH]D GH XQD FO˜DXVXOD RUGLQDULD QL KD\ HQ !W DOJXQD FO˜DXVXOD DOZD\V FRQ FDEH]D T

E *W WLHQH OD IRUPD $ R S$ \ QR KD\ FO˜DXVXODV FRQ FDEH]DV GH OD IRUPD '

R ‹$ UHVSHFWLYDPHQWH S' R Œ$

F *W WLHQH OD IRUPD ‹$ R Œ$ \ QR KD\ FO˜DXVXODV FRQ FDEH]DV GH OD IRUPD ‹$ UHVSHFWLYDPHQWH Œ$

VL W QR HV XQ SXQWR GH WHUPLQDFL˜RQ ;W \ *W HV XQ ˜DWRPR T HQWRQFHV W WLHQH H[DFWDPHQWH XQ VXFHVRU LQPHGLDWR V HQ HO ˜DUERO FRQ !V !W ;V \ DOJXQD GH ODV VLJXLHQWHV FRQGLFLRQHV HV VDWLVIHFKD

0 " $ ! " ! " $ )*

! !

1 "

N !L " ! L "

™ ™ L ™

L ™ ™

!

2 " $ " A

!L " ! L " $

L " L

3 " " A

I$ +J ! " ! L "

L " L

4 " ! " ! " $ ƒ "

$ " $ "

*

! " ! " $ " ‹5

*

*

! " ! " $

!

! " I VXODV DOZD\V GH !WJ > I+J >IS&M& HV XQD FO˜DXVXOD RUGLQDULD GH !WJ >

I&M ‹ & HV XQD FO˜DXVXOD RUGLQDULD GH !WJ \ LLL ;V

LY *V $ B $

E ˜•GHP LQFLVR D H[FHSWR TXH OD FRQGLFL˜RQ *V + !W HV UHHPSOD]DGD

SRU *V + !W

F ˜•GHP LQFLVR E H[FHSWR TXH OD FRQGLFL˜RQ *V + !W HV UHHP

SOD]DGD SRU *V + !W \ *V $ B $ OR HV SRU *V $

G ˜•GHP LQFLVR E H[FHSWR TXH OD FRQGLFL˜RQ *V + !W HV UHHP

SOD]DGD SRU *V + !W

H ˜•GHP LQFLVR F H[FHSWR TXH OD FRQGLFL˜RQ *V + !W HV UHHPSOD]DGD

SRU *V + !W

VL W QR HV XQ SXQWR GH WHUPLQDFL˜RQ ;W \ *W S$ HQWRQFHV W WLHQH R XQ

VXFHVRU LQPHGLDWR V R WLHQH H[DFWDPHQWH GRV VXFHVRUHV LQPHGLDWRV V V \ VXFHGH

" W ;W *W $ W V V_N

P Q ™ P ™ Q ™ N

# # ' 'N 'LL ™ P

# %L +L !W 'P $ 'Q

# %L ) +L !W 'Q $ 'N

# %L ) +L !W ™ L ™ N

!VL !W ;VL *VL %L

!VL I FO˜DXVXODV DOZD\V !WJ > I+IS&M& FO˜DXVXOD RUGLQDULD !WJ>LJ>

I&M ‹ & FO˜DXVXOD RUGLQDULD !WJ

;VL

*VL $ B ) $ ™ L ™ N ™ L ™ P

*VL ) $

% W ;W *W S$

" !

& W ;W *W $B $ W

V V !VL !W ;VL *VL $L

' W ;W *W $B $ W

V !V !W ;V *V $ $

( W ;W *W ‹$ W

V V

!V I FO˜DXVXODV DOZD\V !WJ >IS&M& FO˜DXVXOD RUGLQDULD !WJ >

I&M ‹ & FO˜DXVXOD RUGLQDULD !WJ

;V *V $

!V !W ;V *V $ !W

!V !W ;V ) *V ‹+ !W !V !W

;V *V $

( *V ‹+ !W

*V ‹+ !W

( *V ‹+ !W

*V + !W

* W ;W *W ‹$ W V ( ;V ;V

+ W ;W *W Œ$ W

VV (

!

, W ;W *W Œ$ W V * ! " W ;W *W 8QWLO$ % W

! !

! !

"

! !

! !

""

! ! S S

! !

"%

! ! S S

! !

'HILQLFL˜RQ -.+*/ ""& !0 !0 1 !0 !0

1 B

2WUR DVSHFWR LQWHUHVDQWH GH OD SURSXHVWD GHVDUUROODGD HQ HVWH DUW˜•FXOR HV TXH OD XWO L]DFL˜RQ GH OD SURJUDPDFL˜RQ HQ O˜RJLFD QRV SHUPLWH UHVSRQGHU FLHUWDV SUHJXQWDV GH LPSRUWDQ FLD FRQ IDFLOLGDG (Q OR TXH UHVWD GH OD VHFFL˜RQ GHPRVWUDUHPRV TXH WRGR SURJUDPD HQ (73 WHUPLQD VX FRPSXWDFL˜RQ ,QLFLDOPHQWH FRPHQ]DUHPRV GHPRVWUDQGR XQ UHVXOWDGR VLPLODU SDUD 7HPSRUDO 3URORJ FRPSOHPHQWDQGR GH HVWD PDQHUD OD SURSXHVWD GH *DEED\ TXLHQ QR KD SXEOLF˜DGR WDO UHVXOWDGR

(Q OR TXH UHVWD GH OD VHFFL˜RQ XWLOL]DUHPRV OD FRQYHQFL˜RQ GH GHQRWDU PHGLDQWH 3 W W š HO FRQWHQLGR GH XQ SURJUDPD HVFULWR XWLOL]DQGR HO OHQJXDMH (73 (VWR GHEH HQWHQGHUVH FRPR HO FRQWHQLGR GHO SURJUDPD OXHJR GH KDEHUVHOH DJUHJDGR SLH]DV GH LQIRUPDFL˜RQ 3RU HMHPSOR HO SURJUDPD GDGR LQLFLDOPHQWH VHU˜•D GHQRWDGR PHGLDQWH 3 /XHJR GH XWLOL]DU ODV UHJODV GH LQIHUHQFLD W YHFHV VH OH SXHGH KDEHU DGLFLRQDGR W SLH]DV GH LQIRUPDFL˜RQ \ HVWR VHU˜D LQGLFDGR PHGLDQWH 3 W

/HPD 6HD 3 W W š XQ SURJUDPD HQ 7HPSRUDO 3URORJ 3 W VLHPSUH HV XQ FRQMXQWR

‘QLWR GH FODXVXODV B

'HPRVWUDFL˜RQ 6HDQ Q OD FDQWLGDG GH K HFK RV Q OD FDQWLGDG GH 5HJODV 2UGLQDULDV Q OD FDQWLGDG GH 5HJODV $OZD\V N OD FDQWLGDG GH KHFKRV LQIHULGRV \ N OD FDQWLGDG GH UHJODV LQIHULGDV 6L 3 HV HO SURJUDPD LQLFLDO HQ 7HPSRUDO 3URORJ HQWRQFHV M3 M QQQ

3DUD FDOFXODU OD FDUGLQDOLGDG GH 3 W VH GHEH WHQHU HQ FXHQWD XQ KHFKR DGLFLRQDO OD VLQW˜D[LV GH 7HPSRUDO 3URORJ VROR SHUPLWH HO XVR GHO V˜•PEROR HQ HO QLYHO P˜DV H[WHUQR GH XQD UHJOD 3RU OR WDQWR QLQJXQD 5HJOD $OZD\V SXHGH VHU HO FRQVHFXHQWH GH XQD LPSOLFDFL˜RQ \ HQWRQFHV QR SXHGHQ VHU GHGXFLGDV SRU 0RGXV 3RQHQV &RPR VROR SXHGHQ DXPHQWDU OD FDQWLGDG GH KHFKRV \ GH 5HJODV 2UGLQDULDV WHQHPRV TXH M3 WM Q N Q N Q N Nš

/DV FRQVWDQWHV N \ N WLHQHQ XQD FRWD VXSHULRU ‘QLWD \D TXH FDGD YH] TXH VH XWLOL]D XQD

7HRUHPD

% ( B

'HPRVWUDFL˜RQ

' "# 1

)# "# * , 5 6789 M "#M

*# "# A 1 "# / ) %1* ,# "# B 1 "# / $ %1* 5# "#

:# "# " S# "# / $ !(

"# * , 5 6789

% % "# ( ( "

)#

/HPD ' "# š $ 2 "#

% ( B

'HPRVWUDFL˜RQ )

7HRUHPD 2

% ( B

'HPRVWUDFL˜RQ ; 2 1

' "# ‹ " Œ# "# / ) "#

< 6 8 ! =! (

( " *#

&

RQ

V

LGHUDFLRQH

V V

R

E

UH OD LPSOHPHQ

W

DFL˜

RQ

! ! 2 2 ! ( < ( ( 2 ! !

> (

' " A #

! ! A

! ! 2 % & !

)$ 2 / 3

GRQGH OD PHWD HV * &RPR VH PHQFLRQ˜R DQWHV VH LQWURGXMR XQD QXHYD UHJOD TXH DQH[DGD

DO DOJRULWPR TXH KHPRV EULQGDGR SHUPLWH UHVSRQGHU FRQVXOWDV GH OD IRUPD $ A %

6L W QR HV XQ SXQWR GH WHUPLQDFL˜RQ ;W \ *W $ A % HQWRQFHV W

WLHQH H[DFWDPHQWH GRV VXFHVRUHV LQPHGLDWRV V V \ DOJXQD GH ODV VLJXLHQWHV

FRQGLFLRQHV VXFHGH

!V !W \ ;V \ SDUD DOJ˜XQ +

D *V + !W \

E !V WRGDV ODV FO˜DXVXODV DOZD\V GH !W > I+J >IS&M& HV XQD FO˜DXVXOD RUGLQDULD GH !WJ >

I&M ‹ & HV XQD FO˜DXVXOD RUGLQDULD GH !WJ \

F ;V

G *V $

˜•GHP LQFLVR H[FHSWR TXH OD FRQGLFL˜RQ *V + !W HV UHHP

SOD]DGD SRU *V + !W

˜•GHP LQFLVR H[FHSWR TXH OD FRQGLFL˜RQ *V + !W HV UHHP

SOD]DGD SRU *V + !W

˜•GHP LQFLVR H[FHSWR TXH OD FRQGLFL˜RQ *V + !W HV UHHP

SOD]DGD SRU *V + !W

˜•GHP LQFLVR H[FHSWR TXH OD FRQGLFL˜RQ *V + !W HV UHHP

SOD]DGD SRU *V + !W

3DUD PHWDV GH WLSR $ A % DGHP˜DV GH OD LQWURGXFFL˜RQ GH XQD QXHYD UHJOD IXH QHFH

VDULR DJUHJDU YDULRV SUHGLFDGRV /D UD]˜RQ GH VX H[LVWHQFLD HV OD PLVPD TXH IXH H[SXHVWD DQWHULRUPHQWH \ VX IXQFL˜RQ HV UHVROYHU VLWXDFLRQHV WULYLDOHV FRPR OR HV HO KHFKR GH TXH OD PHWD IRUPH SDUWH GH XQD FRQMXQFL˜RQ 3RU HMHPSOR VXSRQJDPRV TXH OD PHWD HV $ A %

\ TXH HQ OD EDVH VH WLHQH OD VLJXLHQWH FO˜DXVXOD $ A & A A % 6LQ HVWRV DJUHJDGRV

HO DOJRULWPR QR WLHQH IRUPD GH HQFRQWUDU $ A % DXQTXH GHO SURJUDPD O˜RJLFR UHVXOWD

HYLGHQWH TXH OD PHWD WLHQH XQD UHVSXHVWD H[LWRVD 6H SXHGH KDFHU XQ UD]RQDPLHQWR DQ˜DORJR DO DQWHULRU SDUD HO RSHUDGRU SXWLOL]DQGR OD UHJOD GHO HVSHMR

5HODFLRQDGR D HVWH KHFKR VH KL]R HYLGHQWH OD QHFHVLGDG GH SUHGLFDGRV TXH KLFLHUDQ HO WUDEDMR LQYHUVR HV GHFLU VL VH GHGXFH DOJR D SDUWLU GH XQD FO˜DXVXOD £ VH VDEH TXH OR

GHGXFLGR \ OD FO˜DXVXOD TXH SURYRF˜R VX GHGXFFL˜RQ HVW˜DQ HQ HO PLVPR PRPHQWR GH WLHPSR HVWR HV LPSRUWDQWH VREUH WRGR VL HO RSHUDGRU TXH SURYRFD OD GHGXFFL˜RQ HV R S GHELGR

D TXH VL QR VH DOPDFHQD OD UHODFL˜RQ HVWD VH SLHUGH GHELGR D OD YDJXHGDG GHO RSHUDGRU HQ FDPELR FRQ ORV RWURV RSHUDGRUHV QR KDFH IDOWD DOPDFHQDUOR \D TXH DO VHU P˜DV SUHFLVRV OD UHODFL˜RQ VH PDQWLHQH D SHVDU GH QR ‘JXUDU H[SO˜•FLWDPHQWH HQ OD EDVH /D VLJXLHQWH VLWXDFL˜RQ HMHPSOL‘FD OR DQWHV H[SXHVWR VL WHQHPRV $ % \ $ UHVXOWD FODUR TXH VH GHGXFH %

6H VDEH TXH $ \ % VRQ YHUGDGHUDV HQ HO PLVPR PRPHQWR GHO IXWXUR SHUR VL QR DOPDFHQDPRV $ A % HQ OD EDVH OD UHODFL˜RQ TXH H[LVWH HQWUH $ \ % VH SLHUGH \D TXH HO RSHUDGRU QR

KDFH UHIHUHQFLD D XQ LQVWDQWH GH WLHPSR SUHVLVR

/ ) %

* % %

(M

HPSOR

V

* ! 0! % #

(MHPSOR 1 & " ( 20345 1 % 1 16) #

%DVH I D E

E F

D J

5HVSXHVWD D OD FRQVXOWD F \HV

(MHPSOR (MHPSOR S˜DJLQD >*DE@ (VWH HV XQ HMHPSOR GRQGH VH PXHVWUD OD SRVLELOLGDG GH XWLOL]DU SUHGLFDGRV HV GHFLU SHUPLWH PRVWUDU TXH OD KHUUDPLHQWD QR IXH FRQVWUX˜•GD SDUD PDQHMDU SURSRVLFLRQHV VRODPHQWH (Q (73 HO HMHPSOR VHU˜•D

%DVH I DD

D; E< J

5HVSXHVWD D OD FRQVXOWD ED A EE QR

1RWD D \ E LQGLFDQ SUHGLFDGRV FXDOHVTXLHUD ; H < UHSUHVHQWDQ YDULDEOHV

(MHPSOR (VWH HMHPSOR PXHVWUD FRPR HV SRVLEOH UHVSRQGHU XQD FRQVXOWD TXH LQYROXFUD DO RSHUDGRU 6LQFH D SHVDU GH TXH HVWH QR SXHGH HVWDU HQ OD EDVH GH GDWRV (Q (73 HO HMHPSOR VHU˜•D

%DVH I G G D D ŒŒF

ŒŒF ‹D SF D

F ŒE J

5HVSXHVWD D OD FRQVXOWD 6LQFHD E \HV

3URORJ KD VLGR XWLOL]DGR FRPR OHQJXDMH GH FRQVXOWD SDUD EDVHV GH GDWRV $Q˜DORJDPHQWH XQ OHQJXDMH GH SURJUDPDFL˜RQ HQ O˜RJLFD WHPSRUDO SXHGH VHU OD EDVH GH XQ VLVWHPD O˜RJLFR GH FRQVXOWDV VREUH EDVHV GH GDWRV FRQ DOJXQD LQIRUPDFL˜RQ WHPSRUDO WDO FRPR XQD EDVH GH GDWRV KLVW˜RULFD >7&*_{@ 3UHVHQWDUHPRV DKRUD XQ HMHPSOR GH DSOLFDFL˜RQ UHDO 9HDPRV}

FRPR VH YHU˜•DQ HQ HVWH QXHYR VLVWHPD DOJXQRV GH ORV HMHPSORV SUHVHQWDGRV SRU $EDGL \ 0DQQD HQ >$0@ S˜DJLQD 7RPHPRV HO VLJXLHQWH HMHPSOR

$# ) $ 4' ( $ $ $

PDQDJHU-RKQ LQ GHSDUWPHQW; 7 R\ VDODU\; <

# & $## - ' # #5# # 6 $ $# $$ 7 # ## # 8

*# # # # # #$$ & $ # # .## # $ - & $%# # *+ .$) # $

PDQDJHU-RKQ LQ GHSDUWPHQW[ 7 R\ VDODU\[ \

PDQDJHU-RKQ LQ GHSDUWPHQW[ 7 R\ VDODU\[ \

9$. : #- $ - & $$;8. .$

(MHPSOR < $ $ #$) &$$ $ ' $# $ # 4' # # # .##$ $ 7# & $$ $

LQFUHDVH; < VDODU\; < VDODU\; < < LV< <

8$# & $ # $ # ; # Q Q = #($ $ $ # ; Q - $ # ; Q = -

VDOHVPDQ-RKQ PDQDJHU-RKQ LQFUHDVH-RKQ <

*# & $ $. $$ - .$) # $ $.

LQFUHDVH; < VDODU\; < VDODU\; < < LV< <

VDOHVPDQ-RKQ PDQDJHU-RKQ LQFUHDVH-RKQ <

VDOHVPDQ-RKQ PDQDJHU-RKQ LQFUHDVH-RKQ <

(MHPSOR )LQDOPHQWH SRGU˜•DPRV TXHUHU H[SUHVDU TXH WRGRV ORV HPSOHDGRV VLHPSUH IXHURQ HPSOHDGRV

HPSOR\HH[ ¥ HPSOR\HH[ /R TXH HQ (73 VH UHH[SUHVDU˜•D GH PDQHUD HTXLYDOHQWH FRPR

HPSOR\HH; ‹HPSOR\HH;

&

RQFOX

V

LRQH

V

\

W

UD

E

D

M

R

I

X

W

XUR

+ " '

' ' ! S! ‹ " Œ% ,

' ' % & * -''" .-'/01% + " '! 2 % ! ' 3 %

+ ! ' '% ) ' ' .2'4/1% 5 ' + " + ) ./61% % 7 ' * ! ! % ! ' * %

$

JUDGHFLPLHQ

W

R

V

& ' -898! : + " : : () ' ' ' %

5

H

I

HUHQFLD

V

.,:/41 :% ,' ;% :% % !

/<00 = <4>! ?4/4%

.2'4/1 : 2'% & %

% & 2% 2 ! 5 @) ! ?44/%

.-'/01 &% -''"% : % 8 ," -! !

! ?40=<A6% , ! ?4/0%

./B1 C% D% "% % )(! ?4/B%

.4>1 C D% "% % )(! @E

FG! ! ?44>%

.7:4B1 :% 7 D% :% , E %

8 ! BB>=B04! H! -"! ?44B% (%

./61 % % :8 ! ?4/6%

.2-_{4A1 ,% ! C% 2I! % -! % C ! ,% ! 9% % !}

" # $ " % H 2) '% 2%! 2! ?44A%

.J061 :% 9' JEG%