È˹¤ÖÇÄܿγÌϰÌâÓ벿·Ö½â´ð - ͼÎÄ ÏÂÔØ±¾ÎÄ

ÔÚÉÏÃæÈ·¶¨h(x)ʱ£¬¾¡¹Ü²¢²»ÖªµÀh*(x)¾ßÌåΪ¶àÉÙ£¬µ«µ±²ÉÓõ¥Î»´ú¼Ûʱ£¬Í¨¹ý¶Ô²»ÔÚÄ¿±ê״̬ÖÐÏàӦλÖõÄÊýÂë¸öÊýµÄ¹À¼Æ£¬¿ÉÒԵóöÖÁÉÙÐèÒªÒÆ¶¯h(x)²½²ÅÄܹ»µ½´ïÄ¿±ê£¬ÏÔÈ»h(x)¡Üh*(x)¡£Òò´ËËüÂú×ãA*Ëã·¨µÄÒªÇó¡£

×îÓÅËÑË÷·¾¶: Èçͼ´ÖÏßËùʾ¡£ (2) ´Ëʱ8ÊýÂëËÑË÷ͼ¿É±íʾΪ£º

Õâʱ£¬ÏÔÈ»ÓÐh(x)¡Üp(x)¡Üh*(n)£¬ÏàÓ¦µÄËÑË÷¹ý³ÌÒ²ÊÇA*Ëã·¨¡£È»¶ø£¬p(x)±Èh(n)ÓиüÇ¿µÄÆô·¢Ê½ÐÅÏ¢£¬ÓÉw(x)=p(x)¹¹ÔìµÄÆô·¢Ê½ËÑË÷Ê÷£¬±Èw(x)=h(x)¹¹ÔìµÄÆô·¢Ê½ËÑË÷Ê÷½ÚµãÊýÒªÉÙ¡£

£¨3£©Èôw(x)=0£¬¸ÃÎÊÌâ¾Í±äΪ¿í¶ÈÓÅÏÈËÑË÷ÎÊÌâ¡£

3.9 Èçͼ3.3Ëùʾ£¬ÊÇ5¸ö³ÇÊÐÖ®¼äµÄ½»Í¨Â·Ïßͼ£¬A³ÇÊÐÊdzö·¢µØ£¬E³ÇÊÐÊÇÄ¿µÄµØ£¬Á½³ÇÊÐÖ®¼äµÄ½»Í¨·ÑÓ㨴ú¼Û£©ÈçͼÖеÄÊý×Ö£¬Çó´ÓAµ½EµÄ×îС·ÑÓý»Í¨Â·Ïß¡£

5

4 A 3 4 B 5 2 3 D C E

ͼ3.3 ÂÃÐн»Í¨Í¼

±¾ÌâÊÇ¿¼²ì´ú¼ÛÊ÷ËÑË÷µÄ»ù±¾¸ÅÄÁ˽âÕâÖÖËÑË÷·½·¨ÓëÉî¶ÈÓÅÏȺͿí¶ÈÓÅÏȵIJ»Í¬¡£Ê×ÏȽ«ÂÃÐн»Í¨Í¼×ª»»Îª´ú¼ÛÊ÷Èçͼ3.4Ëùʾ¡£

ͼ3.4 ½»Í¨Í¼µÄ´ú¼ÛÊ÷

(1) Èç¹ûÒ»¸ö½ÚµãÒѾ­³ÉΪij¸÷½ÚµãµÄǰÇý½Úµã£¬ÔòËü¾Í²»ÄÜÔÙ×÷Ϊ¸Ã½ÚµãµÄºó¼Ì½Úµã¡£ÀýÈç½ÚµãBÏàÁڵĽڵãÓÐAºÍD£¬µ«ÓÉÓÚÔÚ´ú¼ÛÊ÷ÖУ¬AÒѾ­×÷ΪBµÄǰÇý½Úµã³öÏÖ£¬ÔòËü¾Í²»ÔÙ×÷ΪBµÄºó¼Ì½Úµã¡£

(2) ³ýÁ˳õʼ½ÚµãAÍ⣬ÆäËü½Úµã¶¼ÓпÉÄÜÔÚ´ú¼ÛÊ÷Öжà´Î³öÏÖ£¬ÎªÁËÇø·ÖËüÃǵĶà´Î³öÏÖ£¬·Ö±ðÓÃϱê1¡¢2¡¢3¡­±ê³ö£¬µ«ËüÃǶ¼ÊÇͼÖÐͬһ½Úµã¡£ÀýÈçC1ºÍC2¶¼´ú±íͼÖнڵãC¡£

