{"id":1371,"date":"2023-03-25T10:23:29","date_gmt":"2023-03-25T02:23:29","guid":{"rendered":""},"modified":"2023-03-25T10:23:29","modified_gmt":"2023-03-25T02:23:29","slug":"AI \u7edf\u4e00","status":"publish","type":"post","link":"https:\/\/bianchenghao6.com\/1371.html","title":{"rendered":"AI \u7edf\u4e00"},"content":{"rendered":"


\n <\/head>
\n <\/p>\n

\n

AI \u7edf\u4e00<\/h1>\n<\/p><\/div>\n

\u7edf\u4e00\u662f\u901a\u8fc7\u67e5\u627e\u66ff\u6362\u4f7f\u4e24\u4e2a\u4e0d\u540c\u7684\u903b\u8f91\u539f\u5b50\u8868\u8fbe\u5f0f\u76f8\u540c\u7684\u8fc7\u7a0b\u3002\u7edf\u4e00\u53d6\u51b3\u4e8e\u66ff\u6362\u8fc7\u7a0b\u3002<\/span>
\n \u5b83\u5c06\u4e24\u4e2a\u6587\u5b57\u4f5c\u4e3a\u8f93\u5165\uff0c\u5e76\u4f7f\u7528\u66ff\u6362\u4f7f\u5b83\u4eec\u76f8\u540c\u3002 <\/span>
\n \u8ba9\u03a8 1 <\/sub>\u548c\u03a8 2 <\/sub>\u662f\u4e24\u4e2a\u539f\u5b50\u53e5\u5b50\uff0c\u5e76\u4e14\uff06#x1d70e;\u6210\u4e3a\u7edf\u4e00\u4f53\uff0c\u03a8 1 <\/sub>\uff06#x1d70e; =\u03a8 2 <\/sub>\uff06#x1d70e; \uff0c\u5219\u53ef\u4ee5\u8868\u793a\u4e3a UNIFY(\u03a8 1 <\/sub>\uff0c\u03a8 2 <\/sub>) \u3002<\/span>
\n \u793a\u4f8b: \u67e5\u627eUnify {King(x)\uff0cKing(John)}\u7684MGU <\/span> <\/p>\n

\n \u8ba9\u03a8
\n 1 <\/sub> = King(x)\uff0c\u03a8
\n 2 <\/sub> = King(John)\uff0c\n <\/div>\n
\n \u66ff\u6362\u03b8 = {John\/x} \u662f\u8fd9\u4e9b\u539f\u5b50\u7684\u7edf\u4e00\u4f53\uff0c\u5e76\u5e94\u7528\u6b64\u66ff\u6362\uff0c\u4e24\u4e2a\u8868\u8fbe\u5f0f\u5c06\u76f8\u540c\u3002\n <\/div>\n

\u4f7f\u7528UNIFY\u7b97\u6cd5\u8fdb\u884c\u7edf\u4e00\uff0c\u8be5\u7b97\u6cd5\u91c7\u7528\u4e24\u4e2a\u539f\u5b50\u8bed\u53e5\u5e76\u8fd4\u56de\u8fd9\u4e9b\u8bed\u53e5\u7684\u7edf\u4e00\u7b26(\u5982\u679c\u5b58\u5728)\u3002<\/span>
\n \u7edf\u4e00\u662f\u6240\u6709\u4e00\u9636\u63a8\u7406\u7b97\u6cd5\u7684\u5173\u952e\u7ec4\u6210\u90e8\u5206\u3002<\/span>
\n \u5982\u679c\u8868\u8fbe\u5f0f\u5f7c\u6b64\u4e0d\u5339\u914d\uff0c\u5219\u8fd4\u56de\u5931\u8d25\u3002<\/span>
\n \u66ff\u6362\u53d8\u91cf\u79f0\u4e3a\"\u6700\u901a\u7528\u7edf\u4e00\u8005\"\u6216MGU\u3002 <\/span> <\/p>\n

\n \u4f8b\u5982\uff0c\u5047\u8bbe\u6709\u4e24\u4e2a\u4e0d\u540c\u7684\u8868\u8fbe\u5f0f\uff0c P(x\uff0cy)\u548cP(a\uff0cf(z))\u3002\n <\/div>\n
\n \u5728\u6b64\u793a\u4f8b\u4e2d\uff0c\u6211\u4eec\u9700\u8981\u4f7f\u4ee5\u4e0a\u4e24\u4e2a\u8bed\u53e5\u5f7c\u6b64\u76f8\u540c\u3002\u4e3a\u6b64\uff0c\u6211\u4eec\u5c06\u6267\u884c\u66ff\u6362\u3002\n <\/div>\n
\n P(x\uff0cy).........(i)
\n
P(a\uff0cf(z)).........(ii)\n <\/div>\n

\u5728\u7b2c\u4e00\u4e2a\u8868\u8fbe\u5f0f\u4e2d\u5c06x\u66ff\u6362\u4e3aa\uff0c\u5c06y\u66ff\u6362\u4e3af(z)\uff0c\u5e76\u5c06\u5176\u8868\u793a\u4e3a a\/x \u548cf(z)\/y\u3002<\/span>
\n \u901a\u8fc7\u4e24\u4e2a\u66ff\u6362\uff0c\u7b2c\u4e00\u4e2a\u8868\u8fbe\u5f0f\u5c06\u4e0e\u7b2c\u4e8c\u4e2a\u8868\u8fbe\u5f0f\u76f8\u540c\uff0c\u5e76\u4e14\u66ff\u6362\u96c6\u5c06\u4e3a: [a\/x\uff0cf(z)\/y] \u3002<\/span> <\/p>\n

\u7edf\u4e00\u7684\u6761\u4ef6: <\/h2>\n
\n \u4ee5\u4e0b\u662f\u7edf\u4e00\u7684\u4e00\u4e9b\u57fa\u672c\u6761\u4ef6:\n <\/div>\n

\u8c13\u8bcd\u7b26\u53f7\u5fc5\u987b\u76f8\u540c\uff0c\u5177\u6709\u4e0d\u540c\u8c13\u8bcd\u7b26\u53f7\u7684\u539f\u5b50\u6216\u8868\u8fbe\u5f0f\u6c38\u8fdc\u4e0d\u80fd\u7edf\u4e00\u3002<\/span>
\n \u4e24\u4e2a\u8868\u8fbe\u5f0f\u4e2d\u7684\u53c2\u6570\u4e2a\u6570\u5fc5\u987b\u76f8\u540c\u3002 <\/span>
\n \u5982\u679c\u540c\u4e00\u8868\u8fbe\u5f0f\u4e2d\u5b58\u5728\u4e24\u4e2a\u76f8\u4f3c\u7684\u53d8\u91cf\uff0c\u7edf\u4e00\u5c06\u5931\u8d25\u3002<\/span> <\/p>\n

\u7edf\u4e00\u7b97\u6cd5: <\/h2>\n
\n \u7b97\u6cd5: Unify(\u03a8
\n 1 <\/sub>\uff0c\u03a8
\n 2 <\/sub>)\n <\/div>\n
\n
Step. 1: If \u03a81 or \u03a82 is a variable or constant, then:\r\n    a) If \u03a81 or \u03a82 are identical, then return NIL. \r\n    b) Else if \u03a81is a variable, \r\n        a. then if \u03a81 occurs in \u03a82, then return FAILURE\r\n        b. Else return { (\u03a82\/ \u03a81)}.\r\n    c) Else if \u03a82 is a variable, \r\n        a. If \u03a82 occurs in \u03a81 then return FAILURE,\r\n        b. Else return {( \u03a81\/ \u03a82)}. \r\n    d) Else return FAILURE. \r\nStep.2: If the initial Predicate symbol in \u03a81 and \u03a82 are not same, then return FAILURE.\r\nStep. 3: IF \u03a81 and \u03a82 have a different number of arguments, then return FAILURE.\r\nStep. 4: Set Substitution set(SUBST) to NIL. \r\nStep. 5: For i=1 to the number of elements in \u03a81. \r\n    a) Call Unify function with the ith element of \u03a81 and ith element of \u03a82, and put the result into S.\r\n    b) If S = failure then returns Failure\r\n    c) If S \u2260 NIL then do,\r\n        a. Apply S to the remainder of both L1 and L2.\r\n        b. SUBST= APPEND(S, SUBST). \r\nStep.6: Return SUBST. <\/pre>\n
<\/code>\n  <\/div>\n
\u7b97\u6cd5\u7684\u5b9e\u73b0<\/h2>\n
\n    Step.1: \u5c06\u66ff\u6362\u96c6\u521d\u59cb\u5316\u4e3a\u7a7a\u3002\n  <\/div>\n
\n    Step .2: \u4ee5\u9012\u5f52\u65b9\u5f0f\u7edf\u4e00\u539f\u5b50\u53e5\u5b50:\n  <\/div>\n
  \u68c0\u67e5\u76f8\u540c\u7684\u8868\u8fbe\u5f0f\u5339\u914d\u9879\u3002<\/span>
