Interoperation for Development and Improvement of Expert Systems

(1)

"! "

#%$ & '(*)+ )

,.-0/21436518729;:=<>7 ?@51A/B3C<D?FE.:HG?<>?

?HIBJ2KMLNKO51QPM:F9R:@S7 TU36503WVO1A/B3FGX?<>?@YF:ZX[.7

\@]_^MI`XZ-0a ^OKMIb]_/Pc_1A]_dOc_]0efPVg1ih_KO-j5k3:.dO1mlM]_/2J21mInL

opNqpRrs

-jVO-05tKu[=36av3Wav3wIBJ2KuPVO1ih_KO-j5k3x

ojypNz0{Nr0rs

?F|8?,

}

1Ah_KOa~1eJ2x

{jo0z

eJ2KOh_KO5t1eLN36a360KMIB10=c_J_`1idM`J2VO1ih_Kg-0563t`3Wc0`^

wg6

j ¡j¡¢£¤¥¢£ ¡ B¢¡¥¦¥§©¨

¡¥ªX¥_¢.«+¬nv¥®.¥n¯j °¢@°±°¢£ª²¢£¡

³

n¢´¥µA¡ ªXb¢¡¥CB§Bb©®¶w®X¢£¡ªX ¡2§¤©¢·6 °¨

µi¡ ªX¥¬Uµi ¡ª¸¡B¢£ º¹+»M °¢¼6«+B§

³

§¥@

ªXn¢£¡w½H® °±=¡BµO ¾W®+¢£ªXw®B¢£;¥.¡¶ ½W

¢£¡ ¡2§½H¬¡ ·6¡¥½¥¬.6n¢«;¥¦6¬n©¿¨

¬B¢¡¶¥@¥½.ªX®ªX¥_¢£b¢¡¥.¡bµM¥µA ¥W¬°¢£ ¾¬n¨

¢£¾ ¹.Àn¯¢¼O¬¡_¡j B¢¡¥¦ªXn¢£¡w½j¥

¥_¢£½j¼Á¾¥

³

¢£.½©Âk ¥W¬.¶ °°¥

³

¥¦¢£

¬¡¥_¢·º¯_¢¡Bµ;¢·WH¬¡ 6¡¥W½¥W¬Hjn¢°«¥¥wµi ¨

¥W¬H °ª©¢©§¡Bµ¥¡ °

³

¥WB¢·¡ ¥½¢£¡H¡Bµ

¬ºw¥¢£º¹OWR«+ j N«©¢£¤¬¡¥§ °¡¶¥µi¬n©®©¨

©¢++0¥Fb®¡HW ¡B§_½½k¼W¾°¥

³

Ã¬¡¶ªXªX¡¥

½¡ªXB¥v¡¥¢£¡B®¡

³

± ½º§wn®¡½vªX¥¾B®©®©±¶¹ÄQµ¢£

½°

³

¥w¥

³

¥W½ªXw®ªX¥_¢¥

³

¾W¬¥F¥w¢· ¡¶w¨

B¢¡¶¥¥§ ¡¶¥WªX¥¢¼;n¯j °ªX¥_¢·Ã2§6¥

½¡¥WCªX¡¥

³

µi¡¾W n¢£ ¡

³

¥W¡¾n¯wj °¢°±°¨

¢£ªXº¹O»k¾ °¢£ ªX¡ B¼b¢fW¶Áj¥X¡2«+¥¢·WB¢Á¥

n¯j °¢Q±w°¢£ªÅ¿6¥½WQ¤«+±Ã¢£¡Hj °µA¡ ª¸

³

§¥

¢£ÆC6n¢¢£ ¤±¢·WÃ¥¢£ ¡ b¢¡¥C«©¢£ ¡B¢£

¢£ n¯j °¢Q±w°¢£ªHº¹

Ç_ÈBÉfÊÌËÎÍBÏnÐÌÑÒ£ÈÓËmÔgÓ©ÈÑÕtÍBÖÌÍBÉÎÐR×ÌÉ°ØË·Ù2Ò£ÕNÓiË8Ó©ÈBÉtÍBÖÌÍBÉÎÐÌÕgÖ·Ú2Ó©ÈBË·ÐÌÕ·ÛkÜtÉÌÐÌÝ

Þ

ÑÕÎÕÎÑË·Ù;ÓiËÁÊËÎÍBÏMß6ÑÓÈBËÚ2ÓºÔÉÌÉMÖ£ØØbË·ÐÍÖ·ÐÌÓwËmÔ0ÓÈÑÕ

Þ

Ö·ÓiÉÌÐÌÑÖnØºÑÕ6Ò£ÐÖ·ÙBÓiÉ4à

ÍBÐÌË·áÑàÉ4àÓÈbÖ·ÓMÓ©ÈBÉQÊËÌÍbÑmÉÎÕ8Ö·ÐÉfÙ_Ë·Ó

Þ

ÖàÉQË·Ð+à·ÑÕÎÓÐÌÑ×ÎÚ2ÓAÉ°àMÔ·ËÐàÑÐÉ4ÊÎÓ

ÊÌË

Þ;Þ

ÉÌÐ4ÊÌÑÖnØ_Öà·áºÖ·ÙBÓiÖÒÉ£Û

â;ãäåbæ¶æBçèé6êëìäígî2ï6æ¤ð·ñjòóUð·ô°õõÃöäã÷Wëï6äøäé

ùé_îºäú©äêèæ¶ë+ûwé6çâ;ãäüú©æýÃôþ6äúÿkèé6êæbîï6ä6ç0ë

þîºäå÷0ï6äúýtþöæBçjæéjóWê6ë·î¶õõõ

"!$#&%(')+*,-.0/+#1+2+3$#&*4"5&#13$#16,879;:=<>%?A@CBD"34?>,E

:F+#&3$'G<H,JIJK-*$LA/G<>M2D,>"2+*N

OQPRPRS1TUVUCWRXYAWRZPR[V\ZYQ])^V_R`baVPRZc"\_RdJPROQefaVaVgO[4Yh\i[$UCjGXklZg4aVPRZ^VYWUVmonGpHqoesr9tUCu&^VlewvCxyU

z {D|

b}(~Q0b}

|

Ä.n¯6 °¢@°±°¢£ªX.2§@j¥W¾©®¢.¾¥ªX¥_± b®

¿6º®½W¡2§ 8¢£¤W¶¢U½W¬½¶¼j¢£¤ · ¬F¡¥;¡¡6 B¨