¶ÔÉÏÃæËùʾµÄ´ú¼ÛÊ÷×ö¿í¶ÈÓÅÏÈËÑË÷£¬¿ÉµÃµ½×îÓŽâΪ£º

A¡úC1¡úD1¡úE2

´ú¼ÛΪ8¡£Óɴ˿ɼû£¬´ÓA³ÇÊе½E³ÇÊеÄ×îС·ÑÓ÷ÏßΪ£º

A¡úC¡úD¡úE

Èç¹û²ÉÓôú¼ÛÊ÷µÄÉî¶ÈÓÅÏÈËÑË÷£¬Ò²»áµÃµ½Í¬ÑùµÄ½á¹û£º

A¡úC¡úD¡úE

µ«×¢Ò⣺ÕâÖ»ÊÇÒ»ÖÖÇɺϣ¬Ò»°ãÇé¿öÏ£¬ÕâÁ½ÖÖ·½·¨µÃµ½µÄ½á¹û²»Ò»¶¨Ïàͬ¡£ÔÙÕߣ¬´ú¼ÛÊ÷µÄÉî¶ÈÓÅÏÈËÑË÷¿ÉÄܽøÈëÎÞÇî·Ö֧·¾¶£¬Òò´ËÒ²ÊDz»Í걸µÄ¡£

3.10 ¶ÔÓÚͼ3.4ËùʾµÄ״̬¿Õ¼äͼ£¬¼ÙÉèUÊÇÄ¿±ê״̬£¬ÊÔ¸ø³ö¿í¶ÈÓÅÏÈËÑË÷ÓëÉî¶ÈÓÅËÑË÷µÄOPEN±íºÍCLOSED±íµÄ±ä»¯Çé¿ö¡£

6

ͼ3.5 ״̬¿Õ¼äͼ

[½â] ¿í¶ÈÓÅÏÈËÑË÷µÄOPEN±íºÍCLOSED±íµÄ±ä»¯Çé¿ö£º

1. OPEN=[A]; CLOSED=[ ] 2. OPEN=[B,C,D]; CLOSED=[A] 3. OPEN=[C,D,E,F]; CLOSED=[B,A] 4. OPEN=[D,E,F,G,H]; CLOSED=[C,B, A] 5. OPEN=[E,F,G,H,I,J]; CLOSED=[D,C,B, A] 6. OPEN=[F,G,H,I,J,K,L]; CLOSED=[E,D,C,B,A] 7. OPEN=[G,H,I,J,K,L,M]£¨ÓÉÓÚLÒÑÔÚOPENÖУ©;

CLOSED=[F,E,D,C,B,A] 8. OPEN=[H,I,J,K,L,M,N]; CLOSED=[G,F,E,D,C,B,A] 9. ÒÔ´ËÀàÍÆ£¬Ö±µ½ÕÒµ½ÁËU»òOPEN=[ ]¡£ Éî¶ÈÓÅÏÈËÑË÷µÄOPEN±íºÍCLOSED±íµÄ±ä»¯Çé¿ö£º

1. OPEN=[A]; CLOSED=[ ] 2. OPEN=[B,C,D]; CLOSED=[A] 3. OPEN=[E,F,C,D]; CLOSED=[B,A] 4. OPEN=[K,L,F,C,D]; CLOSED=[E,B, A] 5. OPEN=[S,L,F,C,D]; CLOSED=[K,E,B, A] 6. OPEN=[L,F,C,D]; CLOSED=[S,K,E,B,A] 7. OPEN=[T,F,C,D]; CLOSED=[L,S,K,E,B,A] 8. OPEN=[F,C,D]; CLOSED=[T,L,S,K,E,B,A] 9. OPEN=[M,C,D]£¨ÓÉÓÚLÒѾ­ÔÚCLOSEDÖÐ;

CLOSED=[F,T,L,S,K,E,B,A]

10. OPEN=[C,D]; CLOSED=[M,F,T,L,S,K,E,B,A] 11. OPEN=[G,H,D]; CLOSED=[C,M,F,T,L,S,K,E,B,A] 12. ÒÔ´ËÀàÍÆ£¬Ö±µ½ÕÒµ½ÁËU»òOPEN=[ ]¡£

µÚ4Õ ×Ô¶¯ÍÆÀí

4.1ʲôÊÇÍÆÀíµÄ¿ØÖƲßÂÔ£¿ÓÐÄļ¸ÖÖÖ÷ÒªµÄÍÆÀíÇý¶¯Ä£Ê½£¿

7

4.2×ÔÈ»ÑÝÒïÍÆÀíµÄ»ù±¾¸ÅÄîÓë»ù±¾µÄÍÆÀí¹æÔò¡£