\n  \u5982\u679c\u4e00\u4e2a\u8868\u8fbe\u5f0f\u662f\u53d8\u91cfv  i <\/sub>\uff0c\u800c\u53e6\u4e00\u4e2a\u8868\u8fbe\u5f0f\u662f\u4e0d\u5305\u542b\u53d8\u91cfv  i <\/sub>\u7684\u9879t  i <\/sub>\uff0c\u5219: \u5c06t  i <\/sub>\/v  i <\/sub>\u66ff\u6362\u4e3a\u73b0\u6709\u66ff\u6362<\/span> \u5c06t  i <\/sub>\/v  i <\/sub>\u6dfb\u52a0\u5230\u66ff\u6362\u96c6\u5217\u8868\u4e2d\u3002<\/span> \u5982\u679c\u4e24\u4e2a\u8868\u8fbe\u5f0f\u90fd\u662f\u51fd\u6570\uff0c\u5219\u51fd\u6570\u540d\u79f0\u5fc5\u987b\u76f8\u4f3c\uff0c\u5e76\u4e14\u4e24\u4e2a\u8868\u8fbe\u5f0f\u4e2d\u7684\u53c2\u6570\u6570\u76ee\u5fc5\u987b\u76f8\u540c\u3002 <\/span> <\/span> <\/p>\n
\n    \u5bf9\u4e8e\u4ee5\u4e0b\u6bcf\u5bf9\u539f\u5b50\u53e5\uff0c\u627e\u5230\u6700\u901a\u7528\u7684\u7edf\u4e00\u8bcd(\u5982\u679c\u5b58\u5728)\u3002\n  <\/div>\n
\n    1\u3001\u5728{p(f(a)\uff0cg(Y))\u548cp(X\uff0cX)}\u7684MGU\u4e2d\u67e5\u627e<\/b>\n  <\/div>\n
\n    Sol: S
\n    0 <\/sub> =>\u6b64\u5904\uff0c\u03a8
\n    1 <\/sub> = p(f(a)\uff0cg(Y))\uff0c\u03a8
\n    2 <\/sub> = p(X\uff0cX)
\n   
 SUBST\u03b8= {f( a)\/X}
