Top Banner
13

homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

Feb 23, 2020

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

����������� ��������������������������� � �!�"��# ���%$&���(')'+*-,/.0�12�3 ���"�12�"�4���65

7 849;:=<?>@8�ACBEDF9;:GDF9EHJI�>LK!MONFPRQS>@8�TU>V8�W@TUXY>Z2[]\Y^�_a`?b([]cd`e�fhg)e�b(\jik`?[U_mlFn]op[]ckn][

qme!r�^�sCtG[]spuve=iF_?cj[xwyckz{`?o|`?ik`?[�e4f~}C[]n��jcke=spe=�4r���)��� e!���4�d�4�����;tG[]spuve=iF_?cj[x�So�nU`?e�_?o�^(�=���F�=�Y�Sikz{`a_�^�spo�^

�U�k���d���d�4���y�F� ��¡�� ¢C£¥¤��v�4¦~£§�=¨=©0£{ª�©« ¦ ¦=¬0­y® ®4¯ ¯ ¯~£a� ¢C£§¤!�v�4¦~£y��¨=©0£{ª4©�®�°!�U�j��� ���d�����§�F� �

±�²´³]µ]¶�·Y¸�µ=¹»º [2¼F[]zanO_?opuv[�^4cG^4\j\k_?e=^�n���`?e1`?�j[mijza[Se�fC�=[]ck[O`?opn2\k_?e���_�^4b(b(o�ck�f@e�_xe�uF½y[]nO`x¼F[O`?[]nO`?ope�c6\F_?e=uks�[Ob(zSopc�¾¿�jopn��/`?�j[1spedn!^4`?ope=ckz�e�f0zab�^4s�sCe=u�½{[]nO`?z2e�fbRijs|`?op\jsp[1n]s�^�zaza[]zxopc/s�^4_?��[À\jopnO`?iF_?[]zSbRijz{`Suv[xfLe=ikcY¼;Á;}"�j[�[] e�s�Â=[!¼�\k_?e���_�^�b(zikza[�^6f@[!^4`?iF_?[�za[O`(nOe=b(\jiF`?[!¼�f@_?e�b-^Ãz?Ädij^4_?[Gopck\jik`RÅY[]s�¼Æs�^4_?�=[G[]cje�ij�=�Æ`?en]e�cd`�^�opcÆ[!^�n�� e�fme=u�½{[OnO`?zÀe�fmopcd`?[O_?[]z{`»^�cj¼ ^4_?[�^�\j\kspo�[]¼E��opcÆb(e�Â�o�ck�G¾¿opcY¼Fe�¾fL^�za�jope�cÇ�ke4Â=[O_`?�j[SsV^�_?�=[x\ko�nU`?ik_?[]zopc�e�_�¼k[U_`?e»spedn!^4`?[�`?�k[2e�uF½y[]nO`?z¿e�fCo�cd`?[O_?[Oz{`!Á}"�k[»Åj`?ck[]zaz�fLikcjnO`?ope=c6opzxuY^4za[!¼Ãe�cÃ`?�j[»¼k[O`?[OnO`?ope=cÃ_�^�`?[(^�cj¼È`?�k[RfL^�spza[�^�s�^4_?b_�^�`?[=Á º [1�Y^! [x`?[]z{`?[]¼/`?�k[1b([O`?�je�¼�e�cÈ`?�F_?[][1e=u�½{[]nU`1¼k[O`?[OnO`?ope=cÈ\k_?e�ujsp[]b(zme�fopcjnU_?[!^�zaopcj�À¼ko|É(n]iksp`§rÀ¾¿o|`?��f@e=iF_¿¼ko|Ê;[O_?[]cd`nOsV^4zaza[]ze�fCopc�`?[U_?[]z{`!Á � c�\kopnO`?ik_?[]z)e�f[!^4z{r�^�cj¼�b([]¼kopijb˼ko|É(nOijs|`yrÀ^�spsve=u�½{[]nU`?z¿^4_?[�¼F[O`?[]nO`?[]¼»¾¿op`?��cjexfL^�spza[x^�s�^�_?b(z]Á� c�¼FopÉÀn]ijs|`0\jopnO`?iF_?[]zh`?�k[O_?[¿^4_?[mz{`?ops�sjzao���cjo|ÅYn]^�cd`)c�ikb»uv[O_?z~e�f;[U_a_?e�_?z]���je!¾)[] [O_`?�k[S_?[]zaiksp`?z¿^�_?[�n]e�cjzao�¼k[O_�^4ujs|r�uv[O`a`?[O_`?�j^�c�`?�je=za[2e�f´^�cj[]iF_�^�svck[O`y¾)e�_?Ì�uY^4za[!¼\F_?e=��_�^4bÍfLe�_¿`?�k[xz?^�b([�\F_?e=ujsp[]b(z]ÁÎGÏ�ÐEÑRÒ ¶�ÓC³=¹ t�^4nU�kopcj[¿sp[!^4_?cko�ck�k� � [Ocj[O`?opnm^�sp�=e4_?o|`?�jb(z]� ÔS[]ik_�^4sjck[O`y¾)e�_?Ì�z]� �SopÕzaope=c

Ö ×jØmÙvÚ;ÛxÜRÝ�ÞCÙ;ß?ÛmØ

à T¿á�NkPU8�DF9EH�á�NFPO8x>Vá/DF:F8�TSD�PO81K4DFâvMUã;PO8�H�>@9/84W@8�K�MUPONF9;>LK�äåNkPUá�MUB;8�9;848=H�äåNFP¿âEPUNk:FP]D�á/Tæ B;>@K]BçK�D�9éèE9ÇH�NFêv<?8=K!M]TÈN�ä�>@9jMU8�PU8=T?M6>@9çDëH;D�MODFêEDFTU8ÆN�ä(>@á/D�:F8=T/>LT6>@9EK�PO8�DkT�>@9;:Çìmí;NkP8�î;D�á�â;W@8FïC>�M»á/D ðJêC8�9E8�K�8=TUTOD�POðÃMUNÈèÇ9EHÆD�W@WhMUã;á�NFP]TR>V9ñDÃH;DdM]D�êEDkT�8�N�äîYòyP]D ð6>@á/D�:k8�T�ïD�W@W"K4ðvK�W@NF9;8=T1>@9óDJH;DdM]D�êEDkT�8�NFäSTODdMU8�WVW@>VMU8G>Vá/D�:k8�TRNFP»D6âEDFP�MO>@K4ã;WLD�P1ä¥DkK�8G>V9ôD6H;D�MODFêEDFTU8N�ähâEB;N�MONF:FP]D�âEBET4ìjõ�B;8(K�NkáGá�Nk9ÃK]BEDFPODkK!MU8�PU>LT�MU>LKxN�ä"T�ãEK]BÃâ;PONFê;W@84á/T�K4DF96êC8»âEB;PODkT�8=H6DkTöO÷ >@øF849 ù�ú�ûaüEýaþ!ÿaú��������]ù4ú´û{üÇý{þ�ÿaú������� �|ù�ú�û{üÇýaþ!ÿaú����� æ B;>LK]B�D�PO8R84îvDFá�â;WV8=T�N�ähMUB;8(Nkêv<?8�K�MN�äÇ>@9jMU8�PU8=T?M=ï èE9EH�D�W@Wvâ;>LK!MUãEPU8=T æ B;>@K]B/K4NF9jMODF>V9�MUB;>LTNFê;<?8�K!M¿DF9EH�>VMOT¿WVNvK4D�MU>@NF9��§T����;ì�í)>@:Fã;PO8��TUB;N æ Tm84î;D�á�â;W@8�T¿NFä0â;PONFê;W@84á/TSN�ä´MOB;>@T2XY>@9EH´ìví)>V:kã;PU8��kKRT�B;N æ TSD�BYã;á/D�9ÃPU84MU>@9ED;ì��ô8D�PO8mPO8��jã;>@PU8=H(MUNRèE9EH�D�W@WYN�ä;MOB;8�áG>LK�PONÀD�9;8�ã;PU>LTUá�T)D�9ÇH�BEDF84á�NFPOPUBÇD�:F8=T4ï�DFT)>V9ÇHv>@K�DdMO8�H�êYðMUB;8 æ BE>�MO81T��jãEDFPU8=T4ì�í)>@:Fã;PO8��ÀT�B;N æ TDF9�849;WLD�PO:F8=H�øY>@8 æ ì��¿îvDFá�â;WV8=T"N�ä�N�MOB;84P¿âEPUNkê;WV8�á/TN�äEMOB;>LTXY>V9EH�>@9EK�W@ãEHv8�M]D�PO:F8�MHv84MU8�K�MU>@NF9Gâ;PONFê;W@84á/T � �vï"!#Yï"!%$& æ B;84PO82MUB;8�M]DFTUX(>@T)MON»èE9EH´ïTUD ðkïFD�W@WEM]D�9;XvT�ï�MOPUãEK]XvTNkPmB;8�WV>LK�NkâvMU8�POTm>V9ÈD�â;>@K�MUã;PO8Fì('19EWV>@XF81á�NjT?M2N�ä�MUB;8»K�ã;POPO849jM æ NkPUX) ÔRÁ+*jede-,/.0¼EÁ 0�1E�Sw�2 3�3F��4ÇÔ2�Swx�����d�d�C\k\ÇÁ��65=�"7j�83=���)�63%3�3FÁ n9 l�\k_?opcj��[O_aÕ¥�h[O_?s�^4� � [O_?spo�c;:2[]o|Õ¼k[]sp[O_?���83%3�3

Page 2: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

� []ck[O`?opn � _?e���_�^4b(b(o�ck�Rf@e�_�tGijs|`?op\jsp[�g)s�^�zaz � uF½y[]nO`mZ�[O`?[]nU`?o�e�c �85��

>V9ôMUBE8ÈNFêv<?8=K!M�PO8�K4NF:F9E>�MO>VNk9ôDFPU8=D;ï æ B;84PO8�MUBE8/MODkT�XÆ>LTÀMONÆHv8�MO8�K!M�NF9;W@ðñNkêv<?8�K�MOTÀN�ä�NF9E8K�WLDFTOT � �;ï"!�!kï"! � &yïvNkã;PxNFêv<?8=K!MO>Vøk8»>LT2MUNÈH;8�MU8=K!M1Nkêv<?8�K�MOT2äåPONFá DG9Yã;á�êC84PxNFä"K4W@DkTUTU8�T�ì� 84øk84P]D�WÀD�â;â;PONkDkK]B;8�T6BED øF8ôêC84849 D�âEâ;WV>@8�HËMUN�DFãvMUNká�D�MU>LKñNkêv<?8�K�M�H;8�MU8=K!MO>VNk9 DF9EH

PU8=K�NF:k9;>VMU>@NF9Æâ;PONFêEWV8�á�T�ì´õmðYâ;>LK4DFWVW@ðFïCMOB;84ð ãETU8�á�ã;WVMU>@â;W@8�>V9EH;84âC849EHv8�9jM(T�MODF:F8=T4ï´TUãEK]BóDkTâ;PU8�â;PONYK48�TOT�>@9;:Çïk8=Hv:F8ÀHv8�MO8�K�MU>@NF9~ï;TU84:káG8�9jMODdMO>VNk9~ïjäå8�D�MUã;PO8À8�îYMUP]DFK�MU>@NF9ÃDF9EHÈNkêv<?8�K�M1K�WLDFT�òT�>VèÇK4D�MU>@NF9�� �Eï !��&{ï æ B;>LK]B�N�ä MO849GPU8=T�ãEW�M]Th>@9�TUNFá�828��ÈK�>@849ÇK�ð�D�9ÇH�8��C8=K!MU>@øF8�9;8�TOT)â;PONFê;W@84á/T�ìõ�B;8�èÇ9ED�W"PO8�TUã;W�M]T»PU8�WVð�MONjNJá�ãÇK]Bñã;âCNF9ñMUB;8�PO8�TUã;W�M]T�NFäm8�DkK]BóT�MODF:F8Fì�{ä2TUNFá�8�NFêv<?8=K!MOTD�PO8ÈWVNjT?M�>V9ëNk9;86NFäxMUB;8Ã8�DFPUW@ðóT�MODF:F8�T�ï0>VM�>LT�øF84POð Hv>�ÈK4ã;W�MGNFP�>Vá�âCNkTOT�>@ê;W@8ÈMUNñPU8=K�NdøF8�PMUB;8�á+>@9óMOB;8/WLDdMU8�P(T?M]D�:F8kì~õ0N D økNF>LH MUBE8�TU8�H;>@TODFHvødDF9kM]D�:k8�T�ïÇMOB;>LT(âED�âC84P(>@9jMUPONvHvãEK�8=TÀDT�>@9;:FW@8(T?M]D�:k8ÀDFâ;â;PONkDkK]B~ìõ�B;84PO8(BED øF8(êC848�9ñD�9Yã;á�êC84PRN�äPO84âCNFPUMOTxNk9�MUB;8�ãET�8�N�ä:F8�9;8�MO>@K(âEPUNk:FP]D�á�á�>V9;:�>@9

NFêv<?8=K!M2H;8�MU8=K!MO>VNk96D�9EH6K�WLDFTOT�>VèÇK4D�MU>@NF9 � !��Eï"!%�&yì � ! �&�Hv8�TOK�PO>VêC8�TSD�:k849;84MU>LK1â;PONF:kPODFáGá�>@9;:T�ðvT�MU84á äåNkP0NFê;<?8�K!M"Hv8�MO8�K�MU>@NF9�>@9 æ B;>LK]B(MUBE8m84økNFW@øF8=H�äåãE9EK!MO>VNk9ET0NkâÇ8�POD�MU8mH;>VPO8�K�MUW@ð»Nk9(MUBE8â;>�îv8�WEødD�W@ã;8�T�ì�� !���&ÇHv8=TUK4PU>@êÇ8=TmDÀ:k849;84MU>LKxâ;PONF:FP]D�á�á�>@9;:(T�ðvT�MU84á D�9ÇH/DÀä¥DFK48xPU8=K�NF:k9;>VMU>@NF9D�â;â;W@>LK4DdMO>VNk9�>V9 æ B;>LK]BJMUB;8�84øFNkWVøk8�HÃâ;PONF:FP]D�á/T�BED øk8(D�WVNvK4DFW~>@9EHv8�îv8=H�áG8�á�NFPOðFì à WVWhN�äMUB;8=T�8»D�â;â;PONkDkK]B;8�TmD�PO81êEDFTU8�HÈNF9/M æ N�K�WLDFTOTSâ;PUNkê;W@84á/T4ïFMUBED�M2>LT�ïkNkêv<?8�K�MOT¿øvTS84øk84POðkMOB;>@9;:84WLT�8kì

�"84PUäåNFPOá�DF9EK�8">@9�NFê;<?8�K!M)Hv8�MO8�K!MO>VNk9�>LT0á�8�DkT�ãEPU8=HRêYð(Hv84MU8�K�MU>@NF9(P]DdMO8mD�9EH(ä¥D�WLT�8mDFW@DFPUáPOD�MU8Fìhõ�B;8ÃHv84MU8=K!MU>@NF9 P]DdMO8/>@T�MUB;869jãEá�êC84P�NFäxNFêv<?8=K!MOT�K�NkPUPO8�K�MUW@ðÆPU8�âÇNkP�MO8�H DFT�D�âÇ8�P�òK�849jM]D�:F8�N�ä¿MOB;8GMUNFMOD�W"9Yã;á�êÇ8�PRNFäSPO8�D�W)NFê;<?8�K!M]TRDF9EH ä¥DFW@TU8�D�WLD�POá P]DdMO8�>LTRMUB;8G9Yã;á�êC84PN�äSNkêv<?8�K�MOTÀ>@9EK�NkPUPO8�K�MUW@ð PU8�âÇNkP�MO8�HóDFTÀDJâÇ8�POK4849jMODF:F8GN�ämMOB;8�MUNFMODFW)9Yã;á�êÇ8�P(N�ä2PU8=D�WNFê;ò<?8�K!M]T4ìvíENFP�8�î;D�á�â;W@8FïvD�Hv8�MO8�K!MO>VNk9JTUðvT?MO84á&W@NYNFXY>V9E:�äåNFP2:FPO84ð/T��jãED�PO8�TS>V96èE:FãEPU8 �kD�á�D ðPU8�âÇNkP�MÈMOBEDdM6MUB;8�PU8ñDFPU8 � �vì��{ä $ëN�äÀMUB;8=T�8ôD�PO8ÆK�NkPUPO8�K�M/MUB;8ñH;8�MU8=K!MO>VNk9çPOD�MU8 æ >@WVW»êC8� $�� !������ !������ �����6ìkõ�BE8�ä¥DFW@TU8�D�WLD�POá POD�MU8 æ >@WVW�êC8 ��!���� !������ !���������� � $��6ì��{M2>@TS>@á�òâÇNkP�M]D�9jM¿MUN�9;N�MO81MOBEDdMSèE9EHv>@9;:�Nkêv<?8�K�MOTm>V9ÈâE>@K�MUã;PO8�T æ >�MOB6øF8�PUðGK�W@ãvM�MO84PO8�H/êÇDFK]XY:FPONFã;9ÇH;T>@T�D�9ë84îjMOPU8�á�84W@ðóHv>��ÈK�ã;WVMGâEPUNkê;WV8�á DF9EHôMUBÇDdM�ä¥DFW@TU86Hv84MU8=K!MU>@NF9 POD�MU8�T�N�ä � ���dò � ï �������� MUBÇDdMÀ>@T�MUB;8�Hv84MU8�K�MU>@NF9ôT�ðvT�MU84á�TUã;:F:k8�T�MOT1MUBED�M�MUBE84PO8GDFPU8 � ��MU>@á�8�TÀDFTRá/D�9YðJNFêv<?8=K!MOTDFT2MUBE84PO8»PO8�DFWVW@ð6DFPU8��SDFPU8ÀK�Nká�áGNk9 � ! � ï"! ��&yì

��� � !#"%$ &('()+*-,�./$�0+*21#3+3546,7�890:$�,;!=<?> *�8@$=AB*�$�*�8@$ '(,)

à ê;PU>@8�ä"NFã;MUW@>V9;8ÀNFähMOB;8(á�8�MUBENYHJ>LTxDFT2äåNkWVW@N æ T�C

!Fì à TOT�8�á�ê;W@8�DÈHEDdMODFêEDFTU8(N�ä¿âE>@K�MUã;PO8�T�>V9 æ B;>LK]B�MUBE8�W@NYK�DdMO>VNk9ET�DF9EH K�WLDFTOT�8=TxN�ä¿DFWVWhN�äMUB;8�Nkêv<?8�K�MOThN�äE>@9jMU84PO8�T�MD�PO8má/D�9YãEDFWVW@ð(Hv8�MO84POáG>@9;8=H´ì6Dx8�TU84POøF82T�NkáG8SN�ä;MOB;82â;>@K�MUã;PO8�TDFTFE ã;9;XY9;N æ 9ET�GYäåNFPxá�8=DFTUã;PU>@9;:/Hv84MU8�K�MU>@NF9JâÇ8�P�äåNkPUá/DF9EK�8kì

� ìIH�84MU8�PUá�>@9;8»DF96D�âEâ;PUNkâ;PO>@D�MU8�TU>�J�8 �(K��¿NFähD�T��jãED�PO8 æ B;>LK]B æ >@WVW´K�Ndøk84P2D�W@WÇNkêv<?8�K�MOTSN�ä>V9jMO84PO8�T�MxDF9EHÃäåNFPOá&MUBE8(>V9;âEãvMxèE84WLH´ì�;ìL�a9YøFNFXk8(D�9�84økNFW@ãvMU>@NF9EDFPUð6â;PUNvK48�TOT�MUN/:k849;8�POD�MU8(D/â;PONF:kPODFá æ B;>@K]BÆK�D�9 Hv84MU84POá�>V9E8MUB;8�K4W@DkTUT�NFä)DF9JNkêv<?8�K�Mx>V9�>VMOTx>@9;â;ãvMxèÇ84WLH´ì�Eì à â;âEWVð�MOB;8�:k849;8�POD�MU8=H�â;PUNk:FP]D�á-DFT»DÈá�NdøY>V9E: æ >V9ÇHvN æ MU8�áGâEW@D�MU8 � ! &hMONÈMUBE8�â;>LK!òMUã;PO8�TÃPO8�TU84POøF8�H æ >VMUBËT�MU8�â !óDF9EHéNFê;MOD�>@9�MOB;8ñW@NvK4DdMO>VNk9ETÈNFä�D�W@W1MOB;8óNkêv<?8�K�MOT6N�ä>V9jMO84PO8�T�MR>@9Æ8�DkK]BÆK�WLDFTOT4ì´Q2D�WLK�ã;WLDdMO8(MUB;8�Hv84MU8�K�MU>@NF9ÆP]DdMO8�D�9ÇH�MUB;8�ä¥D�WLT�8GD�WLD�POá P]DdMO8NF9ÃMUB;8ÀMO8�T�M�T�84M�DFT2MOB;8(á�8�DFTUã;PO8RNFä)âC84PUäåNFPOá/D�9EK48Fì

Page 3: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

�65 � tG[Ocj�]½{op[��;�j^�ck�À^�cj¼G�2opnO`?e4_2g)o�[Ozao�[Os�zaÌ�o

����� �B,7�&��� ã;P�NdøF84P]D�W@WE:kNkDFWC>LTSMUN/Hv84MU84POá�>V9E8 æ BE8�MUBE84P�â;PONF:FP]D�á/Tm84øFNkWVøk8�H6êjð/:k849;84MU>LK�âEPUNk:FP]D�áGòáG>@9;:�K�D�9ÈHvN�D�:FNYNvH�8�9;NFãE:FBÀ<?NFê/NFä�èE9EHv>@9;:(MOB;81NFê;<?8�K!M]T¿NFä�>@9jMU8�PU8=T?M¿>@9Èâ;>LK!MOã;PU8=T¿TUãEK]BDFT2MUBENkTU8ÀTUB;N æ 9J>V9JèE:kã;PO8 �Çì � âC8�K�>VèÇK�D�W@WVð æ 8(D�PO8»>V9jMU8�PU8=T?MO8�HJ>@9 C� ��BEDdM1>@á/D�:k8»âEPUNvK�8=TUTU>@9;:�äå8=DdMOã;PU8=T æ Nkã;WLH6á/D�Xk8ÀãET�84äåã;W´MO84POáG>@9EDFW@T� ��B;8�MOB;84PÈMUB;8 äåNkã;PÈT�MOD�9ÇH;D�P]H DFPU>VMUBEáG84MU>LK�NFâC84P]DdMONFP]T æ >@W@W�êC8ÆT�ã �ÈK4>V8�9kM/äåNkP/MUBE8äåã;9EK�MU>@NF9 T�84M��� N æ K4DF9éMUB;8 èEMU9;8=TUTÈäåã;9EK!MO>VNk9�êÇ8óK�NF9ÇT?MOPUãEK�MU8=H :k>Vøk849 MUBÇDdMÈMOB;84PO8ñD�PO8ÆTU84øF8�PODFWK�WLDFTOT�8=T2N�ä">V9jMU8�PU8=T?M ��� N æ æ >@WVWjâC84PUäåNFPOá�DF9EK�8mø DFPUð æ >VMUB�>@9EK�PO8�DkT�>@9;:�H;>�ÈK�ãEW�M?ðÀN�ä;>@á/D�:k8mHv8�MO8�K�MU>@NF9�â;PONFê;òWV8�á/T�� ��>VW@W~MOB;8(âC84PUäåNFPOá�DF9EK�8»êC8�êÇ84M�MO84PxMOBED�9 DG9;84ãEPODFW´9;8�M æ NFPOXÈD�â;âEPUNjDFK]B � ��� &~NF9JMUBE8TUDFá�8»âEPUNkê;WV8�á/T4ì

� ���0Ø��~ÙvßUÞ��óÚ;Û��¿Ú������ ß�Ø��÷ 849;84MU>LKÀâ;PUNk:FP]D�á�á�>V9E:�>LTxD�PO84WLDdMO>Vøk84W@ð/PU8=K�849jM�MU8=K]B;9;NkWVNk:Fð/êEDkT�8=HÈNF9ÃMUBE8(ãET�8ÀNFä+H»D�PUòæ >V9;>LD�9ô84økNFW@ãvMU>@NF9ô>@9óMOB;8/:F8�9;84P]DdMO>VNk9ñNFä2K�Nká�â;ãvMU8�P(â;PONF:FP]D�á/T�ì H�8�øF84W@NFâC8�HôD�9ÇHÆèEP]T�Mâ;ã;ê;W@>@TUB;8=HÆêYð��FNkB;9! ÀN�J=D/>@9�� #�&yïC>VM»BEDkT1êC848�9óTUãEK4K48�TOT?äåã;W@W@ð�DFâ;â;W@>V8=H >@9óD�PO8�DkT�TUãEK]BñDkTâEDdMUMU84PO9�PO8�K�Nk:F9;>VMU>@NF9 � ! �&{ï"K4NF9jMUPONFW � $&{ïPUNkêÇNvK�ãEâ�� � �&RDF9EH á�NYH;84W@WV>@9;:�� �&{ìmõ�B;8ñâ;PUNvK48�TOTT?M]D�PUMOT æ >VMUBJD�P]D�9EH;NFá�WVðG:F8�9;84P]DdMO8�H�âCNFâ;ãEW@D�MU>@NF9ÈNFä~â;PUNk:FP]D�á/T�ì��mDkK]B/â;PUNk:FP]D�á >@TS8�îv84òK�ãvMO8�H6DF9EH/>VMOT�Hv8�:FPO8481NFähT�ãÇK4K�8=TUTm>V9JDFK]B;>@84øY>@9;:�>VMOTSMODkT�X�>LTmá�8=DFTUã;PU8=HÈD�9ÇHÈDFTOT�>@:F9E8�HÈDkT>�M]T�è;MU9E8�TOT4ì��mPUNk:FP]D�á/T æ >VMUB�B;>@:FBÃè;MO9;8�TOT1D�PO8RMUB;8�9�TU84W@8�K�MU8=HÈäåNkPxá�D�MU>@9;:Eì �a96MOB;8(á/DdM�ò>V9;:�â;PUNvK48�TOT)M æ N(âEDFPU8�9jMOT¿DFPU8xK]B;NjT�8�9�DF9EH�P]D�9EHvNká�WVð�TU84W@8�K�MU8=H/T�ã;ê;ò§MOPU8�8�T¿DFPU8xT æ DFâ;âÇ8=H:F>@øj>@9;:RM æ N»K]B;>@W@HvPO849�N�ä�D�9;8 æ âCNFâ;ã;WLDdMO>VNk9~ì9�a9�:k849;8�PODFW§ï=>@9EHv>@øj>LHvãEDFW@T)>@9�MOB;8�9;8 æ :F849E84PUòDdMU>@NF9 æ >VW@W�êÇ8Rè;MUMU84P2MOBED�96MUB;NjT�8»>V96MUB;8ÀK�ãEPUPO849jMS:k849;8�POD�MU>@NF9~ìYõ�B;8»â;PONYK48�TOTMO84POáG>@9ED�MU8�Tæ B;8496MUB;8ÀêC8�T�M2>@9EHv>@øY>@HvãÇD�W~HvNY8�TS9;NFM2>@á�â;PUNdøk8�Ndøk84P¿MOB;8(K�Nkã;POTU8�NFähD(äå8 æ :k849;8�POD�MU>@NF9ET�ìõ�B;8(â;PONF:FP]D�á/T�D�PO8(K�Nk9ET?MOPUãÇK!MU8=HÃäåPUNká#"%$'&)( *,+�-."0/21)&)$0D�9ÇH3"5467-98)$:+�;0-<1)&)$ æ B;>LK]Bæ >VW@WxødD�POð DkK4K4NFP]Hv>V9E:ÆMUNôMOB;8ÃâEPUNkê;WV8�á HvNká�DF>V90ì"íEã;9EK�MU>@NF9ET�äåNFPOá MOB;8�PUNYN�M�D�9EH MUBE8>V9jMU8�PU9ÇD�Wx9;NvHv8=T�N�ä»MUB;8�âEDFPOTU8JMUPO848�PU8�â;PO8�TU849jMOD�MU>@NF9 NFä»Dôâ;PONF:kPODFáJìõh84POá�>V9EDFW@TGBED øk89;N D�PO:Fã;á�849jM]T/D�9EH äåNFPOá MUBE8 WV8=D øF8�TGNFäRMOB;8 âED�P]TU86MOPU8�8Fì¿õh84POáG>@9EDFW@T�PO84â;PO8�TU849jM�MUBE8>V9;âEãvMOT�MUN MOB;8Èâ;PONF:kPODFá�ì à TOT�ãEáG>@9;: MOBEDdM�NF9;8ÈBÇDFT�D ødDF>VWLD�ê;W@8ÈD�:F8�9;84P]D�W@> J48�Hô:k849;84MU>LKâ;PUNk:FP]D�á�á�>V9E:2E 849;:k>V9;8�GCMUN�âÇ8�P�äåNkPUá-MOB;8�84økNFW@ãvMU>@NF9EDFPUð�â;PONvK�8=TUTU8�T�ïEMOB;8GMODkT�XÆNFämãETU>V9E::F849E8�MU>LK�â;PONF:kPODFáGá�>@9;:ôäåNFP6DF9Yð :F>@øF8�9éâ;PUNkê;W@84á êC8�K4NFá�8�TÈNF9;8 NFä(H;8�MU8�PUá�>@9;>@9;: MUBE8D�â;â;PONFâEPU>LDdMO8�T�84M»NFääåã;9EK�MU>@NF9ETÀD�9ÇH MU8�PUá�>@9ED�WLT»D�9EHÆDJTUã;>�M]D�ê;W@8�èEMU9;8=TUTRäåã;9EK�MU>@NF9~ì?�{MÀ>@T>Vá�âCNFPUMOD�9jM2MUN�9;NFMU8RMUBED�M2MOB;8(T�8�WV8=K!MO>VNk9ÃNFä~MUB;8»äåã;9ÇK!MU>@NF9ÇTxD�9EH6MU8�PUá�>@9ED�WLT2>@T�K�PO>VMU>LK4D�WCMONT�ãEK�K�8=TUT�ì à êEDFH�TU84W@8�K�MU>@NF9�K4NFã;WLH(PO8�TUã;W�M)>V9�øF84POðRTUW@N æ K4NF9YøF8�PU:k849EK48NFP0MUN�9EN�M0êC84>@9;:RDFê;W@8MUNRèE9EH�D»TUNFW@ãvMU>@NF9�D�M"DFWVWyìd7 NFPO8SH;8�MODF>VWLT)N�ä;:k849;84MU>LKmâ;PONF:kPODFá�áG>@9;:�DF9EH�>VMOT"DFâ;â;W@>@K�DdMU>@NF9ÇTK4D�9JêC8ÀäåNFã;9EHJ>@9 � � ï �&{ì

� � � �B*�)+*�$ '(8>=�46,@?�467�ABA ' )C? 1ED+7 35$ *FD:$�, ! < > *�8@$#AB*�$ *�8@$�' ,�)à TR9;N�MO8�H D�êCNdøF8�MUB;8�á�DF>V9�M]DFTUXvT1>@9ÆãETU>V9;:6:F849E8�MU>LK(â;PONF:kPODFá�áG>@9;:/>@9ñTUNFá�8�â;PONFê;W@84áHvNFá/D�>@9 D�PO8 ��!%� HR8�MO84POá�>V9;8GMOB;8GMU84POá�>V9ÇD�W¿TU8�M�ï � � � H�84MU84POá�>V9E8�MOB;8�äåã;9EK�MU>@NF9 T�84M�ï~DF9EH�(� � H�84MU8�PUá�>@9;8ÀMUB;8(á�84MUB;NvHJN�ä"á�8�DFTUã;PO>V9E:�è;MO9;8�TOT�ì

Page 4: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

� []ck[O`?opn � _?e���_�^4b(b(o�ck�Rf@e�_�tGijs|`?op\jsp[�g)s�^�zaz � uF½y[]nO`mZ�[O`?[]nU`?o�e�c �85��

� ��� � 0+* � *�4 A;'()+7�&��%*�$í;NFPGNFê;<?8�K!M�Hv8�MO8�K�MU>@NF9ëâ;PONFêEWV8�á�T�MU8�PUá�>@9ED�WLTGK�NFPOPO8�TUâÇNk9EHôMUNó>Vá/D�:k8/äå8�D�MUã;PO8�T�ì+�a9 NFãEPK4DFTU8�M æ 8�9kM?ðÆäå8�DdMOã;PO8�T�ï����<$ ;����G>V9óèE:FãEPU8 !Fï´DFPU8G8�îYMUP]DFK�MU8=HÆäåPONFá+DJT��kãÇD�PO8�>@9;â;ãvMèE84WLH´ï æ B;>LK]B >@T�W@DFPU:k8G8�9;NFãE:FBóMUNÆK�Nk9jMOD�>@9 D�W@W¿NFêv<?8=K!M]TÀN�ä�>V9jMU8�PU8=T?M=ì �a9ôèE:FãEPU8 !�DEï´MUBE8:FPO84ðÈK�>@P]K�W@8R>LTxD�9JNFêv<?8=K!MxN�äh>V9jMU8�PU8=T?M=ïYMUB;8»èEW@W@8�H�T��jãEDFPU8 à !4ò�� !�ò�Q�!�ò H !�ò à !1PO84â;PO8�TU849jM]TMUB;8JT��jãEDFPU8/>@9;â;ãvM�èE84WLH´ì � MUB;8�P�T��kãÇD�PO8�T(PO84â;PO8�TU849jM�PO84:k>VNk9ET»äåNFP æ B;>@K]B äå8=DdMOã;PU8=T æ >@WVWêÇ8ÈK4NFá�â;ãvMO8�H´ì~õ�B;8�á�8�DF9ôDF9EHôT?M]D�9EH;DFPOHôHv8�øj>LDdMO>VNk9ñNFämMUBE8/â;>�îv8�W@T(K4NFá�â;PO>@TU>V9E:Ã8=DFK]BN�ä~MOB;8�TU8ÀPU8�:F>@NF9ET2D�PO8�ãETU8�HÃDFTSM æ NGTU84âEDFPOD�MU8�äå8�DdMOã;PO8�T�ìjõ�B;8�PU8ÀD�PO8���PO84:k>VNk9ET¿:k>VøY>@9;:;! �äå8�DdMOã;PO8�T�ï ��� $';������kì à WLT�N æ 8»ãETU8RâE>�îv84WLT�D�W@NF9;:�MUB;8»á/D�>@9ÃD�îY8=T2N�ä~MOB;8R>@9;â;ã;M2èÇ84WLHÃDkTT�B;N æ 9J>@9ÃèÇ:Fã;PO8 !4ê~ïv:k>VøY>@9;:Gäå8�DdMOã;PO8�T������E$ ;����dì

O

E1

E2

F2

F1

G1 G2 H2 H1

A1 B1

C1D1

A2 B2

C2D2

*j[]^4`?ik_?[Oz qm[]�=ope�cjzm^�cj¼G�m�F[]z¿e4f´opc�`?[U_?[]z{`b([!^�c z?¼*)� *~� uko��»z?Ä�ij^4_?[x�1�OÕ � �UÕ{gS�UÕ¥Z»�*´� *�� zab�^4s�sEn][]cd`a_�^4sÇz?ÄdiY^�_?[x���!Õ � ��Õyg��Õ¥Z1�*�� *´� ik\j\j\v[U_sp[Of@`Sz?ÄdiY^4_?[����OÕ .�OÕ � Õ � �*~� * 5 ik\j\v[O__?op�=�d`¿z?ÄdiY^�_?[�.¿�UÕ � Õ :��OÕ � �* 3 *)�]� spe!¾"[O_msp[OfV`2z?ÄdiY^�_?[ � �OÕ � Õ *)�OÕ¥Z»�*)�=� *)�!� spe!¾"[O_¿_?op�=�d`mz?ÄdiY^�_?[ � Õ :��OÕygS�OÕ *)�*)�!� *)�O� n][Oc�`a_�^4sE_?e!¾ e�f´`?�k[�ujop�Àz?Ädij^4_?[ � �OÕ :��*)��� *)�]� n][Oc�`a_�^4sÇnOe=spijb(c�e�f�`?�k[�ujop�Àz?ÄdiY^�_?[�.¿�UÕ *)�*)��� *)�65 n][Oc�`a_�^4sE_?e!¾ e�f´`?�k[�zab�^�spsEz?ÄdiY^4_?[ � �!Õ :x�*)�83 *~�4� n][Oc�`a_�^4sÇnOe=spijb(c�e�f�`?�k[�zab�^�spsEz?Ä�ij^4_?[�.h��Õ *~�

,å^%0 , u 0����� ¹��Y¹ *j[]^4`?ik_?[S[O��`a_�^�nO`?ope�c�uj^�za[!¼�e=c�spedn!^�sEopb�^��=[m_?[]�=ope�cGopcd`?[]cjzao|`?op[]z]ÁFÔ2e4`?[%1�z?¼ 7»z{`�^�cj¼j^�_�¼¼F[]Â�o�^4`?ope=c

�a9ñDFH;H;>�MO>VNk9ÆMUN6MUB;8=T�8�äå8�D�MUã;PO8�T æ 8�BED øk8�D/MO84POá�>V9EDFW æ BE>@K]Bó:F849E84P]DdMU8=T�D6PODF9EHvNFá9jãEá�êC84P�>@9ôMUB;8/P]D�9;:k8 � �;ï � � ��&{ì´õ�B;>@T�K�NFPOPO8�TUâÇNk9EH;TRMUN�MOB;8/9Yã;á�êC84P(NFä2:kPU8�ðÆWV8�øF8�W@TÀ>@9MUB;8(>@á/D�:F8=T4ìõ�B;8�TU8»äå8�DdMOã;PO8�T�BED øk8�MOB;8ÀäåNFW@WVN æ >@9;:/K]BEDFPODkK!MU8�PU>LT�MU>LK4T�C

� õ�B;84ð DFPU86TUðYá�áG84MUPO>@K�D�W�D�9EH K�NF9jM]D�>@9ëT�NkáG8Ã>V9;äåNFPOá�D�MU>@NF9 NFä1NFêv<?8=K!M�MOPODF9ETUW@D�MU>@NF9D�9EHJPON�M]DdMU>@NF9Ã>V9YødD�PO>LD�9EK48Fì��� NvK4DFW´PU8�:F>@NF96äå8�DdMOã;PO8�TxD�PO8»>V9EK4WVãÇHv8�H´ìÇõ�B;>@T�DFTOT�>LT?M]TSMUB;8ÀèE9ÇHv>V9E:GNFä)Nkêv<?8�K�M1K�849jMOPU8=T>V9�MOB;8�T æ 8�84â;>@9;:/â;PONvK�8�H;ã;PU8��6>Vä"MUB;8�8�øFNkWVøk8�HÃâ;PUNk:FP]D�á&>LT1K�Nk9ETU>@Hv8�PU8=HÃDkT1D�á�Ndøjò>V9E: æ >V9EH;N æ MU8�á�â;W@D�MU8kï~MUBE8/á�D�MOK]BôêÇ84M æ 8�849ôMUBE8/MU8�áGâEW@D�MU8ÈD�9ÇHñMOB;8ÈTUã;ê >Vá/D�:k8äåNFPOá�>V9;:ÈMUB;8�>@9;â;ã;M�èE8�W@H æ >@W@W0êC8�êC8�M�MO84P æ B;849 MOB;8�á�NdøY>V9E:�MU84á�â;WLDdMO8�>LT�K4WVNjT�8ÀMONMUB;8�K4849jMUPO8ÀN�äD�9JNFêv<?8=K!M=ì� õ�B;84ðJD�PO8»H;NFá/D�>@9Ã>@9EHv8�âÇ8�9EHv8�9kM»D�9EHÃ8�DkT�ð/MON�8�îYMUP]DFK�M�ì

� �! � 0+*#"5"5)+8@$ '(,)$�%*�$�ó8�ãETU8GMUB;8Gäåã;9EK�MU>@NF9 T�84M�C´í �&%�' �)( � �(� �+* æ B;>LK]BóPO84âEPU8=T�8�9kM]T1äåNkã;P(D�PO>�MOB;á�8�MO>@KGNFâ;ò84P]DdMU>@NF9ÇTGMUBED�M/äåNFPOá MUBE8ñT�8=K�Nk9EH NkPOH;84P/9;NvHv8=T �å>yì 8kì � D�PO:FãEáG8�9jMOT6�!ì¿õ�B;8,'�ïò]ïmDF9EH

Page 5: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

�65�� tG[Ocj�]½{op[��;�j^�ck�À^�cj¼G�2opnO`?e4_2g)o�[Ozao�[Os�zaÌ�o

� NFâC84P]DdMONFP]TÀBED øF8�MOB;84>@P�ãETUãED�WSá�8�D�9E>V9;:jT æ B;>@WV8��ÃPU8�â;PO8�TU849jMOT ö â;PON�MU8=K!MO8�H ��Hv>@øY>@TU>VNk9æ B;>@K]B/>LT"MOB;81ãETUãED�WÇHv>VøY>LT�>@NF9/NkâÇ8�POD�MUNkP8�î;K�8�âvMMUBED�MSD(Hv>@øY>@Hv8�êjð J48�PUN(:k>Vøk8�TD(PO8�TUã;WVM¿N�äJ484PONEì à :F8�9;84P]DdMO8�HGâ;PONF:kPODFáÍMUBED�MmâC84PUäåNFPOáG8=H�âED�PUMU>LK�ãEW@DFPUW@ð æ 84W@WE>LTmTUB;N æ 9�>V9ÈèE:Fã;PO8 � ì

��������������� ®��� ����� ���������� ���� ® � ®��� � ��� �� �������� ������ ! �� ��� �� "��� ����!�!� ������#�$������%��� �!&��� ! ��'�� ����� �� � ��� �!&(�� �)*�!� � ®��+�(�� �, �����$��$��� �� �) ����� �� ! '�� "��������� ��� ���%����� ���- �����£�)!�!�*� � ®��!���� ! ������ �.!.´£/�!,+���� �)*�!�!� � ®��� ! ��� �� ����+��� �!�!���!� ���������%������ �+�����*� ����!.��+� �!� � ® ���� �� � �����£�)!�!�*� ��� �� ����� ��*�!���� �, ������ "�*� ����� �� �) ������ �� �)��� "�*�����0� �!� ���%�� �� ����� "�*� ���� �� '�� "�*�'�� �) �!���!�!�

��� � ¹21E¹ � ��[]cj[U_�^4`?[!¼G\F_?e=�4_�^�bÍfLe4_m`?�k[�n]e�o�ckzS\F_?e=uks�[Ob

õ�B;8�NkãvMUâ;ã;MRN�ämDF9YðJâEPUNk:FP]D�á >LT»D43ENkD�MU>@9;:6âCNF>@9jMR9Yã;á�êÇ8�P æ B;>LK]BÆá�ãET?M»>V9ÇHv>@K�DdMO8æ B;>@K]B NFäSMOB;8/NFêv<?8=K!M]TÀN�ä�>V9jMU8�PU8=T?M�>LT�K4ã;PUPO849jMOWVð >@9 >�M]T(>@9;â;ãvM(èE8�W@H~ìhõ�B;>LTÀ>@T�DFK]B;>@84øk8�HDFT�T�BEN æ 96>@96èE:kã;PO8F� æ B;8�PU8 -�>@TSMUBE8(9jãEá�êC84P�N�ä"K�WLDFTOT�8=TSNFä0>@9kMO84PO8�T�M�ï65 (�;87:9 67$C>LT2MUBE8NFãvMOâ;ãvM1ødD�W@ã;8(N�ähMUB;8(8�øFNkWVøk8�HÈâEPUNk:FP]D�á D�9ÇH<; >@T�DGK4NF9ET�MODF9jM�ì

uv[]�=opco|f ,>= ¶ Ò�:?A@ µCB ,LÕ�D �k��0 0)`?�j[]c`?�k[�e=u�½{[OnO`2opz¿n]s�^�zazao|Åj[!¼/^�zFE"G�H0I!J�K"L�M:NPO

[]spza[1o|f ,>= ¶ Ò�:?A@ µCB(Q ���v} 0 0`?�k[�e=u�½{[OnO`2opz¿n]s�^�zazao|Åj[!¼/^�zFH!RSG�T"TVU

ÁpÁpÁCÁpÁpÁÇÁpÁpÁCÁpÁpÁ[]spza[1o|f ,>= ¶ Ò�:?A@ µCB(Q , o|Õ?�"00W0}2�jo�W0} 0 0`?�k[�e=u�½{[OnO`2opz¿n]s�^�zazao|Åj[!¼/^�zFH!RSG�T"TYX

ÁpÁpÁCÁpÁpÁÇÁpÁpÁCÁpÁpÁ[]spza[1o|f ,>= ¶ Ò�:?A@ µCB(Q , cFÕ��800W0}2�[Z\D 0 0`?�k[�e=u�½{[OnO`2opz¿n]s�^�zazao|Åj[!¼/^�zFH!RSG�T"TYN

[]cj¼ko|f[]cY¼ ]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]^]

_^_^_^_^_^_^_^_^_^_^_^_^_^_^_^__^_^_^_^_^_^_^_^_^_^_^_^_^_^_^__^_^_^_^_^_^_^_^_^_^_^_^_^_^_^__^_^_^_^_^_^_^_^_^_^_^_^_^_^_^__^_^_^_^_^_^_^_^_^_^_^_^_^_^_^__^_^_^_^_^_^_^_^_^_^_^_^_^_^_^__^_^_^_^_^_^_^_^_^_^_^_^_^_^_^__^_^_^_^_^_^_^_^_^_^_^_^_^_^_^__^_^_^_^_^_^_^_^_^_^_^_^_^_^_^__^_^_^_^_^_^_^_^_^_^_^_^_^_^_^__^_^_^_^_^_^_^_^_^_^_^_^_^_^_^_`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^``^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^``^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^``^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^``^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^``^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^``^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^``^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^``^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^``^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^``^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`^`

a^a^a^a^a^a^a^a^a^a^a^a^a^a^a^aa^a^a^a^a^a^a^a^a^a^a^a^a^a^a^aa^a^a^a^a^a^a^a^a^a^a^a^a^a^a^aa^a^a^a^a^a^a^a^a^a^a^a^a^a^a^aa^a^a^a^a^a^a^a^a^a^a^a^a^a^a^aa^a^a^a^a^a^a^a^a^a^a^a^a^a^a^aa^a^a^a^a^a^a^a^a^a^a^a^a^a^a^aa^a^a^a^a^a^a^a^a^a^a^a^a^a^a^aa^a^a^a^a^a^a^a^a^a^a^a^a^a^a^aa^a^a^a^a^a^a^a^a^a^a^a^a^a^a^abcbcbcbcbcbcbcbcbcbbcbcbcbcbcbcbcbcbcbbcbcbcbcbcbcbcbcbcbbcbcbcbcbcbcbcbcbcbbcbcbcbcbcbcbcbcbcbbcbcbcbcbcbcbcbcbcb

dcdcdcdcdcdcdcdcddcdcdcdcdcdcdcdcddcdcdcdcdcdcdcdcddcdcdcdcdcdcdcdcddcdcdcdcdcdcdcdcddcdcdcdcdcdcdcdcde^e^e^e^e^e^e^e^e^e^e^e^e^e^e^e^ee^e^e^e^e^e^e^e^e^e^e^e^e^e^e^e^ee^e^e^e^e^e^e^e^e^e^e^e^e^e^e^e^ee^e^e^e^e^e^e^e^e^e^e^e^e^e^e^e^ee^e^e^e^e^e^e^e^e^e^e^e^e^e^e^e^ee^e^e^e^e^e^e^e^e^e^e^e^e^e^e^e^e

f^f^f^f^f^f^f^f^f^f^f^f^f^f^f^ff^f^f^f^f^f^f^f^f^f^f^f^f^f^f^ff^f^f^f^f^f^f^f^f^f^f^f^f^f^f^ff^f^f^f^f^f^f^f^f^f^f^f^f^f^f^ff^f^f^f^f^f^f^f^f^f^f^f^f^f^f^ff^f^f^f^f^f^f^f^f^f^f^f^f^f^f^f

0

T

(n-1)*T

i*T

......

... ...

ProgOut

Background

Class 1

Class i

Class n

... ...

... ...

,å^�0 , u 0��� � ¹0gE¹ t�^�\k\jopcj�(e4f´\k_?e���_�^4b e�ik`?\kik`"`?e(^4c�e=u�½{[OnO`mn]s�^�zazao|ÅYn!^�`?ope=c

� �ih � 0+*#"I'($�)+* � ��"%"+)58�$�'(,)

õ�B;8�èEMU9;8=TUTÀNFäSD6âEPUNk:FP]D�á >V9ñMUB;8�âCNFâ;ã;WLDdMO>VNk9ñ>LTÀK4D�WLK�ãEW@D�MU8�HñêYð ãET�>@9;:Ã>�M]T(Hv8�MO8�K!MO>VNk9POD�MU8(D�9EH6ä¥D�WLTU8�D�WLD�POá&POD�MU8ÀNF9ÃMUB;8ÀMOPODF>V9E>V9;:�>@á/D�:F8=TxD�9EHÃ>LTxNFêvM]D�>@9;8�HJDFT2äåNkWVW@N æ T�C

Page 6: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

� []ck[O`?opn � _?e���_�^4b(b(o�ck�Rf@e�_�tGijs|`?op\jsp[�g)s�^�zaz � uF½y[]nO`mZ�[O`?[]nU`?o�e�c �85 �

!Fì à â;âEWVð�MUB;8xâEPUNk:FP]D�á DFTD»á�NdøY>V9E: - � - � KJ>@T"MOB;8�TU>�J�8�N�äCMUB;8x>@9;â;ãvMmèE84WLH+� æ >@9EHvN æMU8�áGâEW@D�MU8ÈMONÆ8�DkK]B N�äxMOB;8/äåã;W@W2MUP]D�>@9;>V9E: >Vá/D�:k8�T�D�9EH NkêvMODF>V9 MOB;86NkãvMUâ;ã;M�ødD�W@ã;8�TN�ä1MOB;8�â;PONF:FP]D�á DdM/8=DFK]Bëâ;>Vîv84W�âCNkTU>�MO>VNk9~ì � DFêÇ8�W28=DFK]BëâE>�îv84WxâCNkTU>VMU>@NF9 æ >VMUB MUBE8E H;8�MU8=K!MO8�H GCNFêv<?8=K!MRDkK4K4NFP]Hv>V9E:�MON/MUBE8�D�W@:FNkPU>VMUBEá Hv8=TUK4PU>@êÇ8=H�>V9ÆèE:Fã;PO8 �;ì´Q2D�W@W~MOB;>@TH;DdM]D�T?MOPUãEK�MUã;PO8(D/Hv8�MO8�K�MU>@NF9Já�DFâ~ì

� ìxí)>V9EHÃMOB;8�K�8�9kMOPU8=T�N�ä�;����)&8 $ 1 ; 4 +�-@$ &)( & 1$ ;0-@/��dìEõ�B;>LTx>LTxHvNF9;8�DkTSäåNFW@WVN æ T�C� � K�D�9 MUB;8ÆH;8�MU8=K!MO>VNk9 á/DFâ äåNkP6D�9 NFêv<?8=K!M/N�äÀ>@9kMO84PO8�T�M�ì ��B;8�9�NF9;8�>LT�äåNFãE9EHá/D�POX MUBE>@T�âÇNk>V9jM�DFT(MUB;8ÈK4849jMUPO8�N�ä2MUB;8ÈNkêv<?8�K�M�D�9EH K4NF9jMU>@9Yã;8GMUB;86TOK4DF9 K5� �â;>Vîv84WLTxW@D�MU8�P�ì

�;ìx7ÆDdM]K]BGMUB;8=T�8 E|Hv84MU8�K�MU8=H GFNkêv<?8�K�MOT æ >VMUB�MOB;81XY9;N æ 9�WVNvK�DdMU>@NF9ÇT"N�ä´8�DkK]BGNFäÇMOB;8 E MUPOã;8�GNFêv<?8=K!M]T2DF9EH6MUB;8�>VPxK�WLDFTOTU8�T�ì à á/DdM]K]BÃ>LT�K�NF9ÇT�>LHv84PO8�H/MUN�NvK4K�ãEP2>Vä0MOB;8(Hv8�MO8�K�MU8�HÃNFê;ò<?8�K�Mm>@T æ >�MOB;>V9Èõ � � � D à�� Q � â;>Vîv84WLTN�ä�>VMOT¿XY9;N æ 9�MUPOã;81W@NvK4D�MU>@NF9~ì�õ�B;8RHv8�MO8�K!MO>VNk9POD�MU8 ��D�9EH6MUBE8Àä¥D�WLT�8(D�WLD�POá P]DdMO8�� �GD�PO8»MUB;8�9�K4NFá�â;ãvMO8�H´ì

�Eì�QSNFá�â;ãvMO8ÀMUB;8ÀèEMU9;8=TUT1DkT�T�B;N æ 9J>@9J8%�jãEDdMO>VNk9 !kì

ý{ÿ K �dù=ù���� ��� ��� ��� ��� � '�� � � !�(� ��� � !��

æ B;84PO8 à DF9EH �ÍDFPU8GK�NF9ÇT?M]D�9jMOT æ B;>LK]BñPO8"3E8=K!M»MUB;8GPU8�W@D�MU>@øF8�>Vá�âCNFPUMOD�9ÇK�8�NFä¿ä¥D�WLTU8D�WLD�POá P]DdMU8Àøk84P]T�ãET�Hv84MU8=K!MU>@NF9�P]DdMO8Fì

��>�MOB�MOB;>LT¿Hv8�TU>@:F9~ïd>VM¿>@TmK�W@8�D�P)MOBEDdMMOB;81T�á/DFWVW@84P"MOB;8�è;MU9E8�TOT4ïdMOB;8xêC8�M�MO84PMOB;8xâC84PUäåNFPUòá�DF9EK�8kìjAC8�PUN»è;MO9;8�TOT>LT"MUB;8�>@Hv8=D�W;K�DFTU8Fï æ B;>LK]B/K�NkPUPO8�TUâÇNk9EH;ThMUNÀMOB;8�TU>�MOãEDdMO>VNk9�>V9 æ B;>LK]BD�W@WxN�ä�MOB;8�NFêv<?8=K!M]T�N�äR>@9jMU8�PU8=T?M/>@9 8=DFK]B K4W@DkTUT�DFPU8�K�NkPUPO8�K�MUW@ð äåNFã;9EH êYð MUBE8J8�øFNkWVøk8�Hâ;PUNk:FP]D�á æ >VMUB;NkãvM�D�9Yð�ä¥DFW@TU8�D�WLD�POá/T4ì

� ��� �B*�)+*�$ '(8>=�46,@?�467�ABA ' )C? = 7 467�A *�$ *�40�

õ�B;8xødD�W@ã;8�T"äåNkPMUBE81ødD�PO>VNkãETT�ðvT�MU8�á âEDFPODFáG84MU8�POT)ãETU8�HG>@9�MUB;8184îvâÇ8�PU>@á�849jMOT¿DFPU8xTUB;N æ 9>V96MOD�êEWV8 !Fì � � � ' � à õL� � � � �UA � >@TSMUBE8R9Yã;á�êÇ8�P2NFä0>@9EHv>@øj>LHvãEDFW@T2>@9ÈMOB;8RâCNFâEã;W@D�MU>@NF9~ï� � �?õL� � 7 �2Q � õ :F>@øF8�T6MUBE8ôâC84P]K�8�9jMOD�:k8ÆN�ä�MUB;8 êC8�T�MJ>@9EHv>@øY>@HvãÇD�WLTÃ>@9çMOB;8 K�ã;POPO849jMâÇNkâ;ã;WLDdMU>@NF9 MUBED�M�DFPU8JK�Nkâ;>V8=Hëã;9ÇK]BED�9;:k8�H MONñMOB;8�9;8�îYM�:F8�9;84P]DdMO>VNk9~ïQ D ����� D à õ �>@TÆMUB;8ëâC84P]K�8�9jMOD�:k8 N�ä/>V9ÇHv>VøY>LHvãEDFW@T >@9 MUBE8 9;84îjMÆ:k849;8�POD�MU>@NF9 MUBÇDdMóDFPU8ôMUNËêÇ8ëâEPUNFòHvãEK�8=H êYð K�PONkTOT�Ndøk84P=ï;7 '�õ à õL� � � D à õ �Ë>@T�MUBE8�âC84P]K�8�9kM]D�:k8(N�ä¿>@9EHv>@øj>LHvãEDFW@TR>@9ÆMUBE89;8�îYM/:F8�9;84P]DdMO>VNk9 MUBED�M/DFPU86MUNôêÇ8�â;PONvHvãEK48�HëêYð á�ãvMOD�MU>@NF9 �åMUBYãET � � �?õL� � 7 ��Q � õ'+Q D ����� D à õ � '�7 '�õ à õL� � � D à õ � � ! ����� ��ïmQ D ��� � Q � à�� Q � õ ��D17>@T1MUB;8(â;PONFêÇD�ê;>@WV>VM?ðÈMOBEDdM=ïE>@9ÆD/K�PONkTOT�Ndøk84P2NFâC84P]DdMO>VNk9ÃM æ N�MU8�PUá�>@9ED�WLT æ >@WVW0êÇ8�T æ D�â;âC8�H´ïQ D ��� � Q � à�� Q � í ' � Qñ>@T´MUB;8¿âEPUNkêED�ê;>@W@>�M?ðxMOBEDdMh>V9�DxK4PUNjTUTUNdøF8�PÇNkâÇ8�POD�MU>@NF9»PODF9EHvNFáT�ã;ê;MUPO848�T æ >@W@W;êÇ81T æ D�â;âC8�H � MOBjãÇTSQ D ����� Q � à�� Q � õ � D17 'ËQ D ����� Q � à�� Q �í ' � Q � ! ����� ��ï � � �?õL� à � 7 à�� H � �mõ � >LTGMUB;8 á/D�îY>@á�ãEá Hv8�âvMUBéN�äRMUB;8 P]D�9;òHvNFá�W@ðG:k849;8�POD�MU8=H�â;PUNk:FP]D�á/T¿>@9/MOB;8R>@9;>VMU>LD�W�âCNFâ;ã;WLDdMO>VNk9~ïY7 à�� H����mõ � >@TmMUB;8»á/Ddîv>Vòá�ã;á Hv84â;MUB/âC84POáG>VM�MO8�H�äåNkP¿â;PONF:kPODFá�T)PO8�TUã;WVMU>@9;:ÀäåPUNká K4PUNjTUTUNdøF8�P)DF9EHGá�ãvM]DdMO>VNk9/NFâC84PUòDdMU>@NF9ÇT4ïv7 à�� ÷ � � � D à õL� � � � :k>Vøk8�TmMUB;8(T�MUNkâ;â;>@9;:GK4NF9EH;>�MO>VNk9~ï;õÀï à ï ��D�9ÇHÃõ � � ò� D à�� Q �éD�PO8(DFTxHv8=TUK4PU>@êÇ8=HÃDFêÇNdøk8Fì

Page 7: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

�65=� tG[Ocj�]½{op[��;�j^�ck�À^�cj¼G�2opnO`?e4_2g)o�[Ozao�[Os�zaÌ�o� ·j²�� Ï �Y¹ � ^4_�^�b([U`?[O_?z¿ijza[!¼�fLe�_ ��� `a_�^4opcjopcj�ÀopcG`?�k[2`?�k_?[O[x¼j^�`�^�uY^4za[]z

� ^4_�^�b([U`?[O_?z .h^4z{r � opnO`?ik_?[Oz g)e=opc � o�nU`?ik_?[]z qm[O`?opcY^ � opnO`?iF_?[]z�)����� 4Ç�h}"w � Ô lFw �+. �]�=� �4�=� ���=�. 4Ew{}"walkt � g)Ô�} �!��� ��� ���g)q � ljl qS�h} . � �� �4��� �4���t � }��0}"w � Ô qS�0} . � �� � ��� � ��g)q � ljl g :��mÔxg . } .~q2t ���� ����� � ��g)q � ljl g :��mÔxg . * � Ôxg 5 �� 5 ��� 5 ��wyÔ2wy}"w{� 4 t��� Z . � } : � � �t��� Z . � } : 5 ��� ���t��� � .~Ô .~q2�0}"w � Ô�l �]�=� �4�=� � ���} �]�=� �]�=� �!�=�� �4� ��� ���� �!���=� �]�=��� �=�=���} � 4�.~q2�mÔxg . , \ko|�k[Os�z�0 � � �

� ���� × � � �������)Ù7���5��� ���

�ó8ÆãÇT�8=H MUB;PO848ÆHv>���84PO849jMÃH;D�MOD�êÇDFTU8�T�>@9éMUB;8Æ84îvâÇ8�PU>@á�849jMOT�ì �î;DFáGâEWV8 â;>LK!MOã;PO8�TÈDF9EHXF84ðóK]BED�P]DFK�MU84PO>LT?MO>@K�TRDFPU8G:F>@øF8�9ó>@9ôèE:Fã;PO8 �Eì~õ�B;8/â;>LK!MOã;PO8�T æ 84PO8�TU84W@8�K�MU8=HÆMONJâEPUNdøY>LHv8â;PUNkê;W@84á/T�NFä¿>V9ÇK�PO8�DFTU>@9;:6Hv>��ÈK�ã;WVM?ðFì H»DdMODFêEDFTU8 ! � �mDkT�ð � æ DkT1:F8�9;84P]DdMO8�H�MON6:k>Vøk8 æ 8�WVWHv8�èE9E8�HëNkêv<?8�K�MOT�D�:kDF>V9ÇT?M�D ã;9;>VäåNFPOá êEDFK]XY:kPUNkã;9EH´ì0õ�BE86â;>Vîv84WLT�NFä1MUB;8ÃNFêv<?8=K!M]T æ 84PO8:F849E84P]DdMU8=H ãÇT�>@9;: D ÷ D�ãETOT�>LD�9 :F8�9;84P]DdMONFP æ >VMUB�Hv>��C8�PU8�9kMÈá�8=D�9ET/DF9EH ødDFPU>LD�9EK48�TGäåNkP8�DFK]BÈK4W@DkTUT�ìkõ�BE8RK�Nk>V96â;>@K�MUã;PO8�T �¥HEDdMODFêEDFTU8 � � æ 8�PU8�>V9jMU8�9EHv8=H/MUN�êÇ8»T�Nká�8 æ BED�MmBED�P]Hv8�PD�9EH æ 84PO8ÀMOD�Xk849 æ >�MOBÆD6QxQ H K�D�á�84P]DGNdøF84PxD�9Yã;á�êÇ8�P1N�äH;D ðvT æ >�MOB PU8�W@D�MU>@øF8�WVð6TU>@á�ò>VWLD�P/>@WVW@ã;á�>@9EDdMO>VNk9~ì �a9 MUB;8=T�8 âE>@K�MUã;PO8�T�MOB;8 êEDkK]Xj:kPUNkã;9EH ø DFPU>@8�T/TUW@>V:kBkMOWVð >V9�Hv>��C8�PU8�9jMD�PO8�DFTSN�ä0MUB;8À>@á�DF:F8»D�9EHÃêÇ84M æ 8�849Ã>Vá/D�:k8�T2D�9EH6MUBE8»Nkêv<?8�K�MOTmMUN�êC8ÀH;8�MU8=K!MO8�H6DFPU8»á�NFPO8K�NFá�â;W@8�î´ïSê;ãvMÃT�MU>@WVWRPU8�:Fã;WLD�P=ì¿õ�B;8ÆPO8�MO>V9ÇD â;>@K�MUã;PO8�T �¥H;D�MODFêEDFTU82� � æ 84PO8�MODFXF8�9 êYð Dâ;PUNFäå8�TOT�>@NF9ÇD�W¿â;BEN�MUNk:FP]D�â;BE84P æ >VMUB T�âC8�K4>@DFW2DFâ;âED�P]DdMOãET�D�MGDñK4WV>@9;>LK6DF9EHëK�Nk9jMOD�>@9 øF8�PUð>VPOPU8�:Fã;WLD�PÀNkêv<?8�K�MOT(Nk9 D�øk84POðñK�W@ãvMUMU84PO8�HôêEDkK]XY:FPONFã;9EH~ì~õ�B;8/NFêv<?8=K!MO>Vøk8/>@TÀMON�èE9EHôM æ NK�WLDFTOT�8=T¿N�ähPU84MU>@9ED�WCâEDdMOB;NFW@NF:k>V8=T �GBÇD�84á�NkPUPOBED�:k8�T¿DF9EH/á�>LK�PON�D�9E84ã;PO>@TUá/T4ì � NFMU8�MUBED�M2>@98�DFK]BÃN�ähMUB;8(H;D�MOD�êÇDFTU8�TSMUB;8ÀêEDkK]XY:FPONFã;9EH6K�NFãE9kM]TxDFT�D�K�WLDFTOT4ìvõ�B;8ÀNkêv<?8�K�MU>@øF8»>@T2MON�èÇ9EHMUB;8(W@NvK4DdMO>VNk9ET �¥K4849jMUPO8�T6�SN�äD�W@W�MUB;8(Nkêv<?8�K�MOT�NFä)>@9jMU84PO8�T�Mx>V9�8=DFK]BÃK4W@DkTUT�ì

� � ���Y��?��

õ�B;>@T�T�8=K!MO>VNk9 â;PU8=T�8�9jMOT�DÆTU84PO>@8�T(NFä2MOB;8È84îYâC84PO>@áG8�9jMOT�Nk9ëHv8�MO8�K�MU>@NF9 â;PONFê;W@84á/T(NFäx>V9vòK�PO8�DFTU>@9;:ôH;>�ÈK�ãEW�M?ð æ >VMUB�Hv>���84PO849jMÈK�WLDFTOT�8=T�NFäR>@9jMU84PO8�T�M�ì¿õ�BE8JPO8�TUã;WVMOT/DFPU8�K�NkáGâÇD�PO8�Hæ >�MOB�MUB;NjT�8xNkêvMODF>V9;8=H�ãETU>V9;:�DÀ9E84ã;P]D�W;9E8�M æ NFPOX�D�â;âEPUNjDFK]B�äåNkP¿NFê;<?8�K!M2Hv8�MO8�K!MO>VNk9�NF9�MUBE8TUDFáG81HEDdMODFêEDFTU8�T � � !kï ��� &yìFõ�BE8xáG84MUB;NvHGãETU8�H æ DFT)MOB;81TUDFá�81DFT)MUBÇDdMSTUB;N æ 9G>V9/TU8�K!MO>VNk9!Fì�!Fïv8�î;K484âvM�MUBÇDdM�T�MU84â � æ DFT�PO84â;WLDFK48�HÃêjðÃD�9E84ã;P]D�W´9;84M æ NkPUX�ì

Page 8: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

� []ck[O`?opn � _?e���_�^4b(b(o�ck�Rf@e�_�tGijs|`?op\jsp[�g)s�^�zaz � uF½y[]nO`mZ�[O`?[]nU`?o�e�c �85=�

Ô2ikb»uv[O_e4f´wyb�^4�=[]z61Y� Ô2ikb»uv[O_"e�f´w§b�^��=[Oz61v�4� ÔSijbRuv[O_e�f�wyb�^���[]z61E���Ô2eFÁje4f~o�cd`?[O_?[Oz{`Sg)sV^4zaza[]z61E� ÔSekÁke�f~opcd`?[O_?[]z{`2g)s�^�zaza[]z61v� Ô2ekÁke�f~opcd`?[O_?[]z{`2g)s�^�zaza[Oz61E�� opnO`?ik_?[�l�o � [������4�j����� � opnO`?iF_?[�lFo � [1�4� �4�F�%5=� � opnO`?iF_?[�lFo � [»�]� �����;�!�=�4�

.0^�z{r ,¥g)o|_?n]sp[]z2^4cY¼GlkÄdiY^�_?[]z�0�tG[]¼kopijbÍZ�o|É(nOijs|`yr-,¥g)e=opckz�0 �h[O_ar�Z�o|É(nOijs|`�, qS[U`?o�cj^�z�0,å^%0 , u(0 , n"0����� ¹��C¹ � uF½y[]nO`mZ�[O`?[OnO`?ope=c � _?e=uksp[]b(z¿e�f~wycknO_?[!^4zao�ck�ÀZ�o|É(n]iks|`yr

h%� � �F7���� = '(8�$�"546* �

õhDFê;WV8 � TUB;N æ T2D�K4NFá�âED�PO>LT�Nk9/N�ä~MOB;8RPO8�TUã;WVMOT2êC8�M æ 848496MUB;8RM æ N�á�8�MOB;NvH;T4ìvíENFP1QSW@DkTUT�!�åê;WLDFK]X�K4>VP]K�W@8�T6�)D�9EHÈQSWLDFTOT � �å:kPU8�ð�K�>@P]K�W@8�T6�0êCN�MOB�áG84MUB;NvH;TmDFK]B;>@84øk8�H�D ! �����ÍHv8�MO8�K!MO>VNk9POD�MU8 æ >�MOB ��� ä¥D�WLT�8/DFW@DFPUá/T�ìCíENFP�QSW@DkTUT � �å:FPO84ðÆT��jãED�PO8�T6��MOB;8/:F8�9;8�MO>@K�â;PONF:kPODFáGá�>@9;:T�ðvT�MU84á DFW@TUN DFK]B;>@84øk8�H ! ������Hv84MU8=K!MU>@NF9 P]DdMU8 æ >VMUB ���+ä¥D�WLTU8JDFW@DFPUá/T�ì � N æ 8�øF84P�MUBE89;84ã;P]D�WR9;8�M æ NFPOX TUðvT?MO84á%BEDkH�D ä¥D�WLTU8ñD�WLD�POá P]DdMO8ÆN�ä $ � � DdMJD Hv8�MO8�K!MO>VNk9çP]DdMU8ñN�ä!������6ì

� ·k²�� Ï 1;¹ g)e=b(\j^4_?opzae=cÃe�f"e�uF½y[]nO`�¼F[O`?[]nO`?ope=cÈ_?[]zaiksp`?zxe�cJ��Õ¥n]s�^�zaz������»\ko�nU`?ik_?[]z]Á;w§cj\jiF`2Åj[]s�¼zao � [�1C�]�:W�]�

.h^4z{r � opnO`?ik_?[]z � u�½{[OnO`2g)sV^4zaza[]zg)s�^�zaz]� g)s�^4zaz�� g)s�^�zaz?�

� []z{`mZ�[U`?[]nO`?ope=c�qS^4`?[%, � 0 �!��� �!�=� �!���*Y^4spza[1�Ss�^4_?b ÔS[]ik_�^4sEck[O`y¾)e�_?Ì � 3 � �q2^�`?[ , � 0 � []cj[O`?opnx\F_?e=��_�^4b(b(opcj� � � �

h%��� ,'() = '(8�$�"549*F�

�îvâÇ8�PU>@á�849jMOT æ >VMUBÃK4NF>@96â;>LK!MOã;PO8�TS:kD øF8RT�>@á�>VWLD�P2PU8=T�ãEW�M]T æ B;>LK]BÃDFPU8»T�BEN æ 9È>V9JõhDFê;W@8 �;ìH�84MU8�K�MU>@9;:�MUB;8ÀB;8=DFH;T2D�9EHÈMODF>VWLT2N�ä ��K�849jM]TS>LT2PU8�W@D�MU>@øF8�WVð�T?MOPODF>V:kBjMmäåNFP æ D�P]H´ï æ B;8�PU8RMUBE89;84ã;P]D�WE9;8�M æ NFPOX�DFâ;â;PONkDFK]BGW@8�HGMUN-!������ N�ä~Hv84MU8=K!MU>@NF9/P]DdMO8 æ >�MOB;NFã;M2D�9Yð�ä¥D�WLT�81DFW@DFPUá/T�ì

Page 9: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

�65%5 tG[Ocj�]½{op[��;�j^�ck�À^�cj¼G�2opnO`?e4_2g)o�[Ozao�[Os�zaÌ�o

��� � ¹ � ¹ .~cjs�^4_?��[]b([]cd`¿e�f´_?[O`?opcj^»\jopnO`?iF_?[

H�84MU8�K�MU>@9;:(B;8=DFH;TDF9EH�M]D�>@W@T¿N�ä � �ÀK�849jM¿K�Nk>V9ÇT">@TDÀHv>��ÈK�ã;WVMmâ;PONFê;W@84á�ï æ B;8�PU82MOB;8x9;84ãEPODFW9;8�M æ NFPOX1á�8�MOB;NvHÀPU8=T�ã;WVMU8=H»>V9(á/D�9Yð�ä¥D�WLT�8¿DFW@DFPUá/T�ì�õ�B;8¿:F8�9;8�MO>@K"âEPUNk:FP]D�á�á�>V9;:2á�8�MOB;NvH:kD øF8�MUB;8»>LHv8�DFWCPO8�TUã;WVMOT�ïjMUBED�M�>LT�ïYDFWVWCMOB;8ÀNFêv<?8=K!MOT2NFä0>V9jMO84PO8�T�M æ 84PO81äåNkã;9EH æ >�MOB;NFãvM1DF9jðä¥D�WLT�8ÀâCNkTU>�MO>Vøk8�T2äåNFP1DFWVW~MUB;8ÀäåNkã;PxNFêv<?8=K!M1K�WLDFTOTU8�T�ì

� ·k²�� Ï g;¹ g)e=b(\j^4_?opzae=cÃe�f"e�uF½y[]nO`�¼F[O`?[]nO`?ope=c6_?[]zaijs|`?zxe�cÃ�4Õ§nOsV^4zaz��������G\kopnO`?ik_?[]z]ÁEw§cj\jiF`2Åj[]s�¼zao � [�1;�4�:Wh�4�

g)e�o�c � opnO`?ik_?[Oz � u�½{[OnO`2g)sV^4zaza[]z�j[!^�¼j��� � `�^�ops��=� � �j[!^�¼j� �4� `�^4opsV�=���

� []z{`SZ�[O`?[OnO`?ope=c�qS^4`?[�, � 0 �!��� �]�=� �!��� �]�=�*Y^4spza[R�ms�^4_?b ÔS[]ik_�^4sÇck[O`y¾)e�_?Ì � � �85=� �=��Á �q2^�`?[ , � 0 � []cj[O`?opnx\F_?e=��_�^4b(b(opcj� � � � �

h%�! *�$ '()+7!= ' 8@$�"546*F�

õ�B;8mPO8�TUã;WVMOT0äåNFP~MOB;82PU84MU>@9ED1â;>LK!MOã;PO8�T0DFPU82T�ãEáGá/DFPU>LT�8=HÀ>V9�õhDFê;WV8 �Eì�QSNFá�âEDFPU8=H æ >�MOB�MUBE8PU8=T�ã;WVMOTmäåNFP2MOB;8RâEPU8�øj>@NFãÇTm>@á/D�:F8»H;DdM]D�êEDkT�8=TMOB;8RPO8�TUã;WVMOT�D�PO8RH;>@TOD�â;âCNF>@9jMU>@9;:Eì � N æ 84øk84P=ïMUB;8Àä¥DFW@TU8(D�WLD�POá POD�MU8À>LT�:FPO8�DdMOWVð/>@á�â;PONdøF8�HÃNdøF8�PmMOB;8(9;8�ã;PODFW´9;8�M æ NFPOXÈá�8�MOB;NvH´ìõ�B;8�PU8=T�ã;WVMOT»Ndøk84P»MUB;8GMOB;PU8�8/H;DdM]DÃêÇDFTU8�TÀT�BEN æ T�>@á�>VWLD�PÀMOPU8�9EH;T�C�MUB;8�:k849;84MU>LK�âEPUNFò:FP]D�á�á�>V9;:6áG84MUB;NvHÆDFW æ D ðvTx:F>@øF8=T�D6WVN æ 84Pxä¥DFW@TU8�DFW@DFPUá POD�MU8�äåNFP1MOB;8�TOD�á�8GHv8�MO8�K!MO>VNk9POD�MU8Fì

Page 10: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

� []ck[O`?opn � _?e���_�^4b(b(o�ck�Rf@e�_�tGijs|`?op\jsp[�g)s�^�zaz � uF½y[]nO`mZ�[O`?[]nU`?o�e�c �85�3� ·k²�� Ï �C¹ g)e�b(\Y^4_?opzae�c e�fe�uF½y[]nO`»¼k[O`?[]nU`?o�e�cJ_?[]zaiksp`?z1e�cJ_?[O`?opcY^�\ko�nU`?ik_?[]z]ÁÇwyck\jik`2ÅY[]s�¼Jzao � [%1�]�:W�]�

qm[O`?opcY^ � opnO`?iF_?[]z � u�½{[OnO`2g)sV^4zaza[]z�j^�[]b b(o�nU_?e

� []z{`SZ�[O`?[]nO`?ope�c�q2^�`?[�, � 0 �4� �]�=�*Y^�spza[��Ss�^�_?b Ô2[]iF_�^�sEcj[O`§¾"e4_?Ì ����3%5 �!���!�4�qS^4`?[ , � 0 � []ck[O`?opnx\k_?e���_�^�b(b(opck� �!� �=� � 5%5

h%�ih �%"CA A 7 4 � 7�) D:1 )+7�& �2� '��� " ABA 7 4 � �ô86BED øk8/MU8=T?MO8�H MOB;869E8 æ :F8�9;8�MO>@K6â;PONF:FP]D�á�á�>@9;: êEDFTU8�H DFâ;â;PONkDkK]BôNk9á�ã;WVMU>Vò{K4W@DkTUT�NFêv<?8=K!MRH;8�MU8=K!MO>VNk9Æâ;PONFê;W@84á/T1NFä>V9EK4PU8=DFTU>V9E:6Hv>��/K4ã;WVM?ðC�D�MOB;PU8�8�òaK�WLDFTOTx8�DkT�ðHv8�MO8�K!MO>VNk9 âEPUNkê;WV8�á�ï"DóäåNkã;P�òaK�WLDFTOT�áG8=Hv>@ã;á Hv>��ÈK�ã;WVM?ð K�Nk>V9éHv84MU8�K�MU>@NF9 â;PONFê;W@84á DF9EHDóøk84POðëHv>��/K4ã;WVM/M æ NFò{K4W@DkTUT�PU84MU>@9ED�W�âED�MUB;NkWVNk:FðëHv84MU8=K!MU>@NF9 â;PONFê;W@84á�ì �a9éD�W@W1K4DkT�8=T�Nk98�DFTUðÃDF9EHJá�8�Hv>@ã;á-Hv>�ÈK4ã;W�M?ð�Hv84MU8�K�MU>@NF9 â;PONFêEWV8�á�T2MOB;8�9;8 æ D�â;â;PONkDkK]B6â;PONvHvãEK48�HJMUBE8>@Hv8=D�WÇPU8=T�ã;WVMOT�ïkMUBED�Mm>@T�ïYD�W@W;MUBE8�NFê;<?8�K!M]T¿NFä~>V9jMU8�PU8=T?MS>V9È8�øF8�PUðGK�WLDFTOT æ 84PO8xäåNFã;9ÇH æ >�MOB;NFã;MD�9YðÈä¥DFW@TU8�D�WLD�POá/T4ìÇí;NFP ö á�>LK�PON ��D�9EH ö BED�8�á �/Hv8�MO8�K!MO>VNk9Æ>@9�MUB;8�øF84POðÃH;>�ÈK�ãEW�M»PU84MU>@9EDâ;>@K�MUã;PO8�T�ïvMOB;8�9;8 æ á�84MUB;NvH�PO8�TUã;W�MO8�HJ>@9 á�ãEK]B êC8�MUMU84PRâÇ8�P�äåNkPUá/DF9EK�8»MUBÇD�9�MUBE8�9;84ãEPODFW9;8�M æ NFPOXÈD�â;âEPUNjDFK]B~ì

1 )+7�& �2� '��-,. *F��"+& $ � ,. *�$ '()+7 = '(8�$�"546* �ô8�äåNkã;9EHñMUB;PO848Gá/D�>@9óPO8�DkT�Nk9ET æ BYðMUB;8RPU8=T�ã;WVMOT¿NF9/PO8�MU>@9ED(âE>@K�MUã;PO8�TSD�PO819;N�M2DFT¿:kNYNYH�DkTMUBENkTU81NF9/8=DFTUð�D�9ÇH/K�NF>@9/â;>LK!MOã;PU8=T4ìíh>@P]T?MOWVðkï;>V9 8=DFTUð6D�9ÇHJK4NF>@9�â;>@K�MUã;PO8�T1MUB;8(êÇDFK]XY:FPONFã;9ÇH6>LTxPO84WLDdMU>@øF8�WVð6ã;9;>VäåNFPOáJï æ B;84PO8�DkT>V9�MOB;8ñPO8�MO>V9ÇD â;>@K�MUã;PO8�TÃ>VM6>@TÃB;>@:FB;W@ðéK�W@ãvM�MO84PO8�H´ì � 8�K4NF9EH;WVðkïm>@9éMUB;8óPU84MU>@9ED â;>LK!MOã;PU8=T4ïMUB;8�PU86DFPU8/Nk9;W@ðñM æ NÆK�WLDFTOT�8=T(N�äx>@9jMU84PO8�T�M�ï0MUBED�M�>LT4ï ö á�>LK�PON ��D�9EH ö BED�8�á �;ï~ê;ã;M�MUBE84PO8D�PO8JDFW@TUNôTU84øk84P]D�W2N�MOB;84P/K�WLDFTOTU8�T�T�ãÇK]B DFT�øk84>@9ET�D�9EH N�MOB;84P�8�ðF8�D�9ED�MUNFá�ðFìõ�BYãETGMUBE8NFêv<?8=K!MOT2NFä09;NF9;òy>@9jMU84PO8�T�M2DFPU8»K�WLDFTOT�>VèE8=H/êEDFK]XY:kPUNkã;9EH´ì��{MxDFâ;âC8�D�P]TmMUBED�MSMOB;>@T�á/DFXF8�TmMUBE8êEDFK]XY:FPONFãE9EH/MONjNÈK4NFá�â;W@8�îÃMUNÈêC8�K�Nk9ET�>LHv8�PU8=HJDkTxD/T�>@9;:kWV8�K4W@DkTUT�ì;õ�B;>@POHvW@ðFïÇ>V9JMOB;8�8�DkT�ðD�9EHÈK4NF>@96â;>LK!MOã;PO8�T2D�W@WÇNFä~MUB;8RNFêv<?8=K!M]Tm>@9ÃD�K�WLDFTOTSDFPU8xMOB;8ÀTUDFáG8»T�> J48 æ B;84PO8�DkT¿MOB;8ÀT�> J48=TN�ä´MUBE8�NFê;<?8�K!M]Tm>@9È8=DFK]BÈK�WLDFTOT¿>@9ÈMOB;8�PO8�MO>V9ÇD(â;>LK!MUãEPU8=TSDFPU8 �jã;>VMU8»Hv>��C8�PU8�9kM=ìvõ�B;8RTU>�J�8�TmN�äö á�>@K4PUN���ødDFPUð(äåPONFá � � �1MON � � ��â;>Vîv84WLTD�9EH�MUBE81T�> J48=T"N�ä ö BEDF84á ��ødDFPUð(äåPONFá # � #2MON!�� � !��»â;>VîY8�W@T�ìYõ�BjãÇTMUBE8RTU>�J�8�T¿NFä ö á�>LK�PON �(D�PO8�T�MU>@WVW�TU>Vá�>@W@DFP�ïkê;ãvMmMOB;>LTm>LTm9EN�MmMOB;8RK�DFTU8äåNFP�MOB;8 ö BED�8�á �;ì0õ�B;>LT�á�>@:FBjM�êC8ÈMOB;8Èá/D�>@9ëPO8�DkT�Nk9óMOBEDdM�MUB;8ÃPU8=T�ã;WVMOT�äåNFPGHv8�MO8�K!MO>V9E:ö á�>@K4PUN��RDFPU8�á�ãEK]B�êÇ84M�MU8�PMUBÇD�9GMUBED�M¿N�ä ö BEDF84á �;ìdõ�B;>LT¿TUã;:F:k8�T�MOT)MOBEDdMMOB;81K�ã;POPO849jM¿T�84MN�ä´äåã;9EK�MU>@NF9ET2D�9ÇHGMU84POá�>V9ÇD�WLTSK�D�9;9;NFMmêC8RTUãEK4K48�TOT?äåã;W@W@ðGDFâ;â;W@>V8=H�MUNGHv8�MO8�K!MO>V9E:�NFêv<?8=K!M]Tm>@9MUB;8�TOD�á�8(K�WLDFTOT æ >�MOB D�WLD�PO:F8»ødD�PO>@D�MU>@NF9J>V9�TU>�J�8Fì

"%"54 $ 05*�4 � � 3 *�46'�A *�)?$ � �ó8�8�îvâÇ8�PU>@á�849jMU8=H æ >VMUBóDF9ñD�WVMU8�PU9ÇDdMU>@øF8�T�84MRN�ämMU84POá�>V9ÇD�WLTêEDFTU8�H�Nk9çD K4>VP]K�ã;WLD�PJT�84MÃNFä(äå8�DdMOã;PO8�T�ìSõ�B;8ñäå8�DdMOã;PO8�T æ 8�PU8ñK4NFá�â;ãvMO8�H�êÇDFTU8�H�Nk9çDT�8�PU>@8�T(NFä�K4NF9EK4849jMUPO>LK/K�>@POK4WV8=T(K�849jMOPU8=Hó>@9 >@9;â;ãvM�èÇ84WLH´ìhõ�B;>LT(MO84POá�>V9EDFWmTU8�M�äåNvK�ãÇT�8=HóNk9êÇNkã;9EH;DFPU>@8�T"P]DdMOB;84P)MUBÇD�9�PU8�:F>@NF9ET�ì9�a9GMUB;81K4NF>@9GDF9EH�PO8�MO>V9ÇDRâE>@K�MUã;PO8�T�ïdMUBE8xPU8=T�ã;WVMOT"êÇDFTU8�HNF9ÈMOB;>LTmMO84POá�>V9EDFW´T�84M�DFPU8»T�W@>V:kBjMUW@ð æ NFP]TU8xMUBEDF96MOB;NkTU8 æ >VMUBÃMUBE8»T��jãED�PO8�PO84:k>VNk9�äå8�DdMOã;PO8T�84M�ìhõ�BE>@T�T�ã;:k:F8=T?M]TÀMUBED�M�MUBE86W@NYK�D�W¿PO84:k>VNk9ôäå8�DdMOã;PO8�T�DFPU8/êC8�MUMU8�P�äåNFP�MUB;8=T�8ÃHv8�MO8�K!MO>VNk9â;PUNkê;W@84á/T4ì

Page 11: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

�63=� tG[Ocj�]½{op[��;�j^�ck�À^�cj¼G�2opnO`?e4_2g)o�[Ozao�[Os�zaÌ�o

�ó8�D�WLT�Nñ8�îvâÇ8�PU>@á�849jMU8=H æ >VMUBéDñHv>���84PO849jM�äåãE9EK!MO>VNk9 TU8�M�ì �ô8ÃBYðYâCN�MUBE8�TU>@TU8�HëMUBED�MK�NF9Yøk84PO:F849ÇK�8GáG>@:FBjM�êC8-�jã;>LK]XF84P(>Vä2MUB;8/äåãE9EK!MO>VNk9 ø DFWVãE8�T æ 84PO8/K�W@NkTU8�MON�MUB;86PODF9;:F8 � ò!Fï�!%�!ì �ó8ÆãÇT�8=H � "�� 1�� 1 +�-ëD�9EH &����Cï �§D�êETUNFW@ãvMO8ÆødD�W@ã;8FïmTU>@9;8ñD�9ÇH 84îvâÇNk9;849jM/MUN êEDFTU8���»>@9ëDFHEHv>�MO>VNk9ôMUN�MUBE8�äåNFã;P�DFPU>VMUBEáG84MU>LK�NFâC84P]DdMONFP]T ������� �RD�9EH�� �!ìhõ�BE8ÈHv8�MO8�K!MO>VNk9PU8=T�ã;WVMOT2D�PO8RTU>@áG>@WLD�P2MUN�MUB;NjT�8»êEDFTU8�HÈNF9ÈMOB;8Räåã;9EK!MO>VNk9JTU8�M�N�ähNF9;W@ðGMUB;8»äåNFãEP2DFPU>VMUB;á�84MU>LKNFâC84P]DdMUNkPOT�ìYQSNk9YøF84PO:F8�9EK�8 æ DkTSTUWV>@:FBjMOWVð�ä¥DkT?MO84P2MUP]D�>@9;>@9;:�MOB;8(K�NF>@96DF9EH6PO8�MO>V9ÇD�â;>LK!MOã;PU8=T4ïê;ãvMmTUWV>@:FBjMUW@ð�TUWVN æ 84P)äåNkP8�DFTUð(â;>LK!MOã;PU8=T4ì�õ�BE>@T¿TUã;:k:F8�T�MOThMOBEDdM � "�� 1�� 1+�-�DF9EH &�����á/D ð�êC8ãET�84äåã;W"äåNFPÀá�NFPO8�Hv>�ÈK4ã;W�M�âEPUNkê;WV8�á/T4ï�B;N æ 84øk84PRK4NF9ETU>LHv84P]D�ê;W@ð á�NFPO8�84îvâÇ8�PU>@á�849jMOD�MU>@NF9>@TxPO8��jã;>@PO8�H´ì

� �óÛSØ�Þ���Ý �Yß?ÛmØ �

õ�B;8S:kNkDFWFN�äEMUB;>LT0âÇD�âC84P æ DkT´MON»Hv8�øF8�WVNkâ�D�:k849;8�PODFW§ï=T�>@9;:FW@8ST�MODF:F8SáG84MUB;NvH�äåNFP"Hv8�MO8�K!MO>V9E:T�á/D�W@WvNFê;<?8�K!M]TN�äCá�ã;WVMU>@â;W@8�K�WLDFTOTU8�T)>V9�WLD�PO:F82â;>LK!MUãEPU8=TêEDFTU8�H�NF9�:k849;84MU>LKSâEPUNk:FP]D�á�á�>V9;:Çìà TU8�K4NF9EH;DFPUðG:FNjD�W æ DkTMONGK4NFá�âED�PO8xMOB;8RâC84PUäåNFPOá/D�9EK48�NFä~MUB;>LT2á�8�MUBENYH æ >�MOBÃD�9;84ãEPODFW9;8�M æ NFPOX�êEDkT�8=H/á�8�MOB;NvH´ìjõ�BE8�PO8�TUã;W�M]TmTUB;N æ MUBED�MS:k849;84MU>LKxâ;PONF:FP]D�á�á�>@9;:�K4DF9/êÇ8RãET�8=HMUN�:k849;8�POD�MU8xâ;PONF:kPODFá�T)äåNkPmNkêv<?8�K�MSHv8�MO8�K�MU>@NF9~ìjõ�B;81á�8�MOB;NvHÈD�â;âC8�DFPOTMUN�êC8RDFâ;â;W@>@K�D�ê;W@8MUN Hv8�MO8�K!MO>VNk9 â;PONFêEWV8�á�T�N�äRø DFPUðY>@9;:ñHv>��ÈK�ã;WVM?ðFìõ�B;8J:F8�9;8�MO>@KÃâ;PONF:kPODFáGá�>@9;: á�8�MOB;NvHD�WLT�NÃ:F>@øF8�TRêC8�M�MO84P�Hv84MU8=K!MU>@NF9óâÇ8�P�äåNkPUá/DF9EK�8�MUBEDF9óDÃ9;84ã;P]D�W"9;84M æ NkPUXJêEDkT�8=HñD�âEâ;PUNjDFK]BäåNFP�MUBE8�TUDFáG8Àâ;PONFêEWV8�á T�84M�ìõ�B;8À:F849E8�MU>LKÀâ;PONF:kPODFáGá�>@9;:�DFâ;â;PONkDkK]B6BEDkT2MUB;8ÀäåNkWVW@N æ >V9E:�W@>Vá�>VMOD�MU>@NF9ET�C

� õ�B;8/MOPODF>V9;>@9;: MO>Vá�8=T(äåNFP�MUB;8JK�NF>@9 â;PONFê;W@84á D�9EHôMOB;86PO8�MO>V9ÇD�â;PUNkê;W@84á D�PO8 �kãE>�MO8WVNk9;:Eì � Nká�8»NFä0MOB;8ÀPUã;9ÇTmMONYNFXÈW@NF9;:k84PSMUBEDF9;����BENFã;P]T2NF9ÃD �Gâ;PONYK48�TOT�NkP ' � õID à ò� � à D1Q �Çì �ó8�DFPU8À>@9jøk8�T�MU>@:kD�MU>@9;: æ D ðvT2N�ä)TUB;NkP�MO849;>@9;:GMUB;8ÀMOPODF>V9E>V9;:GMO>Vá�8�T�ì

� õ�B;8GáG84MUB;NvHó>@T»9;NFM(âED�PUMU>LK�ã;WLD�POW@ðÃ8��C8=K!MU>@øF8�>@9óHv84MU8=K!MU>@9;:JNFêv<?8=K!M]T æ >VMUB Hv>��C8�PU8�9jMT�> J48=T æ B;>LK]B�DFPU82>@9�MOB;81TOD�á�8xK�WLDFTOT4ï äåNkP8�î;D�á�â;W@82MUB;8xBEDF84á�NFPOPOBED�:k8�Th>V9GMUBE8xPU84MU>@9EDâ;>LK!MUãEPU8=T4ì õ�B;>LT0á�>@:FBjM0êC8SPO84WLDdMO8�H»MUN�MUB;82T�>@á�â;W@8mâ;>Vîv84WVòyêEDkT�8=HÀ>Vá/DF:F8äå8=DdMUãEPU8=T~ãETU8�H´ì� >@:FBôWV8�øF8�W>Vá/D�:k8�äå8=DdMOã;PU8=T æ B;>LK]BôK4NF9jMODF>V9 T�> J48G>@9jødDFPU>LD�9jMÀ>V9väåNkPUá/D�MU>@NF9ô9;848=HÆMONêÇ8(>@9YøF8=T?MO>V:jDdMU8=H´ì

� õ�B;8�K�WLDFTOT�>VèÇK4D�MU>@NF9ÆT�MUP]DdMO84:FðÃ84á�â;W@NdðF8=H >V9ÆMUB;8G:F8�9;84P]DdMO8�H�â;PONF:kPODFá�T1>@T»9;NFMR8�DkT�ðMUN�Hv8�MO84POá�>V9;8kì � N æ 84øF8�P�ïj>VähD�âÇD�PUMU>LK�ã;WLD�PSäå8�D�MUã;PO8»H;Nj8=T29;N�MxD�â;âC8�DFPS>@9ÃD�â;PONF:kPODFáMUBED�M æ NkPUXvT æ 84W@W§ïv>VM�K4DF9JêC8(>@9väå84POPU8=HÈMOBEDdMxMOBEDdMxäå8=DdMOã;PU8À>LT�9;N�M1>@á�âÇNkP�M]D�9jM�ì� � NFá�8À8�îvâC84PO>Vá�8�9kM]DdMO>VNk9Ã>LT�PU8%�jã;>VPO8�HÈMUNGèE9EHJ:kNjNvHÃødD�W@ã;8�T�NFä0MUBE8»ødDFPU>@NFãET2âEDFPODFáGò8�MO84P]T2äåNFPx8�DkK]BJH;>��84PO849jM1â;PONFê;W@84á�ì

� à MUBEPU8=T�B;NkW@H/õ �åèE:Fã;PO8/� � æ DkTãETU8�H�MUN�:k>Vøk8 ö è;îv8=H �(T�> J48�PODF9;:F8=T)äåNFPmHv84MU8�PUá�>@9;>V9E:MUB;8ÀK�WLDFTOT¿NFä´MUB;8»NFê;<?8�K!MSäåPUNká MUB;8RNFãvMOâ;ãvM�N�ä´MUBE8Râ;PONF:kPODFá�ì��ó8»D�PO8�>@9YøF8�T�MU>@:kD�MU>@9;:æ D ðvT2N�ä)èE9EH;>V9;:/>@9EHv>@øY>@H;ãED�W�MOB;PU8=T�BENFWLH;T2äåNFPx8=DFK]B�K�WLDFTOT4ì

� Þ��xØ1Û�� � �hÜ���� � �0ØSÙ��

�ó8 æ NFãEW@H�W@>VXk8(MUNÈMUBEDF9;XBHRP=ì@�jD�á�8�T1õ�BENFá-D�9EH HRP�ì´ACB;>Vò��R>LD�9E: � >Vã�äåNkP�ãETU8�äåãEWhHv>LT?òK�ãETOT�>@NF9ÇT�Nk9 >@á/D�:F8Jâ;PONvK�8�TOTU>V9;:ôD�9EH PO8�MUPO>@84ødD�Wyï+�"84MU8�P ��>@WLT�Nk9 æ B;NjT�8JêEDFTU>LK6:k849;84MU>LKâ;PUNk:FP]D�á�á�>V9E:/âEDFK]XdD�:k8 æ DFTRãET�8=HÆ>@9 MUBE8�â;PON�<?8=K!MÀD�9EH QSB;PU>LT� (D�á�ãÇT�>@9ETUXj> æ B;N6âEPUNFòøj>LHv8=HJDF9EHÃW@DFêÇ8�WVW@8�HÃMUBE8(PU84MU>@9EDGâ;>@K�MUã;PO8�T�ì

Page 12: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

� []ck[O`?opn � _?e���_�^4b(b(o�ck�Rf@e�_�tGijs|`?op\jsp[�g)s�^�zaz � uF½y[]nO`mZ�[O`?[]nU`?o�e�c �83��

� � � �0Ú��0Ø�Þ.���

��Á � ^4spsV^�_�¼E��Z»Á :RÁp� � _?e!¾¿cÇ�=gSÁ tÃÁ 1dg)e�b(\jiF`?[O_��So�zaope�cÇÁ�.0ck�=sp[O¾)ede�¼(g)spopÊ;z]�4Ô�Á ��1 � _?[]cd`?opn][OÕ :�^4spså�wyckn=Á ,{�83%5=�%0�dÁ � ^4c � �j^4f§� º Áp�;ÔSe�_�¼kopcE� � Áp���x[]spsp[O_!�Eq�Á .ÁE^�cj¼;*k_�^4cjn]e�cj[=�+*)Á Z»Á 1 � []ck[O`?opn � _?e���_�^4b(b(o�ck� 1�Sc�wycd`a_?e�¼kiknO`?ope=cGe�cG`?�j[1�mik`?e�b�^4`?opn .~ e=spik`?ope�c�e�fhg)e�b(\jik`?[U_ � _?e=�4_�^�b(zm^�cj¼Gw§`?zm�m\j\jspo|Õn!^4`?ope�cjz]Á;tGe4_?� ^4c��1^�ikf@b�^�ckcÇ�Fwyckn=Ájlk^�c *k_�^�ckn]opzan]ek�vg"^�spo|fLe4_?cjo�^ ,{�63%3%5%0��Á � [U_?cY^4_�¼Fe=cE� �1Á���^4cY¼Àg"^�_a_?opnUÌv���kÁ .¿Á 1=�ócj[Oik_�^�s�z{rFz{`?[]b f@e�_h^�iF`?e=b�^�`?o�nh`�^4_?�=[U`~s�[]^4_?cjopck�x^�cj¼_?[]n]e��=cjo|`?ope=cÀ^�\j\kspo�[]¼�`?e�uj^4_?[^4cY¼Rn]^�b(e=i��v^4�=[!¼�z?^4_´`�^4_?��[O`?z]Á ÔS[]ik_�^4s�Ô2[O`§¾"e�_?Ì�z]�4�0e=s Á 5FÁ�� �,{�83�3 �%0��=�]�=�87Y�=�]�%5�FÁ1g"^4z?^�za[]cd`!��Z»Á � Á���Ô2[]opuv[O_?�F� 40Á tÃÁ 1Rg)sV^4zazao|ÅY[O_ñ^4cY¼ËlF�kopfV`aÕ¥o�c�Â�^4_?o�^�cd`J�SiF`?e=b�^4`?opnñ}�^�_?�=[O`qS[On]e=��cjo|`?ope=c�ÔS[]ik_�^4sÇck[O`y¾)e�_?Ì�z]ÁjÔS[]ik_�^4sÇÔS[O`y¾)e�_?Ì�z]�k�he�såÁ 5�Á��� � ,{�63%3 �%0��=�=�!�87j�=��� 3

�dÁ � ^�¼k[O_!� � Á Z»Áp�ÀtGo|_�^�b(e=cd`?o ���kÁ q�Áp� º e=c��»Áp�(g)e4É([]s�¼ � Á 1(l�[]�=b([]cd`�^�`?o�e�c fV_?[][ëza�Y^4_?[]¼¾"[]op����`Rcj[Oik_�^�shcj[O`§¾"e4_?ÌFz1fLe4_(^4ik`?e=b�^�`?opn�Â=[]�jopn]sp[�¼k[O`?[OnO`?ope=cÇÁCÔ2[]iF_�^�shÔ2[O`§¾"e�_?Ì�z]�C�he�såÁ 5�Á��,{�83�3 �%0U�O�����87Y�O�d�4���Á � _?[][UÊ´�~Z»Á �kÁp�0�Ss�¼F_?opn��Ç�0gSÁ 1�.~ e=spik`?ope�cñe4f2[Ob(\jo|_?opn!^�sb(e�¼F[]spzRfLe4_Àb([O`�^4sps�iF_?�=opn!^4sm\F_?edn][]zazz{rFz{`?[]b�Ádwyc+1�xe � ^F���kÁ q1Á���Z2[]uÇ��ÀÁp��Z�e4_?op�=ek�jtÃÁp��*je��=[]s �FZ»Á � Áp� � ^4_ � e�cÇ�ktÃÁp�Fwyuj^F�:�Á���qmope=spek�q�Á 4~Á , [!¼kz]Á 0�1 � [Ocj[O`?opn � _?e���_�^�b(b(opck�È�63%3=��1 � _?edn][][!¼Fo�ck�=z�e4fh`?�k[RlF[]n]e�cY¼/�mcjc�iY^4s´g)e=cFfL[O_aÕ[]cjnO[=�vld`�^�cFfLe�_�¼ � cjop [U_?zaop`§rd� tGe�_?� ^4c��1^�iFfLb�^4cjc-,{�83%3=�%0��!��54Õ?�]�=��dÁ��xe � ^F���kÁ q�Á 1 � []cj[O`?opnx\F_?e=��_�^4b(b(opcj� 1ke=c�`?�j[x\F_?e=��_�^4b(b(opcj��e�f~n]e�b(\jik`?[U_?zu�r�b([]^�cjze4fcY^�`?ik_�^�sEza[]sp[]nO`?ope�cÇÁ;g"^4b»uF_?oV¼F�=[=�Yt�^�zaz]Á�1vtGwy} � _?[]zaz]�(4Çe�cY¼ke�cÇ��.0ck�=s�^�cj¼�,{�63%3 ��05�Á��xe � ^F���kÁ q1Á 1 � []ck[O`?opn»\F_?e=��_�^4b(b(opcj��waw�1;�mik`?e=b�^�`?opnRZ�opzan]e� [U_arÈe�f"qm[]ikz?^�ujsp[ � _?e���_�^�b(z]Ág"^�bRuk_?o�¼k��[=�vt�^4zaz]Á 1;tGw{} � _?[]zaz]� 4Ee=cY¼Fe=cE��.~cj��s�^�cY¼+,{�83�3��03�Á1tGn��1^]rd� � Áp� º o�spspopz]�FtÃÁp� � ^�_a`?e=cE� � Á º Á 1 � c�`?�j[^4\j\ks�opn!^�`?ope=c(e�fY�=[]ck[O`?opnm\F_?e=�4_�^�b(b(opcj�m`?enU�k[]b(opn!^�s´\F_?edn][]zazxz{rFz{`?[]b�Ávw§c�1��63%3 ��w .�. . g)e�ckfL[U_?[]cjn][»e=c;.0 e�spik`?ope=cj^4_arÃg)e=b(\kik`�^�`?o�e�cÇ��he�s Áv�dÁ � [O_a`?�E�Y�mijz{`a_�^4s�o�^�ÁYw .�.�. � _?[]zaz]�YÔS[O¾��)e4_?Ì ,{�83%3 �%0m�����OÕy������]�FÁxqme=��[O_?z]�0lvÁ �ÀÁp�´g)e=spe=bRujo ���kÁ tÃÁp�0t�^4_a`?opcE�0gSÁ .¿Áp� � ^�opck[Ord���kÁ gSÁp��*�op[]s�¼kopcj�F���ÀÁ :RÁp� � iF_?cjz]�}2Á �kÁp�hqmijn�Ìv��Z»Á º Áp���1^4uk_?opzaÌdrd�0tÃÁp� � n]sp[Ord�0tÃÁ 1~Ô2[]iF_�^�sck[O`y¾)e�_?Ì�zRf@e�_�^4ik`?e=b�^�`?opn�`�^�_?�=[O`_?[]n]e��=cjo|`?ope=cEÁYÔS[]ik_�^4sÇÔS[O`y¾)e�_?Ì�z]�j�0e=s Á 5FÁ��� � ,{�63%3 ��0U�=� ���"7j�=�65�����=Áxqme=o|`?uksV^�`!� :�Á 40Áp��miÇ� º Á º Á 40Áp�"Ô2^�n��d`?o��=^�sps � � Á .¿Áp�lF�jo � ikb»iF_�^F� q�Áp�)tGede=ckz]� � Á 1¿l�e=cj^4_qS[On]e=��cjo|`?ope=cGe4f´}�^�_?�=[O`?z .~b»uv[]¼j¼k[]¼Ào�cGlF[]¼kopb([]cd`!ÁdÔ2[Oik_�^�svÔS[O`y¾)e�_?Ì�z]���0e=s Á�5FÁ��� �-,{�83%3 �%0���4�=�"7j��������!��Áxqme�`?�E��tÃÁ º Áp� 14lFiF_? [OrSe�fFcj[Oik_�^�s�cj[O`§¾"e4_?ÌS`?[]n��jcke=spe=�4r�fLe4_´^�iF`?e=b�^�`?o�n´`�^�_?�=[O`Ç_?[]n]e=��cjo|`?ope=cEÁw .�. .ó}Ç_�^�ckz?^�nO`?ope�cjzme=c�ck[]ik_�^4sÇck[O`y¾)e�_?Ì�z]�j�0e=s ÁE�=Á � ,{�83�3=��0m��587d�=��]�FÁ�l��j[O_a_�^4�Ç���kÁ q1Á�� � e=��cj[O_!�=q�Á .Áp� � e�i � [O_�¼Fe=ikb��=�1Á 1 }"�k[[] e=spiF`?o�e�cY^�_ar»\F_?[OÕ¥\k_?edn][]zazae4_81d�mikÕ`?e=b�^�`?o�nÀf@[!^4`?iF_?[([O��`a_�^�nO`?ope�cJfLe4_Rzaik\v[O_?Â�opza[!¼Jn]s�^�zazao|Åjn!^4`?ope=cÆikzao�ck���=[Ocj[O`?opn(\k_?e���_�^4b(b(o�ck�kÁwyc+1��xe � ^F���kÁ q�Áp�ÇZ�[]uE���ÀÁp�ÇZ�e�_?op�=eF�~tÃÁp� *ke=�=[Oså�CZ»Á � Áp� � ^�_ � e=cE�´tÃÁp��w§uY^���:�Á��Çqmo�e�spek��q1Á 40Á, [!¼kz]Á 0�1 � []cj[O`?opn � _?e=��_�^4b(b(opcj�J�63%3 �1 � _?edn][][!¼Fo�ck�=zRe�f¿`?�j[�l�[]n]e=cj¼��Sckc�iY^�shg)e�ckfL[U_?[]cjn][��l�`�^4ckfLe4_�¼ � ckop [O_?zao|`yrd� tGe�_?�=^�c��1^4ikf@b�^�cjc-,{�83�3 ��0m����� 7d�F�!��O�kÁ�l��jo|_?Â�^�opÌ=^�_!��tÃÁp��}Ç_?op [!¼Foå��tÃÁ�� 14� cj[U`y¾"e4_?Ì *�ops|`?[O_�`?em¼k[O`?[OnO`�zab�^4s�s�`�^4_?�=[U`?z�opc��kop�=�»g)s�iF`a`?[O_uY^4nUÌ���_?e�ijcj¼kz]Ákw .�. .ó}Ç_�^�ckz?^�nO`?ope=ckzSe�cGÔS[]ik_�^4sÇÔS[O`y¾)e�_?Ì�z]�j�0e=s Áj�FÁ � ,{�83�3 �%0m� ���87�� �=�� ��Á1}C^�n�Ì [O`a`!� º Á �1Á 1 � []cj[O`?opn � _?e���_�^�b(b(opck��f@e�_�*k[!^4`?iF_?[RZ�opzan]e� [U_arÈ^�cj¼Èw§b�^���[�Z2o�zanU_?o�b(o|ÕcY^�`?o�e�cÇÁvw§c�1(*je�_a_?[]z{`xl;Á�, [!¼EÁ 0�1 � _?edn][][]¼kopcj��z�e�f~`?�j[��!`?�/wycd`?[O_?cY^�`?ope=cY^4s~g)e=cFfL[O_?[Ocjn][Re=c � [OÕcj[O`?opn6�Ssp��e�_?o|`?�jb(z8, w{g � �mÕ 3=�%0U�¿tGe�_?�=^�c��1^�iFfLb�^4cjcÇ� � cjop [O_?zao|`yróe�f�w§s�spopcje�opz�^4` � _?uj^�cj^4Õg)�Y^4b(\Y^�op��c�,{�83�3=�%0m���=�"7d�=��3�]�FÁ1}Ç[]sps�[U_���Áp�0�h[]spe�zaek�)tÃÁ 1"� n]e=cd`a_?e�s�sp[!¼ñ[O�F\v[O_?opb([]cd` 1 .~ e=spik`?ope�cñf@e�_�sp[!^4_?cko�ck��¼FopÉÀn]ijs|`opb�^��=[»n]s�^�zazao|ÅYn!^�`?ope=cÇÁCwyc+1 � opcd`?e�Õ *j[O_a_?[Oop_�^��´gSÁp�Ct�^�b([]¼k[=�EÔRÁ �kÁ�, [!¼Fz�0�1 � _?edn][O[!¼kopcj��z1e�f)`?�k[��`?� � e4_a`?ij��ij[]za[Rg)e=cFfL[O_?[Ocjn][1e=c��m_a`?o|ÅYn]o�^4sCwycd`?[]spspop�=[]ckn][=� � [O_?spopcÇ�El�\k_?opcj��[O_m�h[O_?s�^4�k� 4EÔ��mwU� e=s Á 3%3��FÁ�,{�83%3 �%0U�]� �87j���4�

Page 13: homepages.mcs.vuw.ac.nzhomepages.mcs.vuw.ac.nz/~mengjie/papers/ai99.pdf · 2001-11-23 · a * $! ' ' ' ! ' ' ' ! ÷

�63 � tG[Ocj�]½{op[��;�j^�ck�À^�cj¼G�2opnO`?e4_2g)o�[Ozao�[Os�zaÌ�o

�!��Á º ^4�Fb�^�cE�d�1Á tÃÁp�jlF[Oo�uv[U_a`!�ktÃÁ gSÁp� � e� [=�F�1Á���*j^!rd��ZRÁ �1Áp� � [O_?cj^�cY¼Fe=cE�F��Á tÃÁp��4Ç^ � e4`a`!�jgSÁ��l�`?[][Os�[�� º Á q1Á�� g)ijckcjopcj���Y^4b���q1Á �ÀÁ 1 Ô2[Oik_�^�s � _?edn][]zazaopcj�1e�fE}C^4_?�=[U`?zhopcÀ�So�zaopuks�[���tGijs|`?opza\v[]nOÕ`a_�^�sEwyq ^�cj¼�lk�mq w§b�^���[O_ardÁ�Ô2[]iF_�^�sEÔ2[O`§¾"e4_?ÌFz]�k�0e=s Á(5�Á�� � ,{�83%3 �%0U�]� ��3�Õ?�!� �d��65FÁ º o�ckÌ []sp[O_!���kÁ *)Á��;t�^�c�½yijcj^4`?�Ç� � Á l;Á 1 � []ck[O`?opn � _?e=�4_�^�b(b(opcj�Àf@e�_ � uF½y[]nO`SZ�[O`?[]nO`?ope�cÇÁYw§c�1�xe � ^�� �kÁ q1Á�� Z�[]uÇ���ÀÁp�dZ�e�_?op��ek�ktÃÁp��*je��=[]s ��Z»Á � Áp� � ^�_ � e=cE�FtÃÁp��wyuY^���:�Á��=qSope�s�eF��q�Á 4~Á(, [!¼Fz]Á 0�1� []cj[U`?o�n � _?e=�4_�^�b(b(opcj���83%3=��1 � _?edn][][]¼kopcj��z2e�f´`?�k[1lF[On]e=cj¼��SckcFij^�sÇg)e=cFfL[O_?[Ocjn][=�;tGe�_?� ^4c�1^�iFfLb�^�ckcÇ�jl�`�^4ckf@e�_�¼ � cjop [O_?zao|`yrd� ,{�63%3=�%0¿�=�=�87���� ��63FÁ º e=cE� �RÁp� � ^�¼k[O_!� � Á ZRÁ���g)e�ÉÀ[]s�¼E� � Á gSÁ 1~tGe4_?\j�je�spe=�=opn!^4sza�Y^�_?[!¼FÕå¾"[Oo����d`Rck[O`y¾)e�_?Ì�zx¾¿o|`?�^�\k\jspopn!^4`?ope=ckz�`?e2^4ik`?e�b�^4`?opnh`�^�_?�=[O`´_?[]nOe=�=cko|`?o�e�cÇÁ�w .�. .È}Ç_�^4cjz?^4nO`?ope=cjz´e�cRÔS[]ik_�^4s�Ô2[O`§¾"e�_?Ì�z]��he�s Á 5�Áp� � ,{�63%3 ��0U�=�63 �87j���4�=��4�FÁ º o�spzae�cÇ� � Á 1�Z2[] []spe=\kb([]cd`ôe4f � []ck[O`?opn � _?e=�4_�^�b(b(opcj� l�`a_�^�`?[]�=op[]z f@e�_ëijza[ opc `?�k[qSe�uvedg)ik\�Z2e=b�^�opcEÁ:2e�cje=iF_?z}"�j[Ozao�z]�Fq2tGw{}2�dZ2[]\Y^�_a`?b([]cd`)e4f´g)e�b(\jik`?[U_¿lFnOo�[Ocjn][�,{�83%3�5�0�d�=Á��v�Y^4cj�F�ñtÃÁ 1ô� \kop�F[]s|Õ¥uY^4za[!¼ ^�\k\k_?e ^4nU��`?e _?[]n]e��=cjopzaopcj� zab�^�sps e=u�½{[OnO`?z opc�s�^�_?�=[\jopnO`?iF_?[]z�ikzaopcj� cj[Oik_�^�s�cj[O`§¾"e4_?ÌFz]Á-wyc�1 � _?edn][][!¼Fo�ck�=z e4f `?�j[ �Sckc�iY^�s+q2tGw{}g)e=b(\kik`?[O_ l�n]op[]cjnO[ � e=z{`?�4_�^=¼FiY^4`?[ ld`?iY¼F[]cd`?z62 g)e=cFfL[O_?[]ckn][=� Z�[]\j^4_a`?b([]cd` e4fn]e=b(\kik`?[O_ zan]op[]ckn][=� q2tGw{}2Á }"q 3=��Õ �����-tG[Os�uve�ik_?ck[ ,{�63%3 ��0 �=�!Õy��5FÁ �ms�zae opc�1�d`a`?\�1 ��� �=e ^4cjcj^FÁ n]z]Á _?b(o|`!Á []¼kiÇÁ ^4i �]° b([]ck�]½{op[ � \j^�\v[O_?z]Á �d`?b(s����Á��v�Y^4cj�F�çtÃÁp�çg)op[]zaop[]spzaÌ�o �ç�RÁ 1çg)[]cd`a_?[!¼ º []op�=�d` wyckop`?o�^4s�o � ^�`?ope=c opc Ô2[]iF_�^�s ÔS[O`aÕ¾"e4_?ÌFz&f@e�_ � uF½y[]nO` Z�[O`?[]nU`?o�e�cÇÁ wyc�1 � _?edn][][!¼Fopcj�=z e�f `?�k[ })¾"[]cd`§r%l�[]n]e�cY¼%�mijz{Õ`a_�^�s�^�zao�^4c g)e=b(\kik`?[O_ lFn]op[]ckn][ g)e�ckfL[U_?[]cjn][�� �mijn�ÌFs�^4cY¼ ,{�83�3%3�0 ��34Õ ����Á �mspzae opc�1�d`a`?\�1 ��� �=e ^4cjcj^FÁ n]z]Á _?b(o|`!Á []¼kiÇÁ ^4i �]°  n � \Y^4\v[O_?z �  nUÕ§nOe=ckf§Á ��`?b(s