Fuzzy Prolog - the CLIP Lab

10 downloads 0 Views 227KB Size Report
straint Programming Application, Implementation of Fuzzy Prolog. 1 Introduction ... tial truth. Most of these systems implement the fuzzy resolution introduced by ..... unifying the goal with the clause and adding the constraint corresponding to.
 

  !"$#%$&(' *)+,-.-#0/1'2/(,30#54768#79;:=A@CBED FHGJILKNM1OJPQRILKNSUT(VXWYVCZ\[^]`_8VCWbaLOJPdceKfILM(ILWYWUIhgiI+[X](ILjNM_8KNkbIhjNIdlK2j(m PLnpo qdrsbt8uCvxwuCyzsU{|w,}e~Ls€{|w,sUƒ‚ƒ„psU{†…U‚‡uzˆ0vxw,‚Љ8…b‚‹uC ŒppŽC|L‘p’X“hŒp|‘”–•—L‘pŽ˜•š™L‘`•š^”›œ•€hž ¢£rsUt8uvxwuXyzsU{|w,}ežC~†Ÿps%L¤fŽX|sb{+Žp„p“h¥+‘^žCu¦€ hsUž`§U•—¨(™L©h‘`‚ƒ§ª•¡^w,sU”Cy?›œ•€uX|§0ž ~†s«‹u€{†¬J}Xv,y?uC…U‚b}p­ { s€{†„psU{†‚ƒsbvU®­ uz~†sU`©L}C¬Jw—¯ uCv,s ± {+‚ƒ²^sYv,§x‚‹ž~††upžX~*ŽC°L³˜Žp}p“pƒ‚Š™hwL‘`sU­ …U•š{+^”C‚ƒ…\›2uz•€h~Lžs7´dup~hv,‚‹~ µX¶X·p·X¸ ´duX~Lv,‚‡~N¨8©Lt+uX‚ƒ{ ¹?º¼»U½U¾¿8ÀX½pÁe sit†v,sU§xsU{|w*u~Lsb‰8{†‚ƒw,‚ƒ}X{=}X¬7uÃ+¥†ÄUÄbÅÆ³¼v,}pƒ}p„Ƥ`uC{+„p¥+uX„Xs£w,Ç+uCw yz}h~LsUƒ§*‚ƒ{|w,sbv,²XuXŠÈš²puC‡¥†s\~ÉÆ¥+ÄUÄbÅɤf}X„p‚ƒ…p¨RuC{8~=§x¥†Ê+§x¥+yzsb§Ë¬Ì}Xv,yzsYvduCt+t†v,}puX…Ç+sU§ Ê1sU…UuX¥+§xsz‚Šw%¥†§xsU§7uwxv,¥†w,ÇͲXuXƒ¥+sev,sbt†v,sU§xsU{|wuw,‚‡}X{Ê8uC§xs\~Î}X{u¥+{+‚ƒ}X{}X¬œ‚‡{|w,sbvxÈ ²XuXƒ§%}X¬œv,sUuX${L¥†yeÊ1sbv,§uX{8~͂Šw%‚‡§7~Lsb‰8{†s\~Í¥†§x‚ƒ{+„d„XsU{+sbvuC-}Xt1sbvuCw,}Cv,§7w,Ç+uCw%…\uC{ yz}h~LsU(~†‚ŠÏ(sbv,sU{|w2‡}X„p‚ƒ…U§UÐ Â sH„p‚ƒ²^s0w,Ç+sH~†sU…U‡uvuCw,‚ƒ²^suC{8~?t†v,}|…UsU~†¥†vuC1§xsUy?uX{|w,‚ƒ…U§ ¬J}XveÃ+¥+ÄUÄYŤN}p„p‚ƒ…?t†v,}X„XvuCyz§UИ€{up~+~L‚Šw,‚‡}X{f¨N¯œs?t†v,sb§xsU{|w7w,džsz‚ƒyzt+ƒsUyzsU{|wuCw,‚ƒ}X{ }C¬uX{Ƃƒ{hw,sYv,t†v,sbw,sbve¬Ì}Xvzw,dž‚ƒ§z‹uC{+„X¥8uX„Xsi…U}p{†…UsU‚ƒ²^s\~Ñ¥+§x‚ƒ{†„Ҝ¤`³RÓÕÔÖYÐ Â s*Ç8u\²^s ‚ƒ{+…b}Xv,t1}Xvuw,s\~¥+{†…UsbvxwuX‚ƒ{|w€Å͂ƒ{|w,}£ui³–v,}Xƒ}p„£§ªÅL§ªw,sUy;‚‡{ud§x‚‡yzt†ƒs?¯œuUÅÎw,Ç+uX{+×h§ w,}?w,Ç+‚ƒ§…U}X{+§ªwxvuC‚‡{|w,§§ªÅL§ªw,sUydÐ(؜džse‚ƒyzt+ƒsUyzsb{hwuw,‚ƒ}p{i‚ƒ§Ê8uC§xs\~Í}X{Íu*§ªÅL{|wuX…bw,‚ƒ… sbÙLt+uX{+§x‚ƒ}X{d}X¬˜w,džs§x}p¥Lv,…Us…U}h~†s%~L¥†v,‚ƒ{+„7w,Ç+s%³¼v,}pƒ}p„z…b}pyzt+‚ƒ‡uCw,‚ƒ}X{fÐ ÚۆܼÝ*ÞNß|à2áãâ K(nXnCäæåRWbPLGJPLaf]%lP1M1VCGJO‹jNaèç%jNSCVCWYZbILO‹j+Z,äL]é–PLa†OJSêå0WYP†aLWUIhgdgdO‹jNaN]FHPLj(ë k,ZbWbILO‹j+Z%åRWbPLa†WbILggdOJj(a*ì7í(í(GJOJSXI|ZbO‹P†j–](îxgdí(GJVCgdVCj+ZbIhZYOJPLjPhï â K(nXnCäÍå0WYP†G‹P†aNð ñ

)+#0/1&(3ò47ó`/(,30#