\n   
 s1 =>\u03a8
\n    1 <\/sub> = p(f(a)\uff0cg(Y))\uff0c\u03a8
\n    2 <\/sub> = p(f(a )\uff0cf(a))
\n   
 SUBST\u03b8= {f(a)\/g(y)}\uff0c\u7edf\u4e00\u5931\u8d25\u3002\n  <\/div>\n
\n    \u8fd9\u4e9b\u8868\u8fbe\u5f0f\u65e0\u6cd5\u7edf\u4e00\u3002\n  <\/div>\n
\n   2\u3001\u627e\u51fa{p(b\uff0cX\uff0cf(g(Z)))\u548cp(Z\uff0cf(Y)\uff0cf(Y))}\u7684MGU<\/b>\n  <\/div>\n
\n    \u6b64\u5904,,
\n    1 <\/sub> = p(b\uff0cX\uff0cf(g(Z)))\u548c\u03a8
\n    2 <\/sub> = p(Z\uff0cf(Y)\uff0cf(Y))
\n   
 S
\n    0 <\/sub> => {p(b\uff0cX\uff0cf(g(Z))); p(Z\uff0cf(Y)\uff0cf(Y))}
\n   
 SUBST\u03b8= {b\/Z}\n  <\/div>\n
\n    S
\n    1 <\/sub> => {p(b\uff0cX \uff0cf(g(b))); p(b\uff0cf(Y)\uff0cf(Y))}
\n   
 SUBST\u03b8= {f(Y)\/X}\n  <\/div>\n
\n    S
\n    2 <\/sub> => {p( b\uff0cf(Y)\uff0cf(g(b))); p(b\uff0cf(Y)\uff0cf(Y))}
\n   
 SUBST\u03b8= {g(b)\/Y}\n  <\/div>\n
