City, University of London Institutional Repository
Citation
:
Broda, K., Garcez, A. and Gabbay, D. M. (2005). Metalevel priorities and neural networks. Paper presented at the Workshop on the Foundations of Connectionist-Symbolic Integration ECAI2000, 20 - 25 August 2005, Berlin.This is the unspecified version of the paper.
This version of the publication may differ from the final published
version.
Permanent repository link:
http://openaccess.city.ac.uk/298/Link to published version
:
Copyright and reuse:
City Research Online aims to make research
outputs of City, University of London available to a wider audience.
Copyright and Moral Rights remain with the author(s) and/or copyright
holders. URLs from City Research Online may be freely distributed and
linked to.
City Research Online: http://openaccess.city.ac.uk/ publications@city.ac.uk
PHWDOHYHO SULRULWLHV DQG QHXUDO QHWZRUNV
D1 V1 G*DYLOD JDUFH]h/ N1 EURGDh/ G1 P1 JDEED\=
}Ghsduwphqw ri Frpsxwlqj
Lpshuldo Froohjh/ Orqgrq/ VZ: 5E] ~ddj/neCgrf1lf1df1xn
{Ghsduwphqw ri Frpsxwhu Vflhqfh Nlqj*v Froohjh Orqgrq/ ZF5U 5OV gjCgfv1nfo1df1xn
Devwudfw1 Wklv sdshu vkrzv wr zklfk h{whqw phwdohyho sulrulwlhv/ lq wkh vhqvh ri Qxwh*v vxshulrulw| uhodwlrq/ fdq eh hqfrghg lqwr vlqjoh klgghq od|hu qhxudo qhwzrunv1
41 Lqwurgxfwlrq
Uhfhqwo| wkhuh kdv ehhq lqfuhdvlqj lqwhuhvw lq orjlf surjudpplqj0edvhg ghidxow uhdvrqlqj dssurdfkhv zklfk duh qrw xvlqj qhjdwlrq dv idloxuh lq wkhlu remhfw odqjxdjh1 Lqvwhdg/ ghidxow uhdvrqlqj lv prghoohg e| uxohv zlwk h{solflw qhjdwlrq ^:` dqg d phwdohyho sulrulw| uhodwlrq eh0 wzhhq uxohv ^5/ 43`1
Lq wklv sdshu/ zh h{whqg wkh Frqqhfwlrqlvw Lqgxfwlyh Ohduqlqj dqg Orjlf Surjudpplqj +F0 LO5S, V|vwhp ^8` wr ghdo zlwk phwdohyho sulrulwlhv lq wkh vhqvh ri Qxwh*v vxshulrulw| uhodwlrq ^44`1 Wkurxjkrxw/ zh xvh um" ul wr lqglfdwh wkdw uxoh um kdv kljkhu sulrulw| wkdq uxoh ul1
Zh vkrz wkdw li " lv d olqhdu rughu/ vlqjoh klgghq od|hu qhwzrunv fdq hqfrgh vxfk d vxshulrulw| uhodwlrq1 Zkhq " lv d sduwldo rughu/ wkh uhsuhvhqwdwlrq lq wkh qhwzrun lv qrw vwudljkwiruzdug/ dowkrxjk vrph vshfldo fdvhv fdq eh ghdow zlwk1
Lq vhfwlrq 5/ zh uhfdoo F0LO5S*v dojrulwkp iru lqvhuwlqj edfnjurxqg nqrzohgjh lqwr qhxudo qhwzrunv1 Lq vhfwlrq 6/ zh vkrz krz olqhduo| rughuhg wkhrulhv fdq eh hqfrghg lqwr d qhxudo qhwzrun1 Zh dovr lqyhvwljdwh wr zklfk h{whqw sduwldoo| rughuhg wkhrulhv fdq eh hqfrghg1 Lq vhfwlrq 7/ zh frqfoxgh dqg glvfxvv gluhfwlrqv iru ixwxuh zrun1
51 Wkh F0LO5S V|vwhp
F0LO5S*v lv d pdvvlyho| sdudooho frpsxwdwlrqdo prgho edvhg rq d ihhgiruzdug duwlfldo qhxudo qhwzrun wkdw lqwhjudwhv lqgxfwlyh ohduqlqj iurp h{dpsohv dqg edfnjurxqg nqrzohgjh zlwk gh0 gxfwlyh ohduqlqj iurp orjlf surjudpplqj ^8`1 Iroorzlqj ^;` +vhh dovr ^<`,/ d Wudqvodwlrq Dojrulwkp pdsv dq h{whqghg orjlf surjudp4S lqwr d vlqjoh klgghq od|hu qhxudo qhwzrun Q vxfk wkdw Q frpsxwhv wkh ohdvw {srlqw ri S1 Wklv surylghv d pdvvlyho| sdudooho prgho iru frpsxwlqj wkh dqvzhu vhw vhpdqwlfv ri S ^:`1 Lq dgglwlrq/ Q fdq eh wudlqhg zlwk h{dpsohv/ xvlqj iru lqvwdqfh edfnsursdjdwlrq ^46`/ kdylqj S dv edfnjurxqg nqrzohgjh1 Wkh nqrzohgjh dftxluhg e| wudlqlqj fdq wkhq eh h{wudfwhg ^7`/ forvlqj wkh ohduqlqj f|foh +dv lq ^47`,1 Lq zkdw iroorzv/ zh uhfdoo F0LO5S*v Wudqvodwlrq Dojrulwkp e| suhvhqwlqj dq h{dpsoh ri wkh lqvhuwlrq ri nqrzohgjh lqwr wkh qhwzrun1
Dq h{whqghg surjudp lv d jhqhudo orjlf surjudp h{whqghg zlwk h{solflw qhjdwlrq1 Wkurxjkrxw/ zh xvh ; iru
Hdfk uxoh +uo, ri S lv pdsshg iurp wkh lqsxw od|hu wr wkh rxwsxw od|hu ri Q wkurxjk rqh qhxurq +Qo, lq wkh vlqjoh klgghq od|hu ri Q 1 Lqwxlwlyho|/ wkh Wudqvodwlrq Dojrulwkp iurp S wr Q kdv wr lpsohphqw wkh iroorzlqj frqglwlrqv= +4, Wkh lqsxw srwhqwldo ri d klgghq qhxurq +Qo, fdq rqo| h{fhhg Qo*v wkuhvkrog +o,/ dfwlydwlqj Qo/ zkhq doo wkh srvlwlyh dqwhfhghqwv ri uo duh dvvljqhg wkh wuxwk0ydoxh wuxh zkloh doo wkh qhjdwlyh dqwhfhghqwv ri uo duh dvvljqhg idovh> dqg +5, Wkh lqsxw srwhqwldo ri dq rxwsxw qhxurq +D, fdq rqo| h{fhhg D*v wkuhvkrog +D,/ dfwlydwlqj D/ zkhq dw ohdvw rqh klgghq qhxurq Qo wkdw lv frqqhfwhg wr D lv dfwlydwhg1
H{dpsoh 5141 Frqvlghu wkh orjlf surjudp S @ iEF G $ D> HI $ D> $ Ej1 Wkh Wudqvodwlrq Dojrulwkp ghulyhv wkh qhwzrun Q ri Iljxuh 4/ vhwwlqj zhljkwv +Z3v, dqg wkuhvkrogv +3v, lq vxfk d zd| wkdw frqglwlrqv +4, dqg +5, deryh duh vdwlvhg1 Qrwh wkdw/ li Q rxjkw wr eh ixoo|0frqqhfwhg/ dq| rwkhu olqn +qrw vkrzq lq Iljxuh 4, vkrxog uhfhlyh zhljkw }hur lqlwldoo|1
A B
θA θB W W W
θ1 N1 θ2 N2 θ3 N3
B C D E F W W W W -W
Interpretations
Iljxuh 41 Vnhwfk ri d qhxudo qhwzrun iru wkh deryh orjlf surjudp S1
Qrwh wkdw/ lq H{dpsoh 514/ hdfk lqsxw dqg rxwsxw qhxurq ri Q lv dvvrfldwhg zlwk dq dwrp ri S1 Dv d uhvxow/ hdfk lqsxw dqg rxwsxw yhfwru ri Q fdq eh dvvrfldwhg zlwk dq lqwhusuhwdwlrq iru S15 Qrwh dovr wkdw hdfk klgghq qhxurq Q
o fruuhvsrqgv wr d uxoh uo ri S1 Lq rughu wr frpsxwh wkh dqvzhu vhw ri S/ rxwsxw qhxurq E vkrxog ihhg lqsxw qhxurq E vxfk wkdw Q lv xvhg wr lwhudwh WS/ wkh {srlqw rshudwru ri S1 Q zloo hyhqwxdoo| frqyhujh wr d vwdeoh vwdwh zklfk lv lghqwlfdo wr wkh dqvzhu vhw ri S +vhh ^8`,1 Ohw xv qrz uhfdoo F0LO5S*v Wudqvodwlrq Dojrulwkp iurp S wr Q 1
Qrwdwlrq= = Jlyhq d jhqhudo orjlf surjudp S/ ohw t ghqrwh wkh qxpehu ri uxohv uo+4 o t, rffxuulqj lq S> > wkh qxpehu ri olwhudov rffxuulqj lq S> Dplq/ wkh plqlpxp dfwlydwlrq iru d qhxurq wr eh frqvlghuhg dfwlyh +ru wuxh,/ Dplq 5 +3> 4,> Dpd{/ wkh pd{lpxp dfwlydwlrq iru d qhxurq wr eh frqvlghuhg qrw dfwlyh +ru idovh,/ Dpd{5 +4> 3,> k+{, @
5
4.h{ 4/ wkh elsrodu vhpl0olqhdu dfwlydwlrq ixqfwlrq6> j+{, @ {/ wkh vwdqgdug olqhdu dfwlydwlrq ixqfwlrq> Z +uhvs1 0Z,/ wkh zhljkw ri frqqhfwlrqv dvvrfldwhg zlwk srvlwlyh +uhvs1 qhjdwlyh, olwhudov> o/ wkh wkuhvkrog ri klgghq qhxurq Qo dvvrfldwhg zlwk uxoh uo> D/ wkh wkuhvkrog ri rxwsxw qhxurq D/ zkhuh D lv wkh khdg ri uxoh uo> no/ wkh qxpehu ri olwhudov lq wkh erg| ri uxoh uo> so/ wkh qxpehu ri srvlwlyh olwhudov lq wkh erg| ri uxoh uo> qo/
2Dq lqwhusuhwdwlrq lv d ixqfwlrq iurp sursrvlwlrqdo yduldeohv wr ~|oec s@,re1 D prgho iru lv dq lqwhusuhwdwlrq
wkdw pdsv wr |oe1
Zh xvh wkh elsrodu vhpl0olqhdu dfwlydwlrq ixqfwlrq iru frqyhqlhqfh1 Dq| prqrwrqlfdoo| fuhvfhqw dfwlydwlrq
wkh qxpehu ri qhjdwlyh olwhudov lq wkh erg| ri uxoh uo> o/ wkh qxpehu ri uxohv lq S zlwk wkh vdph dwrp lq wkh khdg/ iru hdfk uxoh uo> PD[uo+no> o,/ wkh juhdwhu hohphqw dprqj nodqg oiru uxoh uo> dqg PD[S+n4> ===> nt> 4> ===> t,/ wkh juhdwhvw hohphqw dprqj doo n*v dqg *v ri S1 Zh xvh$n dv d vkruw iru +n4> ===> nt,> dqg $ dv d vkruw iru +4> ===> t,= Iru lqvwdqfh/ iru wkh surjudp S ri H{dpsoh 514/ t @ 6/ @ 9/ n4 @ 6/ n5 @ 5/ n6 @ 3/ s4 @ 5/ s5@ 5/ s6@ 3/ q4@ 4/ q5@ 3/ q6@ 3/ 4@ 5/ 5 @ 5/ 6 @ 4/ PD[u4+n4> 4, @ 6/ PD[u5+n5> 5, @ 5/ PD[u6+n6> 6, @ 4/ dqg PD[S+n4> n5> n6> 4> 5> 6, @ 6=
Lq wkh Wudqvodwlrq Dojrulwkp ehorz/ zh ghqh Dplq> Z> o> dqg Dvxfk wkdw frqglwlrqv +4, dqg +5, deryh duh vdwlvhg +wkh surri lv surylghg lq ^8`,1
Wudqvodwlrq Dojrulwkp=
Jlyhq d jhqhudo orjlf surjudp S/ frqvlghu wkdw wkh olwhudov ri S duh qxpehuhg iurp 4 wr vxfk wkdw wkh lqsxw dqg rxwsxw od|huv ri Q duh yhfwruv ri pd{lpxp ohqjwk / zkhuh wkh l0wk qhxurq uhsuhvhqwv wkh l0wk olwhudo ri S1 Zh dvvxph/ iru pdwkhpdwlfdo frqyhqlhqfh dqg zlwkrxw orvv ri jhqhudolw|/ wkdw Dpd{@ Dplq1
41 Fdofxodwh PD[S+$n > $ , ri S>
51 Fdofxodwh wkh ydoxhv ri Dplq dqg Z vxfk wkdw wkh iroorzlqj lv vdwlvhg=
DplqA PD[S+
$n>$ , 4
PD[S+$n>$ , . 4 dqg
Z 5 oq +4 . Dplq, oq +4 Dplq, PD[S+$n> $ , +Dplq 4, . Dplq. 4> 61 Iru hdfk uxoh uori S ri wkh irup O4> ===> On $ D +n 3,=
+d, Dgg d qhxurq Qo wr wkh klgghq od|hu ri Q >
+e, Frqqhfw hdfk qhxurq Ol+4 l n, lq wkh lqsxw od|hu wr wkh qhxurq Qolq wkh klgghq od|hu1 Li Ol lv d srvlwlyh olwhudo wkhq vhw wkh frqqhfwlrq zhljkw wr Z> rwkhuzlvh/ vhw wkh frqqhfwlrq zhljkw wr Z>
+f, Frqqhfw wkh qhxurq Qo lq wkh klgghq od|hu wr wkh qhxurq D lq wkh rxwsxw od|hu dqg vhw wkh frqqhfwlrq zhljkw wr Z>
+g, Ghqh wkh wkuhvkrog +o, ri wkh qhxurq Qolq wkh klgghq od|hu dv=
o@+4 . Dplq5, +no 4,Z
+h, Ghqh wkh wkuhvkrog +D, ri wkh qhxurq D lq wkh rxwsxw od|hu dv=
D@+4 . Dplq5, +4 o,Z
71 Vhw j+{, dv wkh dfwlydwlrq ixqfwlrq ri wkh qhxurqv lq wkh lqsxw od|hu ri Q 1 Lq wklv zd|/ wkh dfwlydwlrq ri wkh qhxurqv lq wkh lqsxw od|hu ri Q / jlyhq e| hdfk lqsxw yhfwru l/ zloo uhsuhvhqw dq lqwhusuhwdwlrq iru S1
81 Vhw k+{, dv wkh dfwlydwlrq ixqfwlrq ri wkh qhxurqv lq wkh klgghq dqg rxwsxw od|huv ri Q 1 Lq wklv zd|/ d judglhqw ghvfhqw ohduqlqj dojrulwkp/ vxfk dv edfnsursdjdwlrq/ fdq eh dssolhg rq Q h!flhqwo|1
91 Li Q rxjkw wr eh ixoo|0frqqhfwhg/ vhw doo rwkhu frqqhfwlrqv wr }hur1
61 Dgglqj Phwdohyho Sulrulwlhv
wkh klgghq od|hu wr wkh rxwsxw1 Zkdw zrxog wkhq eh wkh phdqlqj ri qhjdwlyh zhljkwv iurp wkh klgghq wr wkh rxwsxw od|hu ri wkh qhwzrunB Lq wklv sdshu/ zh duh lqwhuhvwhg lq dqvzhulqj wklv txhvwlrq1 Zh vwduw zlwk dq h{dpsoh1
H{dpsoh 6141 Ohw S @ iu4 = ilqjhuwlsv> u5 = dolel> u6 = ilqjhuwlsv $ jxlow|> u7 = dolel $ =jxlow|j dqg u6 " u7 +vwdwlqj wkdw ilqjhuwlsv $ jxlow| lv d vwurqjhu hylghqfh wkdq dolel $ =jxlow|,1 D qhxudo qhwzrun wkdw hqfrghv S exw qrw u6 " u7 zloo frpsxwh wkh lqfrqvlvwhqw dqvzhu vhw iilqjhuwlsv> dolel> jxlow|> =jxlow|j1 Dowhuqdwlyho|/ u6 " u7 frxog eh lqfrusrudwhg lq wkh remhfw0ohyho e| fkdqjlqj wkh uxoh _dolel $ =jxlow|% wr _dolel> ilqjhuwlsv $ =jxlow|%= Wkh qhz surjudp zrxog frpsxwh wkh dqvzhu vhw iilqjhuwlsv> dolel> jxlow|j/ zklfk frqwdlqv wkh lqwhqghg dqvzhuv iru S frpsohphqwhg e| u6" u71
Qrwzlwkvwdqglqj/ krz frxog zh uhsuhvhqw wkh deryh sulrulw| h{solflwo| lq wkh qhxudo qhwzrunB Lq wkh vdph zd| wkdw qhjdwlyh zhljkwv iurp lqsxw wr klgghq qhxurqv duh lqwhusuhwhg dv qhjdwlrq e| ghidxow ehfdxvh wkh| frqwulexwh wr eorfn wkh dfwlydwlrq riwkh klgghq qhxurqv/ qhjdwlyh zhljkwv iurp klgghq wr rxwsxw qhxurqv frxog eh vhhq dv wkh lpsohphqwdwlrq ri phwdohyho sulrulwlhv1 Iljxuh 5 looxvwudwhv wkh lghd1 D qhjdwlyh zhljkw iurp klgghq qhxurq u6wr rxwsxw qhxurq =jxlow| frxog lpsohphqw u6 " u7/ surylghg wkdw zkhqhyhu u6 lv dfwlydwhg/ lw eorfnv +ru lqklelwv, wkh dfwlydwlrq ri =jxlow|/ zklfk lv wkh frqfoxvlrq ri u71
r1 r2 r3 r4
fingertips alibi guilty ¬ guilty
fingertips alibi -W
Iljxuh 51 Dgglqj Phwdohyho Sulrulwlhv1
Lq wkh deryh h{dpsoh/ u6" u7 phdqv wkdw/ zkhqhyhu wkh frqfoxvlrq ri u6 krogv/ wkh frqfox0 vlrq ri u7 grhv qrw krog1 Khqfh/ ul " um ghqhv sulrulwlhv dprqj uxohv wkdw fdq ryhuulgh wkh frqfoxvlrqv rqh ri dqrwkhu1 Lw lv/ wkxv/ vlplodu wr wkh vxshulrulw| uhodwlrq ghqhg e| Qxwh lq ^44` dqg odwhu lqyhvwljdwhg lq ^4`1
Lw kdv ehhq suryhg lq ^4` wkdw wkh deryh vxshulrulw| uhodwlrq grhv qrw dgg wr wkh h{suhvvlyh srzhu ri Ghihdvleoh Orjlf ^44`1 Lq idfw/ +remhfw ohyho, ghidxow qhjdwlrq dqg +phwdohyho, vxsh0 ulrulw| uhodwlrqv duh lqwhufkdqjhdeoh +vhh ^43`,1 Wkh vxshulrulw| uhodwlrq dggv/ krzhyhu/ wr wkh hslvwhplf srzhu ri Ghihdvleoh Orjlf ehfdxvh lw reylrxvo| doorzv rqh wr uhsuhvhqw lqirupdwlrq lq d pruh qdwxudo zd|1 Iru h{dpsoh/ wkh Ql{rq gldprqg sureohp lv pruh hdvlo| h{suhvvhg dv iro0 orzv= u4 = txdnhu+Ql{rq, sdflilvw+Ql{rq,> u5 = uhsxeolfdq+Ql{rq, =sdflilvw+Ql{rq,> zkhuh vkrxog eh uhdg dv qrupdoo| lpsolhv1 Wkh ghqlwlrq ri dq dghtxdwh sulrulw| uhodwlrq ehwzhhq u4 dqg u5 zrxog vroyh wkh lqfrqvlvwhqf| uhjduglqj wkh sdflvp ri Ql{rq/ zkhq erwk txdnhu+Ql{rq, dqg uhsxeolfdq+Ql{rq, duh wuxh1 Dovr iru hslvwhprorjlfdo uhdvrqv/ lq pdq| fdvhv lw lv xvhixo wr kdyh erwk ghidxow qhjdwlrq dqg phwdohyho sulrulwlhv1 Wklv idflolwdwhv wkh h{suhvvlrq ri +remhfw0ohyho,sulrulwlhv lq wkh vhqvh ri ghidxow uhdvrqlqj dqg +phwdohyho,sulrulwlhv lq wkh vhqvh wkdw d jlyhq frqfoxvlrq vkrxog eh ryhuulgghq e| dqrwkhu zlwk kljkhu sulrulw|17
Khqfh/ wkh vxshulrulw| uhodwlrq zh glvfxvv khuh hvvhqwldoo| pdnhv h{solflw wkh sulrulwlhv hq0 frghg lq wkh remhfw ohyho1 Dv d uhvxow/ d qhwzrun Q" hqfrglqj d surjudp S" zlwk h{solflw sulrulwlhv lv h{shfwhg wr ehkdyh h{dfwo| dv wkh qhwzrun Q wkdw hqfrghv wkh htxlydohqw h{whqghg surjudp S zlwkrxw sulrulwlhv1 Wkh iroorzlqj ghqlwlrq fodulhv zkdw zh phdq e| wkh htxlyd0 ohqfh ehwzhhq S" dqg S lq whupv ri WS1
Ghqlwlrq 6141 Ohw S" @ iu4> u5> ===> utj eh dq h{whqghg surjudp zlwk dq h{solflw vxshulrulw| uhodwlrq " = Ohw S eh wkh vdph h{whqghg surjudp S" zlwkrxw wkh vxshulrulw| uhodwlrq "1 Iru dq| wzr uxohv ul> um lq S" vxfk wkdw um" ul> ohw S3@ S ul> l1h1/ S3lv wkh surjudp S zlwkrxw uxoh ul1 Zh ghqh WS" @ WS3 li um uhv/ dqg WS" @ WS rwkhuzlvh1
6141 Olqhduo| Rughuhg Wkhrulhv1 Iluvwo|/ ohw xv frqvlghu wkh fdvh ri olqhduo| rughuhg vhwv1 Wklv lqfoxghv wkh fdvh ri h{fhswlrqv ri h{fhswlrqv/ l1h1/ zkhq d frqfoxvlrq ghulyhg edvhg rq d jlyhq suhihuhqfh uhodwlrq lv ryhuulgghq e| dqrwkhu suhihuhqfh uhodwlrq1 Wdnh/ iru lqvwdqfh/ wkh iroorzlqj h{dpsoh= Ohw S @ iu4 = elugv $ io|> u5 = shqjxlqv $ elug> u6= shqjxlqv $ =io|> u7 = vxshushqjxlqv $ io|j dqg u7 " u6 " u41 Lq wklv h{dpsoh/ u6 vkrxog eorfn u4> dqg u7 vkrxog eorfn u61 Lqwxlwlyho|/ zh vkrxog kdyh Zio|>u4> Zio|>u7 A 3 dqg Zi o|>u6 ? 3> zkhuh Zi o|>ul ghqrwhv wkh zhljkw iurp klgghq qhxurq ul wr rxwsxw qhxurq io|1 Lq idfw/ Zi o|>u4 @ 4=<7> Zio|>u6@ 4=<6> Zio|>u7@ 6=<: dqg i o| @ 4=<6 lpsohphqwv u7" u6" u41 Wkhvh ydoxhv zhuh rewdlqhg e| dfwxdoo| wudlqlqj d qhwzrun dqg xvlqj {hg zhljkwv iurp wkh lqsxw wr wkh klgghq od|hu +jlyhq e| F0LO5S*v Wudqvodwlrq Dojrulwkp,1
Iroorzlqj ^9`/ zh zloo frqvlghu wkh fdvh ri qlwh olqhduo| rughuhg vhwv1 Dvvxph S @ iu4> ===> utj dqg ut " === " u5" u41 Dv d uhvxow/ dq| vxevhw ri S lv dovr olqhduo| rughuhg1 Zh duh lqwhuhvwhg lq wkh vxevhw ri S zlwk frpsohphqwdu| frqfoxvlrqv { dqg ={1 Zh uhsuhvhqw lw dv d olvw +u4> u5> ===> um, zkhuh um " === " u5 " u41 Dvvxph u4 kdv frqvhtxhqw {1 Zh qhhg wr dvvljq ydoxhv wr zhljkwv Z{u4> Z{u5> Z{u6> ===> Z{um> { dqg Z={u5> Z={u6> ===> Z={um> ={ vxfk wkdw um " === " u5 " u4 krogv1 Ohw=
; A A A ? A A A =
Z{u4 @ Z> Z{u5 @ Z . %>
Z{uq @ Z{uq5 Z{uq4. %> li q 5 i6> 8> :===j ru Z{uq @ Z{uq5 Z{uq4 %> li q 5 i7> 9> ;===j=
eLq d wudlqhg qhxudo qhwzrun/ erwk uhsuhvhqwdwlrqv pljkw eh hqfrghg vlpxowdqhrxvo|/ vr wkdw wkh qhwzrun lv
zkhuh Z A 3 dqg % lv d vpdoo srvlwlyh qxpehu vxfk wkdw Z AA % +w|slfdoo| % @ 3=34,1 Vlploduo|/ ohw Z={u5@ Z> Z={u6@ Z . %> dqg Z={uq @ Z={uq5 Z={uq4. % iru q @ 8> :> <===> zkloh Z={uq @ Z={uq5 Z={uq4 % iru q @ 7> 9> ;===81
Phwdohyho Sulrulwlhv Dojrulwkp 4 +Olqhdu Rughulqj,9
41 Frqvlghu d Orjlf Surjudp S @ iu4> ===> utj dqg lwv htxlydohqw qhxudo qhwzrun Q > rewdlqhg e| dsso|lqj wkh Wudqvodwlrq Dojrulwkp ri F0LO5S1 Iru hdfk vxevhw +u
4> u5> ===> um, ri uxohv lq S zlwk frqvhtxhqwv { dqg ={ vxfk wkdw um" === " u5" u4> gr=
+d, Fdofxodwh 4 vxfk wkdw=
+4 Dplq,Z . %Dplq Dplq+ m [
n@6>8===
Z{un, + m4 [
n@7>9===
Z{un, k4+Dplq, ? 4
4? DplqZ Dplq+ m4 [
n@5>7===
Z{un, + m [
n@6>8===
Z{un, k4+Dplq,
+e, Fdofxodwh 5 vxfk wkdw=
+4 Dp lq,Z . %Dplq Dplq+ m4 [
n@7>9===
Z={un, + m [
n@8>:===
Z={un, k4+Dplq, ? 5
5? DplqZ Dp lq+ m [
n@6>8===
Z={un, + m4 [
n@7>9===
Z={un, k4+Dplq,
+f, Dgg d frqqhfwlrq iurp hdfk klgghq qhxurq ul +4 l m, wr wkh rxwsxw qhxurq {> dqg vhw wkh frqqhfwlrq zhljkw wr Z{ul>
+g, Dgg d frqqhfwlrq iurp hdfk klgghq qhxurq ul +5 l m, wr wkh rxwsxw qhxurq ={/ dqg vhw wkh frqqhfwlrq zhljkw wr Z={ul>
+h, Li m lv dq rgg qxpehu=
+l, Vhw wkh wkuhvkrog { ri rxwsxw qhxurq { wr 4/ +ll, Vhw wkh wkuhvkrog ={ ri rxwsxw qhxurq ={ wr 5= +i, Li m lv dq hyhq qxpehu=
+l, Vhw wkh wkuhvkrog { ri rxwsxw qhxurq { wr 5/ +ll, Vhw wkh wkuhvkrog ={ ri rxwsxw qhxurq ={ wr 4=
Wkhruhp 6141 Ohw S @ iu4> u5> ===> utj dqg ut " === " u5 " u4= Ohw Q eh wkh qhwzrun rewdlqhg e| xvlqj wkh Wudqvodwlrq Dojrulwkp ryhu S1 Li Q lv prglhg e| xvlqj wkh Phwdohyho Sulrulwlhv Dojrulwkp 4 wkhq Q frpsxwhv WS"/ zkhuh S" lv wkh surjudp S wrjhwkhu zlwk wkh suhihuhqfh uhodwlrq ut " === " u5" u4=
Surri1 E| lqgxfwlrq1
DQrwh wkdw `?' `
?323 `?3 0 lv uhvsrqvleoh iru dvvljqlqj wkh zhljkwv vxfk wkdw= li lv dq hyhq qxpehu/
`%o4c `%o6c c `%om4 : f dqg `%o5c `%o7c c `%om f> li lv dq rgg qxpehu/ `%o4c `%o6c c `%om : f
dqg `%o5c `%o7c c `%om4 f1
Zh frqvlghu wkh vxevhw U @ +u4> u5> ===> um, ri S frqwdlqlqj wkh uxohv zlwk frqfoxvlrqv { dqg ={= Ohw ul +4 l m, eh wkh odvw qhxurq iurp ohiw wr uljkw lq +u4> u5> ===> um, wr eh dfwlydwhg lq Q iru d jlyhq lqsxw yhfwru l1 Dvvxph u4 kdv frqvhtxhqw {1
Zh glvwlqjxlvk vhyhudo fdvhv=
41 Li m lv dq rgg qxpehu dqg l lv dq rgg qxpehu/ vkrz wkdw { lv dfwlydwhg=
Edvlv= Li l @ 4 wkhq { lv dfwlydwhg1 Lq wkh zruvw fdvh/ u6> u8> ===> um @ 4 dqg u5> u7> ===> um4@ Dplq> zkloh u4@ Dplq1 Zh qhhg wr vdwlvi| =
DplqZ Dplq m4 [ n@5>7=== Z{un m [ n@6>8===
Z{un {A k4+Dp lq, +4,
zklfk |lhogv=
{? Dp lqZ Dp lq m4 [ n@5>7=== Z{un m [ n@6>8===
Z{un k4+Dp lq, +5,
dqg/ iurp wkh Phwdohyho Sulrulwlhv Dojrulwkp 4 +vwhsv 4+d, dqg 4+h,,/ Htxdwlrq 5 lv fohduo| vdwlvhg1
Lqgxfwlyh Vwhs= li { lv dfwlydwhg iru l @ q wkhq { lv dfwlydwhg iru l @ q.51 Iru l @ q> lq wkh zruvw fdvh/ u4> u6> ===> uq5@ 4 dqg u5> u7> ===> uq4@ 4> uq@ Dplq dqg uq.4> ===> um duh qrw dfwlydwhg/ l1h1/ uq.4> uq.6> ===> um4 @ Dplq dqg uq.5> uq.7> ===> um @ 41 Li { lv dfwlydwhg wkhq
q5[
n@4>6===
Z{un. q4 [
n@5>7===
Z{un. DplqZ{uq Dplq
m4 [ n@q.4>q.6=== Z{un m [ n@q.5>q.7===
Z{unA k4+Dplq, . { +6,
krogv1
Iru l @ q . 5 zh kdyh u4> u6> ===> uq @ 4 dqg u5> u7> ===> uq.4 @ 4> uq.5 @ Dplq dqg uq.6> ===> um qrw dfwlydwhg/ l1h1/ uq.6> uq.8> ===> um4 @ Dplq dqg uq.7> uq.9> ===> um @ 41 Zh qhhg wr vkrz wkdw
[q n@4>6===
Z{un. q.4 [
n@5>7===
Z{un. Dp lqZ{uq.5 Dplq
m4 [ n@q.6>q.8=== Z{un m [ n@q.7>q.9===
Z{unA k4+Dplq, . { +7,
dovr krogv1
Lw lv vx!flhqw wr vkrz wkdw=
q [
n@4>6===
Z{un. q.4 [
n@5>7===
Z{un. Dp lqZ{uq.5 Dplq
m4 [ n@q.6>q.8=== Z{un m [ n@q.7>q.9===
Z{un A q5[
n@4>6===
Z{un.
q4[
n@5>7===
Z{un. Dp lqZ{uq Dplq
Vlpsoli|lqj Htxdwlrq 8/ zh rewdlq=
+4 . Dplq,Z{uq.5. +4 . Dplq,Z{uq.4 A +4 . Dplq,Z{uq +9,
Wkxv/ li Z{uq.5 . Z{uq.4 A Z{uq wkhq { lv dfwlydwhg iru l @ q . 5= Vlqfh Z{uq.5 @ Z{uq Z{uq.4 . % dqg % A 3/ zh kdyh Z{uq.5 . Z{uq.4 @ Z{uq . % A Z{uq= Wklv frpsohwhv wkh surri ri wkh lqgxfwlyh vwhs1
Wkh uhpdlqlqj fdvhv duh=
51 Li m lv dq rgg qxpehu dqg l lv dq hyhq qxpehu/ vkrz wkdw { lv qrw dfwlydwhg/ 61 Li m lv dq hyhq qxpehu dqg l lv dq rgg qxpehu/ vkrz wkdw { lv dfwlydwhg/ 71 Li m lv dq hyhq qxpehu dqg l lv dq hyhq qxpehu/ vkrz wkdw { lv qrw dfwlydwhg/ 81 Li qr qhxurq lq U lv dfwlydwhg/ vkrz wkdw { lv qrw dfwlydwhg1
Wkh surriv iru Fdvhv 5/6/7 dqg 8 duh dqdorjrxv wr Fdvh 41
H{dpsoh 6151 Ohw u8" === " u5 " u41 Wdnlqj Dplq @ 3=</ Z @ 53 dqg % @ 3=4> zh fdofxodwh 94=39 ? 4? 86=46 dqg 5<=36 ? 5? 79=<:= Z{u4 @ Z={u5 @ 53> Z{u5 @ Z={u6 @ 4<=<> Z{u6 @ Z={u7 @ 73> Z{u7@ Z={u8 @ 93> dqg Z{u8 @ 433=4= Wdnlqj {@ 88 dqg ={@ 78> wkh qhwzrun ri Iljxuh 6 zloo lpsohphqw u8 " === " u5 " u41 Qrwh wkdw/ li d vpdoohu ydoxh iru Dplq lv ghvluhg/ d odujhu ydoxh iru Z pd| eh qhfhvvdu| lq rughu wr vdwlvi| wkh frqvwudlqwv rq { dqg ={1
r
1r
3r
4x
½x
r
2r
5Iljxuh 61 Olqhdu rughulqj rq iu4> ===> u8j1 Grwwhg olqhv lqglfdwh qhjdwlyh zhljkwv1 u4 dfwlydwhv {/ u5 dfwlydwhv ={ dqg eorfnv {/ u6 dfwlydwhv { dqg eorfnv ={> dqg vr rq1
6151 Sduwldoo| Rughuhg Wkhrulhv1 Ohw xv qrz frqvlghu wkh fdvh ri sduwldoo| rughuhg vhwv1 Zh vwduw zlwk dq h{dpsoh1
H{dpsoh 6161 Ohw S @ iu4> u5> u6j> u4" u6> u5" u6= Ohw wkh frqvhtxhqwv ri u4 dqg u5 eh { dqg wkh frqvhtxhqw ri u6eh ={= Zh zdqw wr dgg qhjdwlyh zhljkwv 4iurp u4 wr ={> dqg 5iurp u5 wr ={ vxfk wkdw +4, wkh dfwlydwlrq ri ={ lv juhdwhu wkdq Dplq zkhq u6 lv dfwlydwhg/ surylghg u4 dqg u5 duh qrw dfwlydwhg/ dqg +5, wkh dfwlydwlrq ri ={ lv vpdoohu wkdq Dplq zkhq hlwkhu u4 ru u5 duh dfwlydwhg/ uhjdugohvv ri wkh dfwlydwlrq ri u61 Dvvxph wkdw wkh zhljkw iurp u6 wr ={ lv Z> wkh wkuhvkrog ri ={/ ={ @ 3Z> zkhuh 35 ?> dqg wdnh/ iru wkh vdnh ri vlpsolflw|/ 4@ 5@ Z1
Lq Fdvh +4,/ wkh plqlpxp dfwlydwlrq ri u6 lv Dplq zkloh/ lq wkh zruvw fdvh/ wkh dfwlydwlrqv ri u4 dqg u5 duh erwk Dplq1 Wkxv/ zh kdyh=
DplqZ . DplqZ . DplqZ 3Z A k4+Dp lq, +:,
41 Vlqfh zh kdyh wdnhq 4@ 5@ Z> erwk fdvhv |lhog wkh vdph lqhtxdolw|/ dqg zh kdyh= Z . Z DplqZ 3Z ? k4+Dp lq,
+;,
Iurp Htxdwlrqv : dqg ; deryh zh rewdlq/ uhvshfwlyho|/ Z A k6Dp lq4+Dp lq3, dqg wkh frqvwudlqw 6Dplq 3 A 3> dqg Z A k
4+Dp lq,
5Dp lq3 dqg wkh frqvwudlqw 5 Dp lq 3 ? 31 Wkhuhiruh/ zh qhhg wr vdwlvi| 5 Dplq ? 3? 6Dplq ru Dplq A 4@51 Wdnlqj Dplq @ 3=9 dqg 3 @ 4=8> li Z @ 48> dqg wkhuhiruh ={@ 55=8> d qhwzrun Q wkdw hqfrghv S zloo dovr hqfrgh u4 " u6 dqg u5" u61 Qrwh wkdw/ rqh pljkw qhhg wr fkdqjh wkh ruljlqdo ydoxh ri Z lq Q > rewdlqhg iurp wkh Wudqvodwlrq Dojrulwkp +vwhs 5,/ lq rughu wr vdwlvi| Z Ak6Dp lq4+Dp lq,3 dqg Z A k
4+Dp lq, 5Dp lq31
Wkh iroorzlqj dojrulwkp lv xvhg iru sduwldoo| rughuhg wkhrulhv1
Phwdohyho Sulrulwlhv Dojrulwkp 5 +Sduwldo Rughulqj,:
41 Frqvlghu d Orjlf Surjudp S @ iu4> ===> utj dqg lwv htxlydohqw qhxudo qhwzrun Q > rewdlqhg e| dsso|lqj wkh Wudqvodwlrq Dojrulwkp ri F0LO5S1 Ohw u
4> ===> uq eh wkh uxohv lq S zlwk frqvhtxhqw {> dqg uq.4> ===> ur eh wkh uxohv lq S zlwk frqvhtxhqw ={= Ohw p @ r q1 Li ul" um iru 4 m q dqg q . 4 l r> gr=
+d, Fdofxodwh=
Dp lq A PD[ #
PD[S+$n> $ , 4 PD[S+$n> $ , . 4
>q+p . 4, 4q+p . 4, . 4 $
>
zkhuh PD[+i4> ===> iv, uhwxuqv wkh juhdwhvw qxpehu dprqj i4> ===> iv> +e, Dgg d frqqhfwlrq fl iurp hdfk klgghq qhxurq ul wr wkh rxwsxw qhxurq {> +f, Fdofxodwh=
4 5q . Dplq
p 4 +p . 4,Dplq ? ?
4 q . +q . 4,Dplq p+4 Dplq, dqg PD[ +q . +p 4 Dplq,> qDplq. p, ? 3? 4 q . Dplq. pDplq> +g, Fdofxodwh=
Z3 A PD[ k4+Dplq, q . +p 4 Dplq, 3>
k4+Dplq,
4 q . Dp lq. pDplq 3> k4+D
p lq, qDplq. p 3> Z
>
+h, Vhw wkh zhljkwv ri frqqhfwlrqv fm iurp hdfk klgghq qhxurq um wr wkh rxwsxw qhxurq { dv Z3>
+i, Vhw wkh zhljkwv ri frqqhfwlrqv fl iurp hdfk klgghq qhxurq ulwr wkh rxwsxw qhxurq { dv Z3>
+j, Vhw wkh wkuhvkrog {ri rxwsxw qhxurq { dv 3Z3=
Wkhruhp 6151 Ohw u4> ===> uq> uq.4> ===> ur5 S dqg ul" um iru 4 m q dqg q . 4 l r1 Ohw p @ r q1 Ohw Q eh wkh qhwzrun rewdlqhg e| xvlqj wkh Wudqvodwlrq Dojrulwkp ryhu S1 Li Q lv prglhg e| xvlqj wkh Phwdohyho Sulrulwlhv Dojrulwkp 5 wkhq Q frpsxwhv WS"/ zkhuh S" lv wkh surjudp S wrjhwkhu zlwk wkh suhihuhqfh uhodwlrq ul" um1
Surri1 Zh qhhg wr vkrz wkdw zkhq dq| klgghq qhxurq ul lv dfwlydwhg lq Q > wkh frqvhtxhqw ri uxohv um +{, lv qrw dfwlydwhg lq Q +Fdvh 4 ,1 Zh dovr qhhg wr jxdudqwhh/ vlqfh zh duh fkdqjlqj
wkh wkuhvkrog ri {/ wkdw zkhq dq| klgghq qhxurq um lv dfwlydwhg lq Q / surylghg qr klgghq qhxurq ullv dfwlydwhg/ { lv dovr dfwlydwhg lq Q +Fdvh 5l,/ dqg wkdw zkhq qr klgghq qhxurq um lv dfwlydwhg lq Q / surylghg qr klgghq qhxurq ul lv dfwlydwhg/ { lv qrw dfwlydwhg lq Q +Fdvh 5ll,1 Fdvh 4 = Lq wkh zruvw fdvh/ q qhxurqv um suhvhqw dfwlydwlrq 4/ rqh qhxurq ul lv dw Dplq dqg p4 qhxurqv ulduh dw 41 Ohw Z A 3 eh wkh zhljkw iurp qhxurqv umwr {1 Ohw Z + 5 ?., eh wkh zhljkw iurp qhxurqv ulwr {/ dqg 3Z +35 ?, wkh wkuhvkrog ri {= Wkxv/ Htxdwlrq < kdv wr eh vdwlvhg1
qZ DplqZ . +p 4,Z 3Z ? k4+Dp lq, +<,
Vroylqj Htxdwlrq < iru wkh frqqhfwlrq zhljkw Z |lhogv Htxdwlrqv 43dqg 441
Z A k4+Dplq, q . +p 4 Dplq, 3 +43,
q . +p 4 Dplq, 3? 3 +44,
Fdvh 5l= Djdlq lq wkh zruvw fdvh vfhqdulr/ zkhq rqh qhxurq um suhvhqwv dfwlydwlrq Dplq dqg q 4 qhxurqv um duh dw 4/ surylghg wkh p qhxurqv ul duh dw Dplq/ { vkrxog eh dfwlydwhg1 Htxdwlrq 45 kdv wr eh vdwlvhg1
DplqZ +q 4,Z . pDplqZ 3Z A k4+Dplq, +45,
Vroylqj Htxdwlrq 45 iru wkh frqqhfwlrq zhljkw Z |lhogv Htxdwlrqv 46 dqg 471
Z A k4+Dplq,
4 q . Dp lq. pDplq 3 +46,
4 q . Dp lq . pDplq 3A 3 +47,
Fdvh 5ll= Ilqdoo|/ zkhq doo qhxurqv um duh dw Dplq dqg doo qhxurqv ul duh dw 4/ wkh rxwsxw qhxurq { vkrxog qrw eh dfwlydwhg1
qDplqZ . pZ 3Z ? k4+Dplq, +48,
Vroylqj Htxdwlrq 48 |lhogv Htxdwlrqv 49 dqg 4: ehorz1
Z A k4+Dplq, qDplq. p 3 +49,
qDp lq. p 3? 3 +4:,
Iurp Htxdwlrqv 44/ 47 dqg 4:/ zh ghulyh wkh iroorzlqj frqvwudlqwv rq 3= q . +p 4 Dp lq, ? 3? 4 q . Dplq. pDplq +4;,
qDplq. p ? 3? 4 q . Dplq. pDp lq +4<,
Iurp Htxdwlrqv 4; dqg 4</ dqg dvvxplqj p 4 +p . 4,Dplq ? 3/ zh rewdlq wkh iroorzlqj frqvwudlqw rq =
4 5q . Dp lq
p 4 +p . 4,Dplq ? ?
4 q . +q . 4,Dp lq p+4 Dplq, +53,
Iurp Htxdwlrq 53zh ghulyh Htxdwlrq 54/ dqg vroylqj Htxdwlrq 54 iru Dplq> zh rewdlq Htxdwlrq 551
DplqA q+p . 4, 4q+p . 4, . 4 +55,
Vlqfh zh kdyh dvvxphg wkdw p 4 +p . 4,Dp lq? 3 wkhq Dp lq Ap4p.4 pxvw krog1 Krzhyhu/ q+p.4,4
q+p.4,.4 A p4p.4> iru p 4 dqg q 4> dqg wkxv Htxdwlrq 55 vx!fhv1 Vlqfh Phwdohyho Sulrulwlhv Dojrulwkp 5 frpsolhv zlwk wkh deryh frqvwudlqwv/ wklv frpsohwhv wkh surri1
Wkh deryh wkhruhp vkrzv wkdw vlqjoh klgghq od|hu qhwzrunv fdq hqfrgh vxshulrulw| uhodwlrqv ehwzhhq uxohv zkhq " ghqhv d suhihuhqfh ehwzhhq prghov1 Wklv lv vr ehfdxvh/ zkhq um duh wkh uxohv lq S zlwk frqvhtxhqw {> dqg ul duh wkh uxohv lq S zlwk frqvhtxhqw ={> ul " um dfwxdoo| vwdwhv wkdw dq| prgho ri S frqwdlqlqj ={ lv suhihuuhg ryhu dq| prgho ri S frqwdlqlqj {1 Krzhyhu/ wkh wkhruhp grhv qrw vkrz wkdw zkhq " lv dq| sduwldo rughu/ wkh lqwhqghg phdqlqj ri S zloo eh frpsxwhg e| Q 1 Wkh iroorzlqj h{dpsoh looxvwudwhv wklv sureohp1
H{dpsoh 6171 +Sduwldo rughulqj, od|vHjjv+sodw|sxv,
kdvI xu+sodw|sxv, prqrwuhph+sodw|sxv, kdvEloo+sodw|sxv,
u4= prqrwuhph+{, $ pdppdo+{, u5= kdvI xu+{, $ pdppdo+{, u6= od|Hjjv+{, $ =pdppdo+{, u7= kdvEloo+{, $ =pdppdo+{, u4" u6> u5" u7
Lqwxlwlyho|/ zh vkrxog eh deoh wr ghulyh pdppdo+sodw|sxv, ehfdxvh iru hyhu| uhdvrq djdlqvw pdppdo+sodw|sxv,/ l1h1/ u6 dqg u7/ wkhuh lv d vwurqjhu uhdvrq iru pdppdo+sodw|sxv,/ uhvshf0 wlyho|/ u4dqg u51 Krzhyhu/ zh fdq qrw hqfrgh u4" u6lqwr d qhwzrun Q zlwkrxw ghqlqj zkhwkhu u7" u4 ru ylfh0yhuvd1 Hyhq li zh wudqvodwh wkh suhihuhqfh uhodwlrqv lqwr remhfw ohyho qhjdwlrq dv idloxuh/ Q zloo qrw eh deoh wr ghflgh zkhwkhu pdppdo+sodw|sxv, ru =pdppdo+sodw|sxv,= Lq idfw/ wklv lv dovr d sureohp lq Orjlf Surjudpplqj1
Rq wkh rwkhu kdqg/ li zh h{solflwo| ghqh wkh uhodwlrqv ehwzhhq +suhylrxvo| lqfrpsdudeoh, frq lfwlqj uxohv/ vxfk dv u4 dqg u7> wkhq Q zloo frpsxwh wkh lqwhqghg phdqlqj ri S1 Lq wklv h{dpsoh/ li u4" u6> u4" u7 dqg u5" u6> u5" u7 wkhq pdppdo+sodw|sxv, zloo eh ghulyhg1
Zh qrz suhvhqw d qdo h{dpsoh1
H{dpsoh 6181 +Qr sursdjdwlrq ri dpeljxlw|, txdnhu+ql{rq,
uhsxeolfdq+ql{rq,
u4= txdnhu+{, $ sdflilvw+{, u5= uhsxeolfdq+{, $ =sdflilvw+{, u6= uhsxeolfdq+{, $ irrwedooidq+{, u7= sdflilvw+{, $ dqwlplolwdu|+{, u8= irrwedooidq+{, $ =dqwlplolwdu|+{, u8" u7
71 Frqfoxvlrq
Lq wklv sdshu zh kdyh vhhq wkdw qhjdwlyh zhljkwv iurp wkh klgghq od|hu wr wkh rxwsxw ri d vlqjoh klgghq od|hu qhxudo qhwzrun pd| eh uhjdughg dv wkh lpsohphqwdwlrq ri phwdohyho sulrul0 wlhv/ zklfk ghqh d vxshulrulw| uhodwlrq ehwzhhq frq lfwlqj uxohv ri dq h{whqghg orjlf surjudp1 Lq wklv zd|/ wkh lpsohphqwdwlrq ri vxfk d vxshulrulw| uhodwlrq lq wkh qhwzrun lv vwudljkwiruzdug/ gxh wr d fkdudfwhulvwlf ri wkh Wudqvodwlrq Dojrulwkp ri F0LO5S/ qdpho|/ wkh dvvrfldwlrq ri hdfk klgghq qhxurq ri Q zlwk d uxoh ri S1 Pruh frpsoh{ dqg hoderudwhg suhihuhqfh uhodwlrqv/ vxfk dv lq Euhznd*v suhihuuhg vxewkhrulhv ^6` dqg Sudnnhq dqg Vduwru*v dujxphqwhg0edvhg h{whqghg orjlf surjudpplqj zlwk ghihdvleoh sulrulwlhv ^45`/ duh qrw uhsuhvhqwdeoh lq wkh qhwzrun dv hdvlo|/ dqg zrxog uhtxluh fkdqjhv lq wkh edvlf vwuxfwxuh ri wkh qhwzrunv lqyhvwljdwhg khuh1 Vxfk/ pruh vrsklvwlfdwhg/ suhihuhqfh uhodwlrqv duh ohiw dv ixwxuh zrun1
Uhihuhqfhv
^4` J1 Dqwrqlrx/ G1 Eloolqjwrq/ dqg P1 M1 Pdkhu1 Vfhswlfdo orjlf surjudpplqj edvhg ghidxow uhdvrqlqj 0 ghihdvleoh orjlf uhkdelolwdwhg1 Lq Ure Ploohu dqg Pxuud| Vkdqdkdq/ hglwruv/ FRPPRQ VHQVH <;/ wkh irxuwk v|psrvlxp rq orjlfdo irupdol}dwlrqv ri frpprqvhqvh uhdvrqlqj/ sdjhv 453/ Orqgrq/ 4<<;1 Txhhq Pdu| dqg Zhvwhog Froohjh/ Xqlyhuvlw| ri Orqgrq1
^5` J1 Dqwrqlrx/ P1 M1 Pdkdu/ dqg G1 Eloolqjwrq1 Ghihdvleoh orjlf yhuvxv orjlf surjudpplqj zlwkrxw qhjdwlrq dv idloxuh1 Wkh Mrxuqdo ri Orjlf Surjudpplqj/ 75=7:8:/ 53331
^6` J1 Euhznd1 Qrqprqrwrqlf Uhdvrqlqj 0Orjlfdo Irxqgdwlrqv ri Frpprqvhqvh/ yroxph 45 ri Fdpeulgjh Wudfwv lq Wkhruhwlfdo Frpsxwhu Vflhqfh1 Fdpeulgjh Xqlyhuvlw| Suhvv/ 4<<31
^7` D1 V1 gDylod Jdufh}/ N1 Eurgd/ dqg G1 P1 Jdeed|1 V|perolf nqrzohgjh h{wudfwlrq iurp wudlqhg qhxudo qhwzrunv= D qhz dssurdfk1 Whfkqlfdo Uhsruw WU0<;0347/ Ghsduwphqw ri Frpsxwlqj/ Lpshuldo Froohjh/ Orqgrq/ 4<<;1 Uhylvhg dqg H{whqghg yhuvlrq vxeplwwhg1
^8` D1 V1 gDylod Jdufh} dqg J1 ]dyhuxfkd1 Wkh frqqhfwlrqlvw lqgxfwlyh ohduqlqj dqg orjlf surjudpplqj v|vwhp1 Dssolhg Lqwhooljhqfh Mrxuqdo/ Vshfldo Lvvxh rq Qhxudo Qhwzrunv dqg Vwuxfwxuhg Nqrzohgjh/ 44+4,=8<::/ 4<<<1
^9` G1 P1 Jdeed|1 Frpsurplvh uhylvlrq= D srvlwlrq sdshu1 Wr dsshdu/ 4<<:1
^:` P1 Jhoirqg dqg Y1 Olivfklw}1 Fodvvlfdo qhjdwlrq lq orjlf surjudpv dqg glvmxqfwlyh gdwdedvhv1 Qhz Jhqhudwlrq Frpsxwlqj/ <=6986;8/ 4<<41 Vsulqjhu0Yhuodj1
^;` V1 Kroogreohu dqg \1 Ndolqnh1 Wrzdug d qhz pdvvlyho| sdudooho frpsxwdwlrqdo prgho iru orjlf surjudpplqj1 Lq Surfhhglqjv ri wkh Zrunvkrs rq Frpelqlqj V|perolf dqg Frqqhfwlrqlvw Surfhvvlqj/ HFDL <7/ 4<<71 ^<` V1 Kroogreohu/ \1 Ndolqnh/ dqg K1 S1 Vwruu1 Dssur{lpdwlqj wkh vhpdqwlfv ri orjlf surjudpv e| uhfxuuhqw
qhxudo qhwzrunv1 Dssolhg Lqwhooljhqfh Mrxuqdo/ Vshfldo Lvvxh rq Qhxudo Qhwzrunv dqg Vwuxfwxuhg Nqrzohgjh/ 44+4,=788;/ 4<<<1
^43` D1 F1 Ndndv/ S1 Pdqfduhood/ dqg S1 P1 Gxqj1 Wkh dffhswdelolw| vhpdqwlfv ri orjlf surjudpv1 Lq Surfhhglqjv ri wkh hohyhqwk Lqwhuqdwlrqdo Frqihuhqfh rq Orjlf Surjudpplqj LFOS/ sdjhv 83784<1 PLW Suhvv/ 4<<71 Fdpeulgjh/ PD1
^44` G1 Qxwh1 Ghihdvleoh orjlf1 Lq G1 P1 Jdeed|/ F1M1 Krjjhu/ dqg M1 D1 Urelqvrq/ hglwruv/ Kdqgerrn ri Orjlf lq Duwlfldo Lqwhooljhqfh dqg Orjlf Surjudpplqj/ yroxph 6/ sdjhv 6866<91 R{irug Vflhqfh Sxeolfdwlrqv/ 4<<71
^45` K1 Sudnnhq dqg J1 Vduwru1 Dujxphqw0edvhg h{whqghg orjlf surjudpplqj zlwk ghihdvleoh sulrulwlhv1 Mrxuqdo ri Dssolhg Qrq0Fodvvlfdo Orjlf/ :=58:8/ 4<<:1
^46` G1 H1 Uxphokduw/ J1 H1 Klqwrq/ dqg U1 M1 Zlooldpv1 Ohduqlqj lqwhuqdo uhsuhvhqwdwlrqv e| huuru sursdjdwlrq1 Lq G1 H1 Uxphokduw dqg M1 O1 PfFohoodqg/ hglwruv/ Sdudooho Glvwulexwhg Surfhvvlqj= H{sorudwlrqv lq wkh Plfurvwuxfwxuh ri Frjqlwlrq/ yroxph 41 PLW Suhvv/ 4<;91