ô T(VWYVpkKNG‡ZiPhïeO‹j+ZbWYP1M1KNSCO‹jNa â K(nCnXäõé–P†aLOÌSO‹j+ZYPêé$PLaLOÌSåRWbPLaLWUIhgdgdOJj(aöTNI†kd÷fVXVCjAZYTNV M1VCø†VCGJPLí(gdVCj+ZzPhïkVXøLVXWbILGù â K(nXnCäöå0WYP†G‹P†a†ú£kYä1k,ZbVCgikCð ô TNVXkYVdkYä1k,ZbVCgikeWYVXí(GÌILSVZbT(VdO‹j1ë ï¡VCWbVCjNSCV*gdVXSUTfIhj(OÌkgûPLïHåRWbPLGJPLaÍüO‡ZbTÆIÍï¡K(nCnXäÑø|IhWbOJILj†ZeüT(OÌSUTöOÌkeIL÷(GJVZbPÎTNILjNM1GJV*ífIhWYë ZYOÌIhG–ZbWYK(ZYT–ð`lP†kZ7PhïœZbT(VXkYVkYä8kZYVXgikO‹gdí(GJVCgdVXj†ZZYT(V?ï¡K(nCnXäÎWbVXkYPLGJK1ZYOJPLjOJj+ZYWbP8M(KNSVpMÎ÷8ä é–VCVeOJjÉý é–VXV^þhÿ €]1V 1ILgdí(G‹Vpk«÷fVXO‹j(aZbT(VzåRWbPLGJPLahë RG‹ï¼kä1kZYVCg ý î   €] â WYOJG–åRWbPLGJPLakYä1k,ZbVCg ý lÑå  ILjNM ZYT(V â ëxåRWbPLGJPLaÆGJILj(aLKNILaLVêý é$é ªð%P|ü«VCø†VCWp]-ZbT(VCWbVüILkdj(P SCPLgdgdPLj gVCZYT(P1M=ï¡P†W?ï¡K(nXnCO‹ï¡ä8O‹j(aÉåRWbPLGJPLaILkO‡ZTNILk÷fVXVCj jNPhZYVpM=O‹j ý _ e l ªð2_8P†gVÎPhïZYTNVXkYV â K(nXnCä åRWbPLGJPLaÆkä1kZYVCgikPLjNG‹ä SCPLjNkYOJM(VCW*ZYT(Vï¡K(nXnCOJj(VXkbkPhï7í(WbVXM(OJSXI|ZYVpküT(VCWbVXI†kPLZYT(VXW kä1kZYVCgik%SCPLjNkYOÌM1VCWï¡KNnCnCäÍïšILSZbk%P†Wï¡K(nCnXäÎWbK(GJVXkXð ô T(VXWYVzOÌkj(PÍILaLWbVCVXgVXj+ZIL÷fP†K1Z%üT(OÌSUT ï¡K(nCnXäêG‹P†aLOÌS£gKfk,Zd÷fVKNkYVXM¼ðœlP+k,ZdPhï%ZbT(VCg KfkVÎgOJj1ëªgiI  GJPLaLOÌ S ¡ï¡PLWgdP8M(VCGJO‹j(aÆZYTNV SPLj ,K(jNS\ZbO‹P†jILjNMM1OJk ,K(jNSZYOJPLjPLí`VCWUI|ZbO‹P†jNk 0÷(K1Z%PLZYT(VXWkä1kZYVCgi!k ,KNkZ%KNkYVËé$#K "|ILkYO‹VXüOJSCn G‹P†aLOÌSý   $ªð

ô T(VCWbVËOJkIhGÌkPiIhjV +ZbVCjNkYOJPLjPhï SP†jNk,ZbWbILO‹j+Z%GJPLa†OJSeí(WbPLa†WbILggdOJj(aý l  ª]NüT(OÌSUT CS IhjgdP1M1VXG-GJPLa†OJSXk÷NILkYVXMP†jÑkVXgdO‹WbO‹jNaÍk,ZbWYKfS\ZYKNWYVpkCð ô TNOJk7ï¡WbILgdVCü«PLW "ÍSCILjgP1M1VXGJk7ZYTNV gOJj1ëªgiI£ï¡K(nXnCäÎG‹P†aLOÌS7ZbTNI|Z%OÌk«ZYTNVzPLj(GJä£PLjNVzüO‡ZbTkYVCgdOJWYOJj(adk,ZbWYKfS\ZYKNWYV†ð jZYT(V?PLZYT(VXW7TNILjNMOJjõý _1TNI  2GJPLa†OJSËí(WbPLa†WbILgdgOJj(adOÌkSCPLjNkYOJM(VCWbVXMIiKNkYVï¡K(G$ZYP8PLG ï¡PLWOJgíNG‹VXgVXj+ZYOJj(aigdVZYTNP8MNkï¡PLWWbVXI†kP†j(O‹jNa*üO‹ZYTK(jNSCVCWYZbILO‹j+Z,äLð îxj ZYTNOJkíNILífVXWX]«üHVÉí(WbPLí`P†kYVÆILj(PhZbT(VCWIhí(íNWYP+ILSUT ZYTfI|ZOJkgdPLWbVöa†VCj(VXWbILGOJj Z,ü«P ILkYífVpS\Zbk

Lðì5ZYWbK1ZYTAø|IhGJK(VüO‹GJG÷fVI Nj(O‹ZYVK(j(OJPLj PhïËkK(÷(ë€OJj+ZYVCWbø|IhGÌkP†j ý   ªð ì%jAO‹j+ZYVXWYø|ILG OJkzIíNILWZbOJSCK(GÌIhWzSCI†kVdPhï«K(j(OJPLjÉPhï«PLj(VdVCGJVCgdVXj†Zp]$IhjfMÆIK(j(O +K(VZYWbK1ZYT=ø|IhGJK(VdOÌkzI íNIhWYZYOÌSKNGJILWSXILkYVËPhïœTNI^ø8O‹j(adIhjOJj+ZYVCWbø|IhG¼÷(K(Z%üO‡ZbTP†j(GJä£PLj(VËVXG‹VXgVXj+ZXð ÿ1ðì ZYWbK1ZYTø|IhGJK(VËüO‹GJG˜÷fVËí(WbPLíNILa†IhZYVXMiZYT(WbPLK(a†T£ZbT(VËWYK(GJVXk«÷8äigdVXILjNk«Phï2ILj    ! " \ð ô TNVËM(V# Nj(O‹ZYOJPLjPhï$!% &' &()  #  " OÌkaLVXj(VCWUIhG€ð+îªZkYK(÷NkYK(gdVXk SP†j ,K(jNSZYOJøLVPLí`VCWUI|ZbPLWUk ÕZbWYOÌIhj(a†K(GÌIhW j(P†WYgikX](ý zlÑå €]†ILk gdOJj–]Lí(WbP1M¼]hVCZb S ]†M1OÌk ,K(jNS\ë ZYOJøLVÑP†ífVXWbIhZYP†Wbk ¡ZYWbOJILj(aLK(GÌIhWÎSPhëªj(P†WYgikiILk£gdI ¼]HkYK(g]0VZU S ]«I^ø†VCWUIhaLVPLí`VCWUI|ZbPLWUk šI^ø†VCWUIhaLVpkILk%ILWYO‹ZYT(gdVCZYOÌS?I^øLVXWbILaLVL]* +KNILkYO‹ë€GJO‹jNVXIhW%I^ø†VCWUIha†VL]8VZU S ILjNMT8ä+÷NWYOÌMPLí`VCWYë I|ZbPLWUk —SP†g÷(OJjNI|ZbO‹P†jNkPhïœí(WbVCø8OJPLKNk«PLí`VCWUI|ZbPLWUk ð + VILM(MêKNjNSVXWZUIhOJj†Z,äÉZbPÆIöå0WYP†G‹P†aÑSP†gíNO‹GJVCWKNkYO‹j(aêF«é$å -, zOJjNkZYVpILM PLï%O‹gdí(GJVë gVXj+ZYOJj(aIÎjNVCü ï¡KNnCnCäöWYVpkP†G‹K1ZbO‹P†jÆI†kPLZYT(VXWËï¡K(nCnXäöåRWbPLGJPLa+k7M1Pfð¼îxjöZbT(OÌkzü«I^ä†]˜üHVKNkYV ZYT(V÷(K(OJG‡ZbO‹j(a*O‹j(ï¡VCWbVCjNSCV%gdVXSUTNILj(OJkYgPhï$åRWbPLGJPLaf]^ZYT(VeSP†jNk,ZbWbILO‹j+ZUkRIhjNMiZYT(VXO‹WHPLí`VCWUI|ZYOJPLjfk í(WYP|ø8OÌM1VXMÉ÷8ä F«é$å ., eZYPöTNIhjNM(G‹ViZbT(VÍSCPLjNSCVCí1ZPLïíNIhWYZYOÌIhG ZbWYK(ZYT–ð + VÍWYVXí(WYVpkVXj+Z?O‹j1ë ZYVCWbø|IhGÌk0I†kHSCPLjNkZYWUIhOJj+Zbk P|ø†VCW0WbVXILGNj8K(g*÷fVXWbkHIhjNM/' &( 0 ! " 01ËILk0PLí`VCWUI|ZYOJPLjfk üO‡ZbTÎZbT(VXkYV?SP†jNkZYWUIhOJj†ZUkCð + VeTNI^øLV7ï¡PLK(jfM¼]8VLð aNð8O‹jÉý 2 +  €]1IhjÎO‹j+ZbVCWbí(WYVCZbIhZYOJPLj£PLï¼ZYWbK1ZYTø|IhGJK(VXk«ILk«OJj†ZbVCWbø|IhGÌk ÷(K1Z*ü«VÍILWYVií(WbPLí`PLjNO‹j(aÑï¡PLWzZbT(V3 NWUkZ?ZYOJgdV£ZYPöaLVCjNVCWUIhGJO‹nXVdZYT(OÌkSCPLjNSCVCí1Z*ZYPÑK(jNO‹P†jêPhï O‹j+ZYVXWYø|ILGJkXð + VzüOJGJG¼ZbILG "ÍIL÷fP†K1ZZYTNVCOJWK1ZYOJG‹O‹Z,äÍ÷`VCGJP|üzð ô T(VaLP†ILG8PhïNZbT(OÌk íNIhí`VCW OÌk2ZYPzkYT(P|üõTNP|ü O‹j+ZbWYP1M1KNSCO‹jNaï¡KNnCnCäWYVpILkYPLj(OJj(aeO‹jdIËåRWbPLGJPLa kä1kZYVCg SCILjÎí(WbP1M1KNSCV?I*í`P|ü«VCWYï¡K(G˜ZYP8PLG–ZYP£kYPLGJøLVzSP†gíNG‹V ÍK(jNSCVCWYZbIhOJj+Z,ä£í(WbPL÷(GJVCgikILjNM ZYPAí(WYVpkVXj+ZIhj O‹gdí(GJVCgdVXj†ZUI|ZbO‹P†j Phï*I â KNnCnCä å0WYP†G‹P†a ILkIõjfI|ZYKNWbILGeILí(í(GJOJSXI|ZYOJPLjèPhï F«é$å ., \ð ô T(VHWbVXkZ Phï(ZbT(VíNILífVXW2OÌk2PLWba†ILj(O‹nXVXM?I†k2ï¡PLGJG‹P|ü%kXð|_8VXSZYOJPLjiÿ7M1VpkYSCWYOJ÷`VXk2ZYTNV«GÌIhjNaLKNILaLV IhjNMÎZYTNVkVXgiIhj+ZYOÌSCkPLï2P†K(Wï¡K(nXnCäkä1kZYVCgðf_1VXS\ZbO‹P†jdaLOJøLVpkM1VZUIhOJGJk%IL÷fP†K1ZZYTNV?O‹gdí(GJVë gVXj+ZbI|ZbO‹P†jõKNkYOJj(a=F«é-å -, ð â O‹jNILG‹GJäL]œü«VSCPLjNSCG‹KfM1VÎILjNMõM1OÌkbSKNkbkdkP†gVÍï¡K1ZYKNWYVüHP†W " —_8VpS\ZYOJPLj $ \ð 4

< Y "?< - 5 Yý  ! D ,A),+-% =<  (  & ( ! ,  (CBD"_+_E F "?G < ' #H[ G < ' 3? # ' , J4@   K 'LT NM` ÎÛ Q9OOš8Þ QO  O Q pÛ+Pß S2ß|Û   POš8Þ Q O Q!Y+2á O—!Þ Q .   "P.Q"?<  (   &  !%,  ( &(%) &&%0R   & (  3 !@! &' &(%P F '% & H),%3% S%0R & D 3? # H " UT &&% S%WV# I">< XT &(%0R '%3RYV ( - #     &( 1 ` j " [T &&% S%\V ÎÛ Q9OOš8Þ Q ZV  ޖà2Û   <  (    O‹j+ZbVCWbí(WYVCZbIhZYOJPLP Z (]^@  ( ]) & %   & @) %0% %  `  "  1 ÎgdP1M1VCG (   £ï¡K(nCnXä£ïšI†S\) 1 Î  d g 8 P ( M C V G (   !  " * $ # 1  d  f ] eg&  Y! &  (  !@!   -  ? !;&(1  [   ] 3?    ? >   ( & + ) & %  8QJ 8Q   &N@  $ [  % & [ V #Y Y!  % & V    ?   U) & %   & @^) %0% %  D 3? ! $  1  ?  $ ( !%' &(  M   - ' & (0  ` ` g  ( -$ 1 gdP8M(VCG (   @ ?  (# ]! 1   & ] ! " $*1##1  "  1 gdP1M1VCG  ( ï¡K(nCnXäíNWYP†aLWUIh0  (  ?       `O` g _æKNjNM1VCW«ZbT(CV ."P†WbM(VCWbO‹j(af]†M1VXj(PhZbVXMÍ÷+Tä ?a` b_ \]+OJk ô T(V7GJVXI†k,Z `  & !–PLï-I?í(WbPLa†WbILE SCIhGJGJVXMÍZYT(TV ` 0 - ÎPhï$ZbT(Vzí(WbPLa†WbILX g _dð  a

K

–Û+à 7Þ8O Q $Û Q OYLá ô T(V 8VpM1í`PLOJj†ZRkYVCgiIhj+ZbOJSXk$ü«VHíNWYVpkVXj†ZœOÌk-÷fILkYVXM?P†j*IPLj(VCëªkZYVXíSP†jNkYV +K(VCjfSV«PLí`VCWUI|ZYP†W ð ô T(V%GJVXI†k,Z # 1VpM1ífP†O‹j+Z ? US!  " šO—ð VLð a"   " œOÌk ZYTNV7M1VXSCGJILWbIhZYOJøLVgdVXILj(OJj(a Phï2ZYT(Vzí(WbPLa†WbILg _d]NkPdOÌkV +KNILG˜ZYTP ?  ` a_ ð é–VZ _!÷`VIzï¡KNnCnCä£M(V# Nj(O‹ZYVeí(WbPLa†WbILg.Ihjf5M & ZYT(V %VXWY÷(WUIhjfMi÷NILkYV7PL4ï _ +ZYT(VXj£ZYTNV `   -  P|øLVXW - #     &( 1zOJkM1V! Nj(VpMI†k«ï¡PLGJG‹P|ü%k é–V,Z " [T &&% '%\V«÷`V?I*ï¡K(nCnXä -  !     &( ](ZYT(VXj b"   "?

Suggest Documents