\n    S
\n    2 <\/sub> => {p( b\uff0cf(g(b))\uff0cf(g(b)); p(b\uff0cf(g(b))\uff0cf(g(b))} \u5df2\u6210\u529f\u7edf\u4e00\u3002
\n   
\u5e76\u4e14Unifier = {b\/Z\uff0cf(Y)\/X\uff0cg(b)\/Y} \u3002\n  <\/div>\n
\n   3\u3001\u627e\u5230{p(X\uff0cX),\u548cp\u7684MGU(Z\uff0cf(Z))}<\/b>\n  <\/div>\n
\n    \u5728\u8fd9\u91cc\uff0c\u03a8
\n    1 <\/sub> = {p(X\uff0cX)\u548c\u03a8
\n    2 <\/sub> = p(Z\uff0cf(Z))
\n   
 S
\n    0 <\/sub> => {p(X\uff0cX)\uff0cp(Z\uff0cf(Z))}
\n   
 SUBST\u03b8= {X\/Z}
\n   
 s1 => {p(Z\uff0cZ)\uff0cp(Z\uff0cf(Z))}
\n   
 SUBST\u03b8= {f(Z)\/Z}\uff0c\u7edf\u4e00\u5931\u8d25\n  <\/div>\n
\n    \u56e0\u6b64\uff0c\u8fd9\u4e9b\u8868\u8fbe\u5f0f\u65e0\u6cd5\u7edf\u4e00\u3002\n  <\/div>\n
\n    4\u3001\u627e\u5230UNIFY\u7684MGU(prime(11),prime(y)) <\/b>\n  <\/div>\n
\n    \u5728\u8fd9\u91cc\uff0c\u03a8
\n    1 <\/sub> = {prime(11)\u548c\u03a8
\n    2 <\/sub> = prime(y)}
\n   
 S
\n    0 <\/sub> => {prime(11)\uff0cprime(y)}
\n   
 SUBST\u03b8= {11\/y}\n  <\/div>\n
\n    S
\n    1 <\/sub> => {prime(11)\uff0cprime(11)}\uff0c\u5df2\u6210\u529f\u7edf\u4e00\u3002 <\/p>\n
\u7edf\u4e00\u8005: {11\/y}\u3002\n  <\/p><\/div>\n
\n    5\u3001\u627e\u5230Q(a\uff0cg(x\uff0ca)\uff0cf(y))\uff0cQ\u7684MGU(a\uff0cg(f(b)\uff0ca)\uff0cx)} <\/b>\n  <\/div>\n
\n    \u6b64\u5904\uff0c\u03a8
\n    1 <\/sub> = Q(a\uff0cg(x\uff0ca)\uff0c f(y))\u548c\u03a8
\n    2 <\/sub> = Q(a\uff0cg(f(b)\uff0ca)\uff0cx)
\n   
 S
\n    0 <\/sub> => {Q( a\uff0cg(x\uff0ca)\uff0cf(y)); Q(a\uff0cg(f(b)\uff0ca)\uff0cx)}
\n   
 SUBST\u03b8= {f(b)\/x}
\n   
 S
\n    1 <\/sub> => {Q(a\uff0c g(f(b)\uff0ca)\uff0cf(y)); Q(a\uff0cg(f(b)\uff0ca)\uff0cf(b))}\n  <\/div>\n
\n    SUBST\u03b8= {b\/y}
\n   
 S
\n    1 <\/sub> => { Q(a\uff0cg(f(b)\uff0ca)\uff0cf(b)); Q(a\uff0cg(f(b)\uff0ca)\uff0cf(b))}\uff0c\u5df2\u6210\u529f\u7edf\u4e00\u3002\n  <\/div>\n
\n    \u7edf\u4e00\u7b26: [a\/a\uff0cf( b)\/x\uff0cb\/y]\u3002\n  <\/div>\n
\n   6\u3001 UNIFY(knows(Richard\uff0cx)knows(Richard\uff0cJohn))<\/b>\n  <\/div>\n
\n    \u03a81 = knows(Richard, x), and \u03a82 = knows(Richard, John)
\n   
 S0 => { knows(Richard, x); knows(Richard, John)}
\n   
 SUBST \u03b8= {John\/x}
\n   
 S1 => { knows(Richard, John); knows(Richard, John)},\u6210\u529f\u7edf\u4e00\u3002
\n   
 \u7edf\u4e00\u8005: {John\/x}\u3002\n  <\/div>\n
\n
 <\/body>
\n<\/html><\/p>\n","protected":false},"excerpt":{"rendered":"AI \u7edf\u4e00zh-cn","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[139],"tags":[],"class_list":["post-1371","post","type-post","status-publish","format-standard","hentry","category-aijc"],"_links":{"self":[{"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/posts\/1371"}],"collection":[{"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/comments?post=1371"}],"version-history":[{"count":0,"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/posts\/1371\/revisions"}],"wp:attachment":[{"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/media?parent=1371"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/categories?post=1371"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/tags?post=1371"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}