¢§9+°¢£ °W¾¢£½O¯6 °¢9_±w¢·ªX(Q((kW¶OªX

³

½j¼

¥¢£

³

B¢¥

³

¢°«¡;Æ¥½Wt¡Bµw¢£¬º¥¡B®¡

³

±µi ¡ª Æ¥¡B«®½

³

N¬n¨

¾°©¢¡¥H¥½.¡Bµm¢°«¶ ·8

³

¥¢£º¹OWQ«¡¶ ·Æ¥¤¢·W8¿6º®½.¡Bµ

((µi¡_¬¾·¡¶¥¦¢£H¬¡w¡j B¢¡¥¦ªX¡¶¥

³

½°¢£ °¾¢£½

n¯j °¢°±°¢£ªX¾¢¥¡B¢U±n¢6¥

³

º¢¢¥

³

¥_¢£¡=¬¡B¨

¡j B¢¡¥´¥H b®j¬¡ªX®n¯H½¡ªXB¥WgB¢RªX¥_¢¬;®n§º®A¹

ÄQ¥=¥@¢·Wì¿0n®½WQ¡BµÁ¡Bµ¢«;

³

¥¢£¶¥W½((0¼

B¢uW ¥w¢¼ ª¾®©¢

³

¥_¢>¶¥W½ Æ_¥W¡2«®½

³ ¥

³

¥ °¥

³

¢£¬nW¥¡B®¡

³

; 6¬¡ª¥

³

¥_¢·

³

B¢£½k¹+¡B«8n§ º¼¥@¡ °¨

½ +¢£¡@½n§n®¡ ¡¾W°¢¬¡_¡¶j b¢©§´Æ_¥W¡B«®½

³

´°±°¢£ªX

¥ b®g¥½@®

³

U·¬B®U¥½¾W°¢£ °B®N®©¬B¢¡¥¼W¢·W´¨

¡¬nWNµA ¡ª Æ¥¡B«®½

³

f®º§wº®W¥B®©±wÁ¥½HÆ¥¡B«®½

³

ªX¡½Wn®©¥

³

Rµiº«¶¥W½´·¡+«; 8°¢©®®¥´·B®®¡B«¦¥¢£ ¡w¨

B¢¡¶¥°¾¢fb¢f°±¥¢£¬n¢¬Á®n§n®ªX¡¶¥

³

½°¢£ °W¾¢£½Xn¢¨

¡

³

¥W¡¾;n¯6 °¢°±w¢·ªXº¹g§_¥¤©µM¾ºµi¾®6¥wµi¡ ªXB¢¡¥

¬

¾w ½j¼¢£ ´=

³

¥©¿6¬¶¥w¢·¾¤W¡b«*¢£¥wµi¡ °¨

ªXB¢¡¥. 10¬n¢£½.¥=¢£ªX®ªX¥_¢£B¢¡¥¨Î¢· ¾W¬n¢£¾ ¡Bµ

Æ¥¡2«®½

³

g°±°¢£ªXº¹OW¾º¼¥¢£tW6 º¼b«+N ¡j¡f¥

¥_§_ ¡¥ªX¥¢µi¡ ½¥_¢£ ¡6 B¢¡¥ªX¡¥

³

µi¡¾ º¢¨

¡

³

¥W¡¾;n¯j °¢8±w°¢£ªX8B¢8ªX¥w¢¬8®n§n®4¼_ªX¡½Wn®©¨

¥

³

¢·Wª"B¢RW ¡¶j N®º§wn®¡Bµ

³

¥w¾®¶ °©¢°±´¡BµÆ_¥W¡2«®½

³

B¼

½º¿6¥¥

³

¢£F n®b¢¡¥wjn¢°«;¥ªX¡½Wn®Ã¥½CªXw®n¨

ªX¥_¢£b¢¡¥º¼¾°¥

³

¢£Wì½wÂk ¥¬+ °°¥

³

¥.¢£¬¡¥¢£n¯¢

¡BµM¢·W¬¡ j¡¥½W¥¬0º¢°«¥X¢·W+¥µA ¥W¬°¢£ ¾¬n¢£¾

¡Bµ¥¡ °

³

¥B¢£¡ .¶¥W½v¢£¡¥¡Bµ ¬ºw¥¢£º¼¥W½ n¨

¥¢¥

³

~«+ ¶Wj .«¢£ ¬¡¥§ °¡¶¥µA¬n©®©¢@¾°¥

³

¬¡ªXªX¡¥@½¡ªXB¥F¡¥¢£¡B®¡

³

±¹

¥ ¢·W ·ªXB¥W½ F¡bµ´¢·wF6 º¼«¿0 °¢½W¬ j

ªXn¢£¡w½¦¡Bµ@ªX¡_½º®¥

³

¼=¡6 B¢¡¥B®©n¥

³

¼Ã¬¡¡j B¢¥

³

¥½¬¡¶ªXª¤¾¥¬B¢¥

³

«+ W¥

³

+Wn¢£ ¡

³

¥¡¾Wn¯6 °¢

°±°¢£ªX¹ Àn¯¢¼¤« ¾w¢¢£W ªXn¢£¡w½¢£¡

³

n¢£ ¥¢£¡

¥=¥¢£ ¡W B¢©§ì¥§ ¡¥WªX¥¢¼bÀ;A(0A¥¥w¢· ¡¶W °¨

B¢§QÀQ§ ¡¥WªX¥¢fµi¡ 9ìn§n®¡ªX¥¢;¶¥W½ªX ¡B§ªX¥¢

(2)

°±² ³´µ¶

·¶¸µ¹¶·µ¶º³º»¼¶¹¼µ½µ¶

½¼¼¶² ¾¿¶ °±² ³½º¶

ÀÁÂ ÃÄÅÆ ÁÇ

°³½¹½ÈÉ»°¶¼

¼¶¿¶°µ

½¹³»¶°¶¹±Ê¹°³½¹½ÈÉ»°¶

½¹¼¶µ¹±Ê¹°³½¹½ÈÉ»°¶ °³½¹Ë·±Ì ¿¶ÈÍ¶ µº½·¼Ê±º²

Î Ï ÁÁÐ ÃÀÑ Ð ÃÀÐ ÁÒ ÁÓÄÐ ÑÄÀÂ ÀÐ ÓÃ ÓÀÓÂ ÔÑÐ ÃÀÐ ÁÒ ÁÓÄ ÐÑ ÕÂ ÀÂ

Ö× ØÙ ØÚ Û ÜÖÝ

»M

³

¾ ¯JÞ(;¡ªXªX¡¥àßUÄ;áÃ·j¬n©¿6¬b¢¡¥=¡BµO»=Aâãåä(

µi¡ 8g¯wj °¢±°¢£ªXhµi¡ ì¢£ª=¹@WXªX °¬B®8 ¾w®¢£

§gW¡b«+¥¾Wk¢£B¢N¿6¥¥W¬nB®ªX¥

³

ªX¥¢tº¯wj ¢N°±°¨

¢£ª M¾Wj¡¶ °¢£½±U¡B¢£ k¢£ ;n¯j °¢N°±°¢£ªXM¥U¿6¥W½¨

¥

³

H6º¢¢£ +¡B®¾w¢¡¥j¹

æ ç

}è~é-ê

|ìë

| ~

{íïî êAé

í é |

|ìë ð

6ñ

w°88bé~óòõô

î

é÷öøQbé

í

¥v¡ ½ XµA¡ =½w¢· °¾w¢·½n¯6 °¢@°±°¢£ªX.¢£¡Cn¯¬º¥

³

¾ºµi¾w®+¥µi¡ ªXB¢¡¶¥ w®¬w®¢£¡C¢£º F6n¢¢£ @0 °µi¡ °¨

ªX¥¬.µi ¡ª%¡B¢£ ¼;¢£ F¶ .¢«;¡ªX6¡ °¢·¥w¢H¬¡¥°½¨

B¢¡¥>ÞW¡B«*¢·¡Fj¬ºµm±n¯j °¢´±w¢·ªXb¢¬¡¶¥W¬w¨

¢£¾B®®©±=¬¬¢£®ì®n§n®t¡Bµg½Wn¢£B®º¼0¥½¡2« ¢£¡H 10¬n¢

¬º§½¥µi¡ ªXB¢¡¥¡bµRB®¢£ B¢¡¶¥¡¶¥F¢·Wn QªXw®ªX¥¨

¢£b¢¡¥j¹@WXµA¡B®®¡2«¥

³

½w·¬¾·ªXº¢·W¡½¦¢£¡=½¥w¢©µ±

¢£Q ¡j ;Æ¥W½;¥½

³

¶¥w¾® °¢°±H¡Bµ¥wµi¡ ªXB¢¡¥.¥½@

ªXn¢£¡_½.µi¡ 8¡j B¢¡¥Wb®©n¥

³

¢£¬¡¥¬¢£¾B®tªX¡w½n®º¹

ù0úCû üþý0ÿ "!áý #ý$

%'&)(

ìn§n®¡6½º¯w6 °¢U±w¢·ªX¶ XªX¾¬£½©Âk ¥¢¥¢£n

ªXw®ªX¥¢£b¢¡¥¤½º¢·B©®¼_·¾¬X¶ÁÆ_¥W¡b«®½

³

¥_¢£b¨

¢¡¥¦®¥

³

¾W

³

¤¥½¡B« ¢£¡ ¾¥~¥µi ¥¬=¥

³

¥Wº¹ Ìµ

¢£n±«¡¾®½~n¯¬¥

³

H¥µi¡ ªXB¢¡¶¥B¢¤¾¬¦ªXw®ªX¥¨

¢£b¢¡¥=½Wn¢£B®º¼k¬n@n¯j °¢°±°¢£ªÅ«¡¾®½2§¥¡¤«2±

¢£¡¤¿6¥½¥µA¡ ªXB¢¡¥µA¡¶ ¢£ªXW ¡2§_ªX¥¢+¥¢£Wn 0 °¨

µi¡ ªX¥¬B¹¡w¼¢·W8¥wµi¡ ªXB¢¡¥H6¡¾¢f¥µi ¥¬+¥

³

¥

¥½~Æ_¥W¡b«®½

³

ÃW¶·Hª¾W°¢¤j.®©µ¢£½µi ¡ª ¢£.ªX®n¨

ªX¥¢£b¢¡¥v½º¢·B©®Ã¢·¡~¡ªX ·¡¶6 .¬¡¥¬¢£¾B®ì½Wn¢£b©®

¬¬w¢£¶w®¢£¡¤jn¯w¬¥

³

½k¹=¥=¢£¿6n®½@¡BµgÆ¥¡2«®½

³

¥

³

¥ °¥

³

¼¢£QªXº¢·W¡½¡B®¡

³

±Xf ¬¥¢®©±j¥H½º§wº®¨

¡6½¦¢£¡j¬ºµm±¦¢£WÃªX¥¢¬¡bµ+n¯j °¢¤±w¢·ªX´µA

µi ¡ª&ªX®ªX¥¢£b¢¡¥½Wn¢£b©®º¹;¡ªXªX¡¶¥ ßÄ;á$*+8 -,/.10

¡¥F¡bµ+¢£.«+n®©®¨Î¡

³

¥½~Æ¥¡B«®½

³

H® °¢·WB¢

¡§½¦¥µA ¥W¬ °ª¢©§~¬B®©®½¬¥¡¥¬B®ÃµA¾¥¬n¨

¢¡¥¼j·¾¬n3254654879j¼;:<>=5?@BAC4w¼ DC41AE84.¥½¡@¡¥j¹¥

»M

³

¾W ¯b¼WXj¬n©¿6¬B¢¡¥@½¬ °w¢¡¥@¡Bµt¢£n¯6 °¢±w¨

¢£ª »=Aâåä;(«+¬¬¡¥·¾®©¢·M8¿0¥¥¬nB®ªX¥

³

ªX¥w¢

¡BµM¶¥F¥_¢£ °/*GFì /,/.10k

³

©§w¥.¶+¥=º¯wªX®¬B¹

QHÿSRTUHQ8Cý$ ýVW5XH >8T

¡¾

³

*¡¾ W n§¡¾F«+¡ ÆH*Y8âFZ,/[04¼ì¥>«+¬n «

2§fªX®¡2±½;¡ªXªX¡¥ßUÄ;áUM¶¥°¢£ ¬n¢g½W¬ °w¨

¢¡¥ªXn¢£¡w½j¼°

³

¥w¿0¬¥¢t·¾8¬¡ªXN¾¥¤¬¡ ·6¡¥¨

½¥¬6n¢«;¥´j¬n©¿6¬B¢¡¥X¶¥W½´ªX®ªX¥_¢£B¢¡¥´¡Bµkn¯_¨

j °¢°±°¢£ªX¹+O¡¤¾¢¢£·¾¬¡¥¬ º¢·º®±_¼W«UW2§_¢£¡

j¥½.ªX¡ +¢£¥.¢«;¡U«+ÆÁ¥@¡ ½ ;¢£¡¤¬nW¶¥

³

+¥.ª¨

®ªX¥¢£B¢¡¥@°¢£ ¾¬n¢£¾ ¡Bµg¥Fn¯6 °¢°±°¢£ª¸¬¬¡ ½¥

³

¢£¡H¥=B®©¢£ B¢¡¥¡w¢·B¥½F_±=¶¥Fn¯¬nW¶¥

³

ì¡BµOj¬º¿0¬B¨

¢¡¥¤¥µA¡ ªXb¢¡¥j¹âB¥.¬¾g«+¬¤¬¡¶¢£R·¾¬ºHì®¡¥

³

¢ªX¬¥F6ì®©°¢£½@¾F¶;µA¡b®©®¡B«+º¹

¯B¹+©Âk ¥W¬¡bµÁ½B¢£¤¢· ¾W¬n¢£¾

Ä¥ B®©¢£ B¢¡¥ ¥ ¥W¾¢¼ ¡¶¾w¢·W¾¢u¥W½ nµi ¥¬

Æ_¥W¡2«®½

³

¡Bµ=¥D¥µA ¥¬CW °ª©¢§¦nÂk¬º¢·¥¡B¢

¡¥®©±¥w¢· ¥B®R°¢£ ¾W¬n¢£¾ =¡Bµ+¢£. °ª¢©§w.¾w¢¤B®·¡

¡B¢·W tW °ª©¢©§wj¬¾f¡Bµ6§¶ °n¢°±ì¡Bµ0½B¢£°¢£ ¾¬º¨

¢£¾ X¡bµUÆ¥¡2«®½

³

B¼R¥W¬n®¾½¥

³

¢£º ¤ªX®ªX¥¢£B¨

¢¡¥@¥½½WB¢·X¬B®®4¹

\

¹+ÄD§ °º¢Î±=¡BµO n¿6¥WªX¥¢ªXn¢£¡w½

ìn§n®¡6 M¡BµWn¯wj °¢N°±°¢£ªXM¡bµm¢£¥´ªH¶Æg¥wµi ¥¬

°ª©¢©§ .¢·W=W ¡

³

ª%¬¡½¤¥½¬¾¢¤¢£

½¾W¥½¥W¬n± ¡Bµ½B¢£º¯w¬W¥

³

B¹]+;¬¾@¡BµQ¢£

§ °º¢¼¢½w_^Ã¬¾®©¢U¢£¡½¬º½W¤«+¬ °ª©¢§

¡¾w®½j¤¬º¥

³

½¶¬¬¡ ½¥

³

¢£¡=¥¦B®¢£ B¢¡¥¡¶¥

¥=W°¢£ ¶¬º¢½·¬ °w¢¡¥j¹

®w¹½nÂk¬n¢£Q¡BµO½½¥

³

¬¡¥¢£ ¡B®k°¢£ ¾¬n¢£¾W

Ä¥ÃW°¢£ ¶¬º¢8½¬ °¢¡¥=¬¶¥.0+¥¢£ W n¢£½¤¥@½©µ¨

µi ¥¢f«2±g¡BµªXw®ªX¥_¢·B¢¡¶¥X«¢£.¬¡¥_¢· ¡B®j°¢£ ¾¬n¨

¢£¾ º¹Ã»0¡ n¯¶ªH®B¼«+´Wb§X=®¡b¢¡Bµ¡¢¡¥WìµA¡

jW2§_¡ U¡BµF®¡_¡¥¦½B¢£à6¡2«½

³

¶ªH´·¾¬n

=©¢£ B¢¡¥ «¢£*¬¡¥½w¢¡¶¥WB®A¼U jn¢©¢¡¥ «¢£*

¬¡¾¥_¢£ º¼w´µAB®k®¡¡.«©¢·@¬Æ¢£ ¬·Æ¥

³

¼w¥½@¡¤¡¥k¹

¥@¢·WìµA¾ °¢£ Q¥Wb®©±°8¢£¡

³

n¢Q¢£¶j¡2§µiB¢£¾ Q¡2§ º¼

«1`§Qµi¡¾¥W½=¡¾w¢8¢·WB¢8¢£ªX®¡2±wªX¥¢¡bµO½wÂk ¥_¢R®¶¥w¨

³

¾

³

ªXÆ;

³

¶.jº¢Ì«Q¥.0¬n©¿6¬B¢¡¶¥W¶¥W½ÃªX®n¨

ªX¥_¢£b¢¡¥Q¥¢£¤½Wn§n®¡ªX¥_¢ ¡w¬ì¡bµ8n¯6 °¢°±w¨

¢£ªXº¹ ¡w¼U½

³ ¥ 0¬n©¿6¬B¢¡¥@¥½ ªXw®ªX¥_¢·B¢¡¥

¬¡w½+¡Bµgº¯wj °¢±w°¢£ªHQW¡¶¾w®½6´½W¬ °6½=¥H¾¥w©¨

¿6½U®¥

³

¾

³

R¥´¡ ½ N¢·¡ì 16¬º¢Á·6¬n©¿6¬B¢¡¥¤B®©¢· b¢¡¥

ªXªX½B¢£n®©±H¢£¡¤¢£ªX®ªX¥w¢·B¢¡¶¥.¢· ¾W¬n¢£¾ B¹

ù0úOa bMc U4ÿ Sd)8c QCUfegUQ>5hVQýi I/ONj

IJQ8Cý$fQ-ÿSRU8T8 >Q>Cý$

»0 ¡ª ¢£ªX6¡ °¢£¥¬~¡Bµ.¾¥w¿0½>®¥

³

¾W

³

¦µi¡ ¢£

10¬n¢¡¶¥ ¡Bµ.¢£W¬º¥

³

v¡¥ >j¬n©¿6¬B¢¡¥ ½¬ °¨

¢¡¥k¼v«+ W¾©®½%¥½%n¯¢·¥½"¬¥¡¥¬B® µi¾W¥¬n¢¡¥

¥¢£¡lknmìKo(ä8D pmìf¾w®qog¬äQµj¬n©¿0¬B¢¡¥¨

ªX®ªX¥¢£B¢¡¥ OªH®b¢£1sr«+w¬C¬¡¶ªH¥½¬º® °¨

B¢§QªX¶¥_¢¬fªX®¡2±½¥õ;¡ªXªX¡¥õßÄ;á¤¥W½H ¡B¨

¬½¾ B®NªX¶¥_¢¬R®©Æ_3of ¡B®¡

³

¹;Ä ¾W¥©¢¡bµÁ¤½W¬ °¢¡¥

h&fH 1¡¢H£+¤w¥6&D¦+§"¨©H£GªH¬«h ®b¨

(3)

t uvwxy z

t uvwxy {

t uvwxy|

t uvwxy }

~

¡¢

»M

³

¾

\

Þèä+§_ °§_n«>¡BµO£ìº§_º®¡ªX¥¢£oÁ ¡w¬·

¥TmìKo(ä86ì¼t½n¿0¥½¦@ n®b¢¡¥w¦ªX¡¥

³

¥W¾¢¼

¡¾¢£¾¢g¥½ nµA ¥W¬8Æ¥¡B«®½

³

B¼bg¬B®©®½¤¤k£¾¥w¢gµA¾¥¬º¨

¢¡¥rw¹OÄ º¢Q¡BµO¾¥©¢8µi¾W¥¬n¢¡¥; W¾©®¢¥w¢·¡¤ªXn¢£¡_½

¡¥¶¢£¡B®¡

³

±´_±U¶W°¢£ ¬n¢¥

³

Æ_¥W¡b«®½

³

g¢±wWO¡bµW¥¾w¢¼¡¾¢¨

¾¢¥½F nµi ¥¬¶¹

»j¾W °¢£ ªX¡ B¼B¢¢· ¥¡Bµ ¬¡ª¥B¢¡¥ ¡Bµ¾¥©¢

µi¾W¥¬n¢¡¶¥Wº¼¶«+¬nj Nµi

¾W¥¢®©±U¥¢·W8½º§wº®¡ªX¥¶¢

¡_¬·º¼w

³

B¢·W ½k¼w¡ °¢£½.¡¾¢8¥W½.¬¡¥°¢£ ¾¬º¢·½.¶;

ªXn¢£¡_½.® °±=·½¡¥.¢£ìµA¡B®®¡2«¥

³

¢·¥½W6¡B¥w¢GÞ

¯oÃW ¡2§_½¥

³

n¿6¥ªX¥_¢Q6¡B®¬n¼

\

Ã¢·¥½W ½n¥

³

~«2±¡Bµ¢£¦Æ_¥¡b«8®½

³ ¤½B¢£

ªX¥

³

ªX¥_¢¼

$®DÃ¬º®µm±_¥

³

¢£F¶½W½¥

³

B¢¢· ¥H¡BµU¬¡¥¢£ ¡B®¢· ¾W¬n¨

¢£¾

³

§¥H¢£¡H6¬n©¿6¬B¢¡¥Wº¹

¥@¡¶ ½W f¢·¡Æ_H´¬¡ j¡¥½W¥¬0n¢«;¥Ã½·¬ °w¨

¢¡¥¡BµWj¬º¿0¬B¢¡¥M¥½ªX®ªX¥_¢£b¢¡¥º¼BmìKo(äá6

¾W6¡ °¢£N°¢£±U°¢£´¡j B¢¡¥B®©B¢¡¥¡bµk¥´¢· ¬n¢

½·¬ °¢¡¥¥¢£¡8+½n¢£B®½ªX®ªX¥w¢£b¢¡¥½¬ °w¢¡¥j¼

f¢·WìµA¡b®©®¡2«¥

³

«2±Á»M

³

¾

\

"Þ

w¹+n®¬º¢¥

³

HWB¢¢£ ¥¡BµN¢£ªXn¢£¡w½=®©W °±@¬¬¡ ½¨

¥

³

¢£¡H´¢£ÆX¢±w¡BµO¶¥Fn¯6 °¢±w°¢£ª=¼

k¹¬¡¥¬ n¢¥

³

Æ¥¡B«®½

³

¤¢±@¡BµQ¥W¾¢¼f¡¾w¢·W¾¢H¥½

nµA ¥¬H±¬¡¶ªXW °¥

³

½W¡ªXb¥¦¡¥¢£¡B®¡

³ ± A»M

³ ¨

¾ ®D£¼kÃ¢£¶¥W½ ½½Wb¢£. ¬±A»M

³

¾ ¥.D¥½

¾ ªX¥_¢Q6¬n©¿6¬B¢¡¶¥k¼

¬¶¹+½½¥

³

U¬¡¥¢£ ¡B®W°¢£ ¾W¬n¢£¾ 8¢£¡ì¢£+½¬ °w¢¡¥H«©¢·

¢£¡¶w¢·B¥½=¥µA¡¶ ªXB¢¡¶¥@¡BµOÆ_¥W¡B«®½

³

Q¢±B¼

¦§¨ ©ª¦©«¨«¬©®¯ §°©±

²¨³®´ª§µ ±©°¶© ·¬ª³ª²¬³±®¬ª°©¸

¯ ³¬ª®¯ ³ª³¶©¯ ©ª¦®¨§±¬²¹

·¬ª³ª²¬³±®©º»³¦¬§ª ¯ ³¼§«®·¬³ª²¬³±®¬ª°©¸

¯ ¬ª§«®·¬³ª²¬³±®¬ª°©¸ ª³¯ ©

½³±»©

±¾¬ª°©¸

«¾¬ª°©¸

«©±³¦¬§ª

°©¦³¬±©°®¯ ³ª³¶©¯ ©ª¦®¨§±¬²¹

©ª¦©«¨«¬©®µ§«±° ¬°©³±®«³ª¶©

§²²»¨³ª²¹

²§ª¦«§±±³¿¬±¬¦¹

²¨³®³°½¬²© ¬¶ª¬·¬²³ª²©

©ª¦©«¨«¬©®¦³¦©

©ª¦©«¨«¬©®³²¦¬§ª ±©³·®·¬ª³ª²¬³±®¬ª°©¸

·¬ª³ª²¬³±®¬ª°©¸ ¯ ³¼§«®·¬ª³ª²¬³±®¬ª°©¸

©ª ©« «¬©®

°©¨¦¾

³°½¬²©®°©²«¬¨¦¬§ª

«©±³¦¬§ª³±®°©¦³¬±°®¯ ³ª³¶©¯ ©ª¦®¨§±¬©

©··©²¦¬½©®·¬ª³ª²¬³±®¬ª°©¸®±¬¦

©ª¦©ª²©

µ ©¬¶¾¦

º®³®·«§¯ ®²¨³ ±© ·®·¬ª ª²¬ ±®¬ª ©¸

°©¦³¬±©°®¯ ³ª³¶©¯ ©ª¦®¨§±¬²¹

¯ ³¬ª®¯ ³ª³¶©¯ ©ª¦®¨§±¬²¹

ÀÁÂÃ

ÄÃÁÂÃ

»M

³

¾W ®bÞì¡ªXB¥@¡¥¢£¡B®¡

³

±XµA¡¶ +»=Aâãåä;(

ÅÆÆ Ç È ÉÊ ÆËÌ ÍË ËÎÏ ÅÐÑÉÈ

ÅÌÒ ÑÓË Ì ÅÐÅ ÆÑÔÐ

ÅÐÉÕ ÑÈÐ Ì ÉÏ ÖÆË

Ò ÅÆÏË

Ó ÉÈÌ ÑÐÑÉÈ ÑÌË ÅÆ× ØÅÈ ÍË ÔÐÅÈ Ì ÅØÌ × Ù ÉÑÈ Ð ØËÆÅÐÑÒ Ë× Ò ÅÆÏ Ë

ØÅÊ ×Ì ÅÐÅ

Ó ÉÈ ÔÐØÅÑÈ ÐÐØÏÐÚ× Ò ÅÆÏË

ËÛÙ ØË ÔÔÑÉÈ ÌË ÔÓØÑÙÐÑÉÈ ÔËÈ ÐËÈ ÓË

ÔÐØÑÈ Í È ÅÕ Ë ÑÈÌ ËÛ ÇËÜ

ÑÌ Ö ÅÌ

Í ÉÉÌ

ÓÏ ØØËÈÐ È ËÛ Ð

ÆÅÔÐ ÑÈÑÐÑÅÆ

Ì ËÒ ËÆÉÙ ËÌ ÝÑÈ ÅÆ

Õ ÑÌ ÌÆË Ù ÅØÐ× ÉÝ ÔÏÖ ÔËÐ× ÉÝ

ÅÆÆ×

Õ ÅÞÉØ

Õ ÑÈ ÉØ

Õ ÅÑÈ

Ì ËÐÅÑÆ Ê ÉØÔÐ

ßÖ Ôà Ò ÅØÑÅÖ ÆË

Ï È ÑÒË ØÔÅÆ Ï È Ò ÅØÑÅÖ ÆË ßÍÖ à

ßÔËÐà

ßÐÑÕ Ëà ßÒ ÅÆÏ Ëà Õ ÉÌ ËÆ

ÔÐÅÐË Ê ÉØÆÌ ÅÓÐÑÉÈ

Î Ï ÅÆÑÝÑËØ ÉÏ Ð× ÉÝ× ØÅÈ ÍË

ÔÑÍ ÈÑÝÑÓ ÅÈÓË

ÉÓÓÏ Ù ÅÈÓÜ

Ó ÉÈÐÉØÉÆÆÅÖ ÑÆÑÐÜ ÌËÙ ÐÚ ÈËÓË ÔÑÐÜ

Ê ËÑÍ ÚÐ

ËÎ Ï ÅÐÑÉÈ

ÝÉØÕ ÏÆÅ Ö Ë ÔÐ

Å× Ù ÑËÓË× ÉÝ ÔÐÅÐË×ÐØÅÈ ÔÑÐÑÉÈ

ËÈ ÐÑÐÜ ËÆËÕ ËÈÐ

ÔËÐ

»M

³

¾ á.Þ_¢·¥½W ½½Wb¢£¤w ¶ ¬¶±

½j¹+º®¬n¢¥

³

B¢¢£ ¥¦µi¡ ¤¬º¦¾¥©¢¤µi¾W¥¬n¢¡¥C¡Bµ¢£

½·¬ °¢¡¥@¥½F¬¡¥¢¥_¾¥

³

¢£j¡2§_W ¡¬º¹

°¢£¶¥W½ ½½B¢£. ¬±=UªX¶¥w¾B®©®±¬¡¥¢· ¾W¬n¢£½

@½¡ªXB¥F¥W½j¥W½¥_¢¡¶¥w¢£¡b®¡

³

±@«+w¬º

³

©§_Q«+¡ ½

µi¡ Mn¯¥½¥

³

½¡ªXB¥¡¥¢£¡B®¡

³

¾W¬tW¾©®½w¥

³

Qº¢¼

¬nÆ¥

³

¾¦¥¦b¢£¡ª ¡bµFn¢¼O¥½¬B¢¥

³

F¬B®¬¾®B¢¡¥

°¢£

³

B¼½WB¢·@°¢£ ¾¬º¢·¾W QµA¡ +ªX®ªX¥¢£B¢¡¥½Wn¢£b©®¥½

¡X¡¶¥k¹

f¶¬.ªXn¢£¡½F¡BµmìKo(ä86uR¢«;¡¢°±w6¡BµNº¯wW °¨

°¡¥&ÞO¡¥WRN¢£Q n®B¢¡¥·¤ªX¡¥

³

¥¾w¢¼¡¾¢£¾¢f¥½

nµA ¥W¬Æ_¥W¡2«®½

³

B¼_«+¬º.¬¡¥°°¢£;¡BµO6¬º¿0¬B¢¡¥.®©¨

°±_¼M¥½¢£¤¡B¢£ U@ ¡B®¡

³

¨Î½ ·¥¢£B¢¡¥

«+¬n>¬¡¥W°°¢£¡BµXªXw®ªX¥_¢·B¢¡¶¥ ®©W °±¹ »M

³

¾W qâ

W¡2«+¬H¬¡ j¡¥½¥¬Hjn¢°«8¥º¯w °¡¥¥

´·6¬n©¿6¬B¢¡¥.¡BµMUÆ¥¡B«®½

³

¢A½B¢£D4¨V6¡«¨Î½w

³

ª¶¥W½

(4)

Reference_Data

Input_Data

Output_Data reposit_function

reposit_function(

Input_Data, Reference_Data, Output_Data )

AD;W °ª¢©§_¬¡ªX6¡¥W¥¢

Ref_Data1

Input_Data

Mid_Data

reposit_func1 reposit_func1(

Input_Data, Ref_Data1, Mid_Data ), reposit_func2(

Mid_Data, Ref_Data2, Output_Data) Ref_Data2

Output_Data reposit_func2

A¬8

¾W¥¢B®t¬¡¥¥¬n¢¡¥

»M

³

¾W )â6Þã+8°¬Ã º®B¢¡¥Wjn¢°«¥#mìKo(ä8D n¯¨

·°¡¥A

¾¥w¢B®k¬¡¥W¥¬n¢¡¥¬

ä å æ ç

ä å æ ç è éê ë ê ìè éí îï êèðìë ê ñ ê ëò íóô õ ó öô éðé ÷

ñ ê ë ò íóô õ ó öô éðé÷îíëò öø÷

öù÷

öú÷ ä å æ ç

ä å æ ç ä å æ ç

ä å æ ç èë ê ô ìðìë ê éíöû ë ü ý ÷

èë ê ô ìðìë ê éíöû ë ü ý éèñ ðüéèñ ÷

ë ï ðþ ïð è ÿë ìèó

ìê þ ï ð èÿ ëìè ó

èë ê ðüë í îíëò ö÷

ö÷

ö÷ ö÷

ö÷

»M

³

¾ Þè±¥_¢·B¯=¡BµO¤mìKo(ä86D½·¬ °¢¡¥

¢£¡ì¥¿0 °¢¨Î¡ ½ °¨Ì ½w¬b¢£¹ ¥F¢·WU¿

³

¾W B¼ ¬n¢£¶¥w¨

³

®n¯ ·ªXn¢£¡w½¬¡ ·6¡¥½¥

³

¢£¡=¾W¥©¢ìµA¾¥¬º¢¡¥

¥½

¾W¶ °¢£ °¨Ì¬n ¬n®Qº¯wW +Æ_¥W¡2«®½

³

ì+½B¢£H¾½=¥

¢£¬¡¥¥W¬n¢£½FªXn¢£¡_½º¹

g¡+¬¡ª¥;½·¬ °¢¡¥®¥

³

¾W

³

tµA¡¶ O¶W°¢£ ¬n¢fªX¡½w¨

n®8¥W½=ªX®ªX¥_¢£B¢¡¥@°¢£ ¾¬n¢£¾ º¼W« n¥µi¡ ¬;¡ª¨

ªX¡¥8ßÄ;á«¢£¡6 B¢¡¥B®¥µA¡ ªXb¢¡¥j¼

³

§¥¥»M

³ ¨

¾ w¼O«+¬n¦¥W®¾¢·¡¾¢¬¡¥¢£ ¡B®R°¢£ ¾¬º¢·¾W ½©¨

¬n¢®©±ì¢£¡QÆ_¥W¡b«®½

³

n¨$6¡«¨Î½

³

ªXj¥U¢£f«±U¡BµW»M

³

¾W

_¹

ù0ú >Q>Cý$ QUJQ8Cý$ ýVd)/NK;ÿ ü ýÿ5U

¦>¶¾

³

ªX¥¢ Æ_¥W¡b«®½

³

º¨$6¡«¨Ì½

³

ª n®¬n¢£½

B¢¢· ¥ «©¢£ ¬¡¥_¢· ¡B®¦°¢£ ¾¬n¢£¾ º¼ ¾¬º >¬¡¥½©¨

¢¡¥B®W ¶¥W¬nWº¼¶Q½w¢¥¬º¢¡¥´¡Bµ0½n¢£ ·ª¥w¢¬f¶¥W½´¥W¡¶¥w¨

Input_Data

{ test( Input_Data), !,

reposit_func1( Input_Data, Ref_Data1, Output_Data )}

;

replace( Input_Data, Output_Data ) Ref_Data1

Output_Data1 reposit_func1

Output_Data2 test

Yes No

iDRH¬¡¶¥W½©¢¡¥B®tW ¶¥W¬

Input_Data

n_d_function Output_Data

backtrack_test Ref_Data

Yes

A¬8¥¡¥w¨Î½n¢£ ª¥°¢¬¶¬º¢¡¥¬¶¾W°¥

³

W¶¬Æ¢£ ¬£Æ

Input_Data

test No Yes

Ref_Data

Mid_Data function_body

Output_Data rec_function

rec_function(Input_Data, Ref_Data, Output_Data) :- { test( Input_Data), !,

replace( Input_Data, Output_Data )}

;

{ function_body( Input_Data, Ref_Data, Mid_Data ), replace( Mid_Data, Input_Data),

rec_function( Input_Data, Ref_Data, Output_Data)}

A¬oR¤®¡¡F°¢£ ¾¬n¢£¾W +«©¢£ ¬¾ °©§

Input_Data

Ref_Data function_body

Output_Data

top_func(Input_Data, Ref_Data, Output_Data) :- for_each( Atom, Input_Data, [

function_body( Atom, Ref_Data, Output_Atom ), assemble( Output_Atom, Output_Data)]).

for_each

Output_Atom assemble top_func

A½¬8´®¡¡@°¢£ ¾¬º¢·¾W ì«©¢£Ã©¢£ B¢¡¥

»M

³

¾ DÞè;¡¶¥_¢£ ¡B®t°¢£ ¾¬n¢£¾ 8¡BµWmìKo(ä8D

(5)

!

"#$%&'&#()#'$"#"*+%'&

,! -.

/

0 12 3 4 5 6

»M

³

¾W T[bÞ*Ä¥"¡¶6 B¢¡¥B®©½ ·6¬n©¿6¬b¢¡¥ ¡BµH»=AâF¨

åä;(

½n¢£ ª¥w°¢¬8¬n¢¡¶¥Wº¼¶¥W½H jn¢©¢¡¥R¶f·¡2«+¥´¥H»M

³ ¨

¾ _¹N¡@¾w¢U©¢¤¬¡¥¬ º¢·¶¼M¢£¤µi¡B®©®¡2«¥

³

¡w¬½W¾ ¤

³

§¥0Þ

¯B¹+Ä½½¥

³

¬¡¥½©¢¡¥Wb®

¥ Æ¥¡2«®½

³

n¨$0¡2«¨Î½

³

¶ª=¼=*ªXn¢£¡½&¬¡ n¨

6¡¥½w¥

³ ¬¡¶¥W½©¢¡¥B®v¬n¢¡¶¥%¬nW¶¥

³

½ ©¢£

6.¥¢£¡½ªX¡¥½ i»M

³

¾ 7 biDhÞ94989¬·¹ ;¡¥¨

½©¢¡¥B®C¬º¢¡¥ «+¬n ¬¾W>¬ºÆ¢£ ¬nÆÅ>º¯_¨

·½F¥Ã·6´¡BµÁ¢·W´¡ªXn¨Ì´¢°±_®¢A»M

³

¾W

bi©"Þ:@7<;59AC@87=; 9C498>9£¹H»0¾W¥¬n¢¡¶¥¬B®®f¥_§¡¶Æ¶½±

¬¡¥½w¢¡¶¥WB®O¬¡¥¥¬n¢£½¦_±W ¡¶Æ¥®¥¤«©¢£¦

½ªX¡¶¥W½j¼

\ ¹f®¶ °©µ±=¡BµÁ¥¡¥¨Ì½n¢£ ª¥°¢¬ì¬n¢¡¥

Ä ¥¡¥¨Ì½n¢£ ª¥°¢¬D¬n¢¡¥«+w¬

³

©§ ¥&B®©¨

¢£ ¥B¢§ ¡¾w¢·W¾¢C«©¢£ ¬ºÆ¢£ ¬nÆD~ ·¥¢£½

± ¢·W Å ¬º¢·¥

³

®u«©¢£ ¸¡B®©½ ¬º ¬º®¢A»M

³

¾

bi©?> @ ACBD> 79FE/<G>¬£¼

®w¹f®¶ °©µ±=¡BµO®¡¡F°¢£ ¾¬n¢£¾

Ä ®¡¡ °¢£ ¾W¬n¢£¾ ¬B®®½ ¬¾ §n®©±*~¥¬º®¡·½

«¢£@H ¡Æ¥.®©¥W¢A»M

³

¾ bA¬o&i½© ·¹

ÄQµ¢£ Qw®±¥

³

¢£´6¡B§¶¾

³

ªX¥¢£B¢¡¥j¼w«+¬¥

³

º¢ì

½·¬ °¢¡¥

³

©§w¥X¥F»M

³

¾W Z[w¹

ù0úIH d)/NK;HàýHV

&

>>QCIB# WIJNPIJQ8Cý$ X

d)KJL)$R-e

¥¡ ½ t¢£¡Q º¿6¥KmìKo(ä8D~6¬n©¿6¬B¢¡¥Wtº¯w ·½´

¾

³

ªX¥¢£½HÆ¥¡B«®½

³

n¨$0¡«¨Î½

³

¶ª=¼«Q w®¬+¾¥w¢

µi¾W¥¬n¢¡¶¥@«©¢·F¬¡ªX¥B¢¡¶¥W8¡BµR¾¥©¢Qµi¾W¥¬n¢¡¥

³

©§¥

=WB¢¢£ ¥¦¥¢·WÃªHn¢£¡½¦®© °±¹»M

³

¾ ·M,AD

³

©§wU

B¢¢· ¥v¬º¡¥µi¡ ¤¢£¾¥w¢.µi¾W¥¬n¢¡¥M8/4654879v¥»M

³ ¨

¾ [w¹f¶¬º.Æ_¥W¡2«®½

³

B¼w0 °¥

³

;¶¥@¢· ¬º¢R¢±wW

NO PO Q R

STTSUVWX SY Z [W\ VY [ TY

V] SY Y ^V_VS

NO PO Q R

` d e aO Q O d b fd ` Q Rab c

NO PO Q R

STTS UVWX SY Z [W\ VY [ TY

V] SY Ug hhS\ VY S\VShZ hW^SY ^V_VS

NO PO Q R Q e ` d ` i j aQ O

` d e aO Q O d b fd Q e ` d ` i j aQ O k` l ` N O PO Q RO i e ` RRO mc

kn l Ro O e ` RRO mc p aRo Q b c Q mO ` RO i q c b p PO i r O Rs e O NR` RO

Q t mmO c Rd O c RO me maNO d NR` RO

»M

³

¾W Z,bÞR¥=º¯wªX®B¢¢£ ¥=·n®¬n¢£½@µi¡ K8J4565479

¥v¢£¬W¡¥B¢¢£ ¥k¼;. n¿0¥½_±¾W°¥

³

C½W¡ªXb¥

¡¥¢£¡B®¡

³

±¥W½C°¢£¶¥W½ ½¦½B¢£ ¬±¹ ¥~¡¶ ·½ ¢·¡

¾·RÆ¥¡2«®½

³

f¥ªXR0¡b¢£½·¬ °¢¡¥Wt¡Bµ0j¬n©¿6¬B¢¡¥

¥½@ªXw®ªX¥_¢·B¢¡¶¥Wº¼W«¶¾

³

ªX¥¢QH½W¡ªXb¥F¡¶¥_¢£¡B®¡

³ ±

¬¬¡ ½w¥

³

¢·¡¤¢£°¢£¥½ ½F½B¢£H ¬n±Ã¥HW ¡¬

¡Bµg¢£Æ_¥W¡2«®½

³

U n¿0¥ªX¥¢A»M

³

¾W õ¯vuD·¹ì»M

³

¾ ,A¬

W¡2«+f¢·WìÆ¥¡B«®½

³

Q n¿0¥½@Wb¢¢£ ¥.µi ¡ªÅ»M

³

¾ 3,A6

¶¥@n¯ªX®B¹¥Ã¢£WìW ¡¬¡BµN¢£n¯ªX®B¼w¢£½¡B¨

ªXB¥Ã¡¥_¢£¡b®¡

³

±X¡BµM»M

³

¾W ;®ì;¾

³

ªX¥¢£½X«¢£X7wB8A5AC4G>9

4=>89C41A5?AFED8J4x8>9C@19C4F«+¬¬¡¥°¢£ ¾W¬n¢£½~±i7wB8A5AC4G>9

¥ì¢£WÁ°¢£¥½W ½´½B¢£Qw ¶ ¬º±¶¥W½ 4G>9C4BAJ?AyED8/4z89C@B9C4

¥U¢£;½¡ªXB¥X¡¥¢£¡B®¡

³

±¹+;¬¾;¡Bµ¢£N¾

³

ªX¥¢£B¢¡¥j¼

«¬¥½°¢¥

³

¾F¢·W´ªX¢±¡bµRÆ_¥W¡2«®½

³

Uw±Ã¢£

¥ªX«¢£@¢£¡¶¥Wì¥@H½©Âk ¥_¢Q°¢£

³

ì¡BµO¬B®¬¾®B¢¡¥j¹

ù0úI{ RTU8T8H>Q8Cý$iHoý|J JýCýj!áý0ÿ

¥¢·wMj º¼b«+gªXw®¡B±UB¢£¡ªXt¥½®©¢·Ot½WB¢·W °ª©¨

¢§Á6¬¾W8¡Bµ¡¾ gW ¡B®¡

³

¨Î·½¤½Wn§n®¡¶WªX¥_¢¹Ng¡¾·

¥ªXÃ¡BµÆ¥¡B«®½

³

Ã¥ ¢£·6¬n©¿6¬B¢¡¥v½ ¬º¢®©±¼R«

½º¿6¥.¢£=W °ª©¢©§_.n¯ ·°¡¥¤¡Bµ+Æ¥¡B«®½

³

B¼O«+¬n

¾Wj¡ °¢Q

³

®¡2«+&Þ

@19C<1=~}59C<1= EG@1*:8@19ÞC@56yD< :8@B9

>

ÞCC@56

>

0C£¼ \

(6)

~

»M

³

¾W 8¯vubÞPm+n¿6¥WªX¥w¢Á¡BµÆ¥¡B«®½

³

;¢±_±X¾¥

³

½W¡b¨

ªXB¥.¡¥¢£¡B®¡

³

69ED8>9 ?ED8>9 EG@1*}59C<1=}9C<>=v}59C<>=

>

0C£¼ C®D

@569EJ@98b~}C6E/@98 >H@>=4}9C<>= E@ <1A ED89 E@b ·¹ p.D

¥´¢£Q6¡B§RµA¡ ªX¾®¶¼G}9C<>= E@¥½E89 EG@¤ ·¥_¢

¥¢¢¬¡¥¢¥

³

Æ_¥¡2«®½

³

B¼O¥½}C6E/@98 >H@>=4¬¡ n¨

6¡¥½WR¢£Wì¥W¶ªX¡BµM¢·WU¥_¢¢

Ä ¡B®¡

³

n¿6¥W½v¥¢£¡¦¢£ ¡B®¡

³

¨4ªXw®ªX¥¢£B¢¡¥v¬¡½@±¾°¨

¥

³

ªXÃ«+±¡Bµ¢£F n¿6¥WªX¥w¢H¡bµ´6¬º¿0¬B¢¡¥j¹D»M

³

¾

¯¢¯F·¡B«+.n¯¶ªXw®@¡bµªX®ªX¥¢£B¢¡¥v¢£ªXw®B¢£.µi¡

¬¡¥¢· ¡B®8¢· ¾W¬n¢£¾ >ÞA<1A 45@7w ¥½½n¢£B®½~µi¾W¥¬n¢¡¥0Þ

8/4564879 <=B9<GA AC@G>E84w¹AC<1A 4@87w¼j«+w¬= n¨Î½Wn¿6¥W½

³

¥qof ¡B®¡

³

®¥

³

¾W

³

¥½¦n¯¬¾w¢·U¢£. ·¡

³

ªX&ÞAC</ECC<@µA¡¶ ¬n}9C<>=

¡Bµ}9C<>=ED8>9&¬¡ ·6¡¥½¥

³

¢£¡ ¢£>¥ªXJÞED8>9F<j¹

¬B¢¡¥´¢£ªH®b¢£8¡Bµ;mKoäá6Þ8/4565479k«+¬nXB®·¡U¨

6 ¥¦¬¥¡¥¬B®ÁµA¾¥¬º¢¡¥¡Bµ;¡¶ªHªX¡¶¥ßUÄ£¹+R±

¾°¥

³

«+¬·n¯¢£ ¶¬º¢·Á§b®¾HÞ @56¡Bµ6¢£;½B¢£B¨A½¤¡Bµ6¢£¬¡ °¨

0¡¶¥W½¥

³

¬B¢£

³

¬¥.B®·¡¤6 n¿6¥W½.¥_¢£¡´¬¡ªw¥WB¢¡¥;¡BµOªXn¢£¡_½Ã¥@¥

Ä 0B¢¥

³

¢·Wj¡2§ ¡_¬½W¾ ¼@«¬¥

³

n¢

ì¿0¥n¨

³

B¥½ÃÆ¥¡2«®½

³

º¨$6¡«8¨Ì½

³

ªXf¬¡¶ j¡¥½¥

³

¢£¡CW ¡b®¡

³

¨Î½v½¬ °¢¡¶¥k¹ WªXn¢£¡w½lk£º®¬º¢ r

«+¬·¦W0 U¥~»M

³

¾W ã,A¬ì n¿6¥W½¦¥_¢£¡=¢£.½B¨

³

¶ª¥»M

³

¾ ¯

\ ¹ Å

Å

µw¸CÆ=¿wÃ¾vÇÉÊG·µËÁÌÍCÀº¼·C¯±ÎÌ¬=¸µwÏ=Ðµ=ÑwÒÓz²ÕÔ

¹Àº¼·ÉÍCÀº¼·C¯±ÎÌÊ=·µËÁÍCÀº¼·ÓÌ

Á9¿ÁÖC¿v¸ÉÊ=·µËÁÌÊ=·µËÁÍCÀº¼·ÓÌ

¿±×C¿=¾=ÆvÂ=¸µwÏÉÕ¬=¸µwÏ=Ðµ=ÑwÒÓÌ

Å

ÃÀw¹Ø

Å

µw¸CÆ=¿wÃ¾vÇÉÆG¯wÑÌLÆ=¯=Æ±ÎÃw·ÃwÐµ=ÑwÒÌLÆ±¬=¸µwÏGÐµ=ÑwÒÓFØ

Å

½=¶C¾±·CÀwµw¶»Ñ¿ºw¾±¸CÀ±Â=·CÀ<µw¶³²

ºw¿<¹¿=¾±·CÆwµw½=·µ

Å

Æ±¸Ãw¶GÏC¿|©=¨

ºw¿w¹¿=¾±·ÉÙ¯=Ú=ÆvÎÃw·Ã=Û=ÃËÁ9¿wÜ¯=Ú=Æw´=Ã<·Ì

ÜwªDÚ=Æw´=Ãw·ÌL±½=·=Â=½=·Û=ÃËÁ9¿ÓÝ²ÕÔ

¶ÃËÁ9¿=ÞwÑ=Ãw·ÃFÉÙ¯=Ú=ÆvÎÃw·Ã=Û=ÃËÁ9¿FÌL¯=Ú=Æ±ÎÃw·ÃwÐµ=ÑwÒÓÌ

Å

µw¸CÚ=Æ=¿wÃ¾±ÇÉÙ¯wÑÌL¯=Ú=ÆvÎÃw·ÃwÐµ=ÑwÒÌ

ß

ÂCÀG¾ËàG½=ÂÉÙ¯wÑ=Ü¯=Ú=Æw´=Ãw·ÌL¯=Ú=Æ±áÃ=¹CÓÌ

ÂCÀG¾ËàG½=ÂÉÙ¯wÑ=ÜwªCÚ=Æw´=Ãw·ÌªCÚ=Æ=¯v¶=·=â¹CÓÌ

Àº<Ú=Æ±¶µw·CÚ=Æ=¾wµw¶=·ÃÀ±¶D¿wÑFÉÙ¯=Ú=Æ±áÃ=¹ÌªCÚ=Æ=¯±¶=·=â¹CÓÌ

ÃCºGºw¿ÁÖ¹¿=Ú=ÆwÑ=Ãw·ÃÚ=Æ<ãFÉv½=·C¯±ÎÌL¯wÑCÓ

ä

ÓÌ

ºw¿±·=¶ÃËÁ9¿=Þ=ÀwÑyÉå±½=·=Â=½=·Û=ÃËÁ9¿FÌL±½=·C¯±Î9ÓFØ

»M

³

¾ ¯¢¯JÞ9ân¢£¡_½8¥.¢£ìªX®ªX¥¢£B¢¡¥.® °±

æ {D|

é}

î

éM

|ìë ð

°w8bé-~ òõô

î

ét

ö9øQé í

ä¥W¬º¯w6 °¢Ã±w¢·ªXH2§@6¥ªX¡½Wn®½v¥½ªXw®º¨

ªX¥_¢£½w±'mìKo(äá6ì¼j¢£¥n¯¢ì·¾´¡B«*¢£¡H¥w¢· °¨

½ 8¢£¡HªX¡½¾w® °¾¬=º¯w6 °¢ì±w¢·ª¸½=¥¢£ ¡6 °¨

¥½@¬¡ªXªX¾¥w¬b¢¡¥.¶ªX¡¥

³

n¯6 °¢°±°¢£ªXº¹

a0úCû !áý0ýHW51Q>Cý$ VQýH

(

U>>UPc$>Dÿ K5ij

>8T

a0úCû¬úCû !áý ;-Bc IBCý ýVWQh!áý #ý$ ( ý$TQ¢¤ j

+ýCý

¥¡ ½ Ã¢£¡~n¯w¬º¥

³

¥µA¡ ªXb¢¡¥¡¥½·¬ °¢¡¥W=¡Bµ

º¢· ¡

³

¥¡¾ìn¯w0 °¢°±°¢£ªXº¼k.¬¡ªXªX¡¥½¡ªXB¥¡¥¨

¢£¡B®¡

³

¢·W´°¢£¥½ ½

½B¢£w ¶ ¬º±¥½¦½W¡¶ªXB¥¡¥¢£¡B®¡

³

µi¡ n¯j °¢°±°¨

³

¢¥ªX6¡ °¢£¶¥w¢+·¾H¡2«"¢£¡=¬¡¶¥w¨

°¢£ ¾¬º¢8¬¡ªXªX¡¥.½¡ªXB¥.¡¥¢£¡B®¡

³

±_¼«QW2±Xª¾W¬nHªX¡

³

½°¨

¢£ °W¾¢£½Hº¯wj °¢;°±°¢£ªXº¼½.¡¶¥Ã mìKo(äá6® °±

³

¤¬¡ªXªX¡¥ªXº¢·W¡½F¡¥¢£¡B®¡

³

±_¹

a0úCû¬úù èç QC>Dÿ $K5IJONPIJQ>Cý$

¥¢£¡¦¢°«;¡C½wÂ ¥_¢ÃW ¡¬º¼½ ¬º¢=¬¡¶ªXª¤¾¥¬B¢¡¥

¥½ °¢£½¬¡¡ ½w¥Wb¢¡¥ ¥ *GFì¥C,/.>04¹ vµA¡¶ ªX

W¶ °¥

³

«+¬n¦ Hjn¢¢£ ¥¦®

³

H·¬B®H¬¡¡j B¢¡¥j¹ +;¬¾

(7)

êë ììíî ïð ñ òóôìð õöî òî êöò÷ð öî ø íù íú

û öü êë û

ìí ÷òïöý íð ý ò÷ë í û öü êë û

öø íò÷ð ìòî þ í

ê ôñ û ë ïíð ôë ïð ô õð ìòî þ í ÿ öø íò ÷ð ìòî þ í

úíïð ý ò ÷ë í ôë ïð ô õð ìòî þ í

õôìð íò ê

xvx{zvxvwu

uzvt x{z{{zyuu úôìï

xvuy yvu

uzvt x{z{{zyuu

x vxzu

ñ íñ íì

uuv{ux{zvx

vwu uzv{zz{{zyu ò úïìò êï

úí÷í êïÿ ì í÷òïöý íð ý ò÷ë í ÿ ôë ïð ô õð ìòî þ í

òúúíñ ÷í

//

~ , //

~ ,

»M

³

«;B§¤¬¡ªXªX¡¥¡¥_¢·¡B®¡

³

±¼¢;+°±=¢£¡¤¥W¶¬º¢¶¥ _¨

½W ¡¬n¢£¡¥¢£ ¡6 ·b¢£Hn¯j °¢¤°±°¢£ªX¹F

¡¥¶¢£¡B®¡

³

±¥W½C¬¡ªXªX¡¶¥~½W¡¶ªXB¥~¡¶¥w¢·¡B®¡

³

±¶¹FÄQ®©¢£¡¾

³

¡¥Rº¯w6 °¢Á±w¢·ª i¡ °

³

¥WB¢·¡ ht¬¥

³

º¢O¢£f¥µi¡ ªXB¢¡¥

¥¢&¢£ ¡¾

³

ªXW ¡§ì¢£¤¡ °

³

¥WB¢·¡ º¹ +;¬¾¢¬¡°¢£¢£¡_¡=ª¾W¬n@¢·¡

³

Q¢·¡¢£Q«+¡B®Q¥w¨

³

¥@¢£ªXB®®g¬¡¥_¢·º¯_¢¡BµÁ¬¡ j¡¥½W¥¬Ujn¢°«Q¥.¥µi °¨

³

¥B¢£¡¶ O¥½U¢£W¡¶·R¡Bµ0 ¬n¥¢¹

³

M ¥¢£½

A»M

³

¾ ¯-.D8RµA¡B®®¡B«+&Þ

¯B¹âÆ¤=·n¢´¡Bµ;¬¡ j¡¥½W¥¬´¥«+w¬º¥wµi ¥¬

³

¥B¢£¡ N¥½

¤ ¬ºw¥¢¹

\ ¹ +f±v¢£¶Æ¥

³

¦®¡¡ÆB¢=¢£W¬¡¥¢£n¯¢A º¨A¥µi ¥¬n¨

¥½ nµi ¥¬FÆ_¥W¡2«®½

³

o´¡Bµ¢£.¥wµi ·¥¬F °ª¨

quality

certainty asset

object_resource structure

parameter enterprise

powerfulness property

system_structure

doujikinsi_rule schedule

restraint

state

resource heuristic

extent

normal_state

advice endurance

proposal

amount relative_quantity load rule

magnitude

normal_range

communication

range human_resource decomposability

obstacle

abnormal_range

financial_index variable

construction

qualitative_value value

answer

nil

act

department

proposition component

physical_property controllability

abnormal_state

order entity

time

physical_parameter

action

operation

financial_equation

message

statement knowledge

changeability

relation

priority equation

sign abstraction

mathematical_statement physical_equation influence

attribute

effectiveness

all

period

job

device_structure

quantitative_value psychological_feature

artifact

strength

symbol quantity

constraint constitution

»M

³

¾ ¯>®bÞfÄï;¡¶ªXªX¡¥ì¡ªXb¥ä¥w¢·¡B®¡

³ ±

Inference Structure

( The Recipient ) Inference Structure ( The Originator )

(1) Pairs of the same inference primitives

( Recipient ES )

pre2. IP

pre1.IP

knowledge

Compute the correspondence value from the context

input

cen.IP

output

post.IP

( Originator ES )

»M

³

¾W ¯-.bÞRÄuªX·

³ ³

§B®¾WFF¬¡ªX¾w¢·½j¹ §B®¾WF¬¡ªX¾w¢·½u_±

¬¡ªX °¥

³

¢£gµA¡b®©®¡2«¥

³

nµA ¥W¬fÆ_¥W¡b«®½

³

g¬¡¶ª¨

³

8¢£§B®¾WB¹

®w¹+@¬¡ j¡¥½W¥¬=§B®¾WXHW ¡

³

b¢£½¢£¡W n¨

.w¹+ÄQµ¢£ @¬¡ªX®n¢¥

³

W ¡¶W

³

°¥

³

®

³

F¢·¡

ªX¡½wµm±=¢·Wì¡ °

³

¥WB¢·¡ `8¥µA ¥W¬¥

³

¥B¹