4.3 ʲôÊǺÏÈ¡·¶Ê½? ʲôÊÇÎöÈ¡·¶Ê½? ʲôÊÇSkolem±ê×¼»¯? ÈçºÎ½«Ò»¸ö¹«Ê½»¯ÎªÕâЩÐÎʽ?

4.4 ½«ÏÂÁй«Ê½»¯ÎªSkolem±ê×¼ÐÍ:

?x?y?z?u?v?wP(x,y,z,u,v,w)

[½â] ÔÚ¹«Ê½ÖУ¬(?x)µÄÇ°ÃæÃ»ÓÐÈ«³ÆÁ¿´Ê£¬(?u)µÄÇ°ÃæÓÐÈ«³ÆÁ¿´Ê(?y)ºÍ(?z), ÔÚ

(?w)µÄÇ°ÃæÓÐÈ«³ÆÁ¿´Ê(?y),(?z)ºÍ(?v)¡£ËùÒÔ£¬ÔÚP(x,y,z,u,v,w)ÖУ¬Óó£Êýa´úÌæ

x, ÓöþÔªº¯Êýf(y,z)´úÌæu, ÓÃÈýÔªº¯Êýg(y,z,v)´úÌæw,È¥µôǰ׺ÖеÄËùÓдæÔÚÁ¿´ÊÖ®ºóµÃ³öSkolem±ê×¼ÐÍ£º

?y?z?vP(a,y,z,f(y,z),v,g(y,z,v))

4.5»¯Îª×Ó¾äÐÎÓÐÄÄЩ²½Öè?

[½â]

(1)ÀûÓõȼÛν´Ê¹ØÏµÏûȥν´Ê¹«Ê½ÖеÄÔ̺­·û¡°¡ú ¡±ºÍË«Ìõ¼þ·û¡°¡û¡ú ¡±¡£ (2)ÀûÓõȼ۹ØÏµ°Ñ·ñ¶¨·ûºÅ¡°©´¡±ÒƵ½½ô¿¿Î½´ÊµÄλÖÃÉÏ¡£ (3)ÖØÐÂÃüÃû±äÔªÃû£¬Ê¹²»Í¬Á¿´ÊÔ¼ÊøµÄ±äÔªÓв»Í¬µÄÃû×Ö¡£ (4)ÏûÈ¥´æÔÚÁ¿´Ê¡£ (5)½«¹«Ê½»¯ÎªÇ°ÊøÐΡ£

(6)°Ñ¹«Ê½»¯ÎªSkolem±ê×¼ÐΡ£ (7)Ïûȥȫ³ÆÁ¿´Ê¡£ (8)ÏûÈ¥ºÏÈ¡´Ê¡£

(9)¶Ô±äÔª¸üÃû£¬Ê¹²»Í¬×Ó¾äÖеıäÔª²»Í¬Ãû¡£ 4.6½«ÏÂÁÐν´Ê¹«Ê½»¯Îª×Ӿ伯:

(1) (?x)[~P(x)?~Q(x)]¡ú(?y)[S(x,y)?Q(x)]?(?x)[P(x)?B(x)] (2)?x[P(x)?[?y[P(y)?P(f(x,y))]?~?y[Q(x,y)?P(y)]]]

[½â] (1) ת»»¹ý³Ì×ñÕÕÏÂÁÐ9¸ö²½ÖèÒÀ´ËΪ: A. ÏûÈ¥Ô̺­·û·ûºÅ£º

(?x){~[~p(x)?~Q(x)]?(?y)[S(x,y)?Q(x)]}?(?x)[P(x)?B(x)] B.¼õÉÙ·ñ¶¨·ûºÅµÄϽÓò£º

(?x){[p(x)?Q(x)]?(?y)[S(x,y)?Q(x)]}?(?x)[P(x)?B(x)] C. ±äÁ¿±ê×¼»¯£º

(?x){[p(x)?Q(x)]?(?y)[S(x,y)?Q(x)]}?(?w)[P(w)?B(w)] D. ÏûÈ¥´æÔÚÁ¿´Ê£º

(?x){[p(x)?Q(x)]?[S(x,f(x))?Q(x)]}?(?w)[P(w)?B(w)] E. »¯ÎªÇ°ÊøÐÍ£º

(?x)(?w){[p(x)?Q(x)]?[S(x,f(x))?Q(x)]}?[P(w)?B(w)] F. °Ñĸʽ»¯ÎªºÏÈ¡·¶Ê½£º

(?x)(?w){[p(x)?S(x,f(x))]?Q(x)?[P(w)?B(w)]} G. Ïûȥȫ³ÆÁ¿´Ê£º

[p(x)?S(x,f(x))]?Q(x)?[P(w)?B(w)] H. ÏûÈ¥ºÏÈ¡´Ê£º

8