AI \u4e00\u9636\u903b\u8f91\u63a8\u7406<\/h1>\n<\/p><\/div>\n

\n \u4e00\u9636\u903b\u8f91\u63a8\u7406\u7528\u4e8e\u4ece\u73b0\u6709\u53e5\u5b50\u4e2d\u63a8\u65ad\u51fa\u65b0\u7684\u4e8b\u5b9e\u6216\u53e5\u5b50\u3002\u5728\u7406\u89e3FOL\u63a8\u7406\u89c4\u5219\u4e4b\u524d\uff0c\u8ba9\u6211\u4eec\u4e86\u89e3FOL\u4e2d\u4f7f\u7528\u7684\u4e00\u4e9b\u57fa\u672c\u672f\u8bed\u3002\n <\/div>\n

\n \u66ff\u6362:\n <\/div>\n

\n \u66ff\u6362\u662f\u5bf9\u672f\u8bed\u548c\u516c\u5f0f\u6267\u884c\u7684\u57fa\u672c\u64cd\u4f5c\u3002\u5b83\u4ee5\u4e00\u9636\u903b\u8f91\u51fa\u73b0\u5728\u6240\u6709\u63a8\u7406\u7cfb\u7edf\u4e2d\u3002\u5728FOL\u4e2d\u5b58\u5728\u91cf\u8bcd\u7684\u60c5\u51b5\u4e0b\uff0c\u66ff\u6362\u8fc7\u7a0b\u5f88\u590d\u6742\u3002\u5982\u679c\u6211\u4eec\u5199 F [a\/x] \uff0c\u90a3\u4e48\u5b83\u662f\u6307\u7528\u5e38\u91cf\" a \"\u4ee3\u66ff\u53d8\u91cf\" x \"\u3002\n <\/div>\n

\n \u6ce8\u610f: <\/span>\u4e00\u9636\u903b\u8f91\u80fd\u591f\u8868\u8fbe\u6709\u5173\u5b87\u5b99\u4e2d\u67d0\u4e9b\u6216\u6240\u6709\u7269\u4f53\u7684\u4e8b\u5b9e\u3002\n <\/div>\n

\n \u76f8\u7b49\u6027:\n <\/div>\n

\n \u4e00\u9636\u903b\u8f91\u4e0d\u4ec5\u4f7f\u7528\u8c13\u8bcd\u548c\u672f\u8bed\u6765\u6784\u6210\u539f\u5b50\u53e5\u5b50\uff0c\u800c\u4e14\u8fd8\u4f7f\u7528\u53e6\u4e00\u79cd\u65b9\u5f0f\uff0c\u5373FOL\u4e2d\u7684\u5e73\u7b49\u3002\u4e3a\u6b64\uff0c\u6211\u4eec\u53ef\u4ee5\u4f7f\u7528\u7b49\u53f7\u6765\u6307\u5b9a\u8fd9\u4e24\u4e2a\u672f\u8bed\u6307\u7684\u662f\u540c\u4e00\u5bf9\u8c61\u3002\n <\/div>\n

\n \u793a\u4f8b: \u5144\u5f1f(John)=\u53f2\u5bc6\u65af\u3002\n <\/div>\n

\n \u4e0e\u4e0a\u9762\u7684\u793a\u4f8b\u4e00\u6837\uff0c\u5144\u5f1f(John)\u5f15\u7528\u7684\u5bf9\u8c61\u4e0e Smith \u6240\u5f15\u7528\u7684\u5bf9\u8c61\u76f8\u4f3c\u3002\u7b49\u53f7\u4e5f\u53ef\u4ee5\u4e0e\u5426\u5b9a\u7b26\u4e00\u8d77\u4f7f\u7528\uff0c\u4ee5\u8868\u793a\u4e24\u4e2a\u672f\u8bed\u4e0d\u662f\u540c\u4e00\u5bf9\u8c61\u3002\n <\/div>\n

\n \u793a\u4f8b: \uffe2(x = y)\uff0c\u5b83\u7b49\u6548\u4e8ex\u2260y\u3002\n <\/div>\n

\u91cf\u8bcd\u7684FOL\u63a8\u7406\u89c4\u5219: <\/h2>\n

\n \u4f5c\u4e3a\u547d\u9898\u903b\u8f91\uff0c\u6211\u4eec\u5728\u4e00\u9636\u903b\u8f91\u4e2d\u4e5f\u6709\u63a8\u7406\u89c4\u5219\uff0c\u56e0\u6b64\u4ee5\u4e0b\u662fFOL\u4e2d\u7684\u4e00\u4e9b\u57fa\u672c\u63a8\u7406\u89c4\u5219:\n <\/div>\n

\u901a\u7528\u6982\u62ec <\/span>
\n \u901a\u7528\u5b9e\u4f8b <\/span>
\n \u73b0\u6709\u5b9e\u4f8b <\/span>
\n \u73b0\u6709\u4ecb\u7ecd <\/span> <\/p>\n

\n 1\u3001\u901a\u7528\u6982\u62ec:\n <\/div>\n

\u901a\u7528\u6982\u62ec\u662f\u4e00\u6761\u6709\u6548\u7684\u63a8\u7406\u89c4\u5219\uff0c\u8be5\u89c4\u5219\u6307\u51fa\uff0c\u5982\u679c\u524d\u63d0P(c)\u5bf9\u4e8e\u8bdd\u8bed\u8303\u56f4\u4e2d\u7684\u4efb\u610f\u5143\u7d20c\u4e3a\u771f\uff0c\u90a3\u4e48\u6211\u4eec\u53ef\u4ee5\u5f97\u51fa\u7ed3\u8bba\u2200x P(x)\u3002<\/span>
\n \u5b83\u53ef\u4ee5\u8868\u793a\u4e3a: $AI \u4e00\u9636\u903b\u8f91\u63a8\u7406_https:\/\/bianchenghao6.com_\u3010ai \u6559\u7a0b\u3011_\u7b2c1\u5f20$ \u3002<\/span>
\n \u5982\u679c\u6211\u4eec\u60f3\u8bc1\u660e\u6bcf\u4e2a\u5143\u7d20\u90fd\u5177\u6709\u76f8\u4f3c\u7684\u5c5e\u6027\uff0c\u5219\u53ef\u4ee5\u4f7f\u7528\u6b64\u89c4\u5219\u3002<\/span>
\n \u5728\u6b64\u89c4\u5219\u4e2d\uff0cx\u4e0d\u5f97\u663e\u793a\u4e3a\u81ea\u7531\u53d8\u91cf\u3002<\/span> <\/p>\n

\n \u793a\u4f8b: \u8ba9\u6211\u4eec\u4ee3\u8868P(c): \" \u4e00\u4e2a\u5b57\u8282\u5305\u542b8\u4f4d\"\uff0c\u56e0\u6b64\u5bf9\u4e8e\u2200x P(x) \" \u6240\u6709\u5b57\u8282\u90fd\u5305\u542b8\u4f4d\u3002\"\uff0c\u8fd9\u4e5f\u662f\u6b63\u786e\u7684\u3002\n <\/div>\n

\n 2\u3001\u901a\u7528\u5b9e\u4f8b\u5316:\n <\/div>\n

\u901a\u7528\u5b9e\u4f8b\u5316\u4e5f\u79f0\u4e3a\u901a\u7528\u6d88\u9664\u6216UI\u662f\u6709\u6548\u7684\u63a8\u7406\u89c4\u5219\u3002\u53ef\u4ee5\u591a\u6b21\u5e94\u7528\u5b83\u4ee5\u6dfb\u52a0\u65b0\u53e5\u5b50\u3002 <\/span>
\n \u65b0\u7684KB\u5728\u903b\u8f91\u4e0a\u7b49\u540c\u4e8e\u5148\u524d\u7684KB\u3002<\/span>
\n \u6839\u636e\u7528\u6237\u754c\u9762\uff0c\u6211\u4eec\u53ef\u4ee5\u63a8\u65ad\u51fa\u7528\u57fa\u672c\u8bcd\u4ee3\u66ff\u53d8\u91cf\u6240\u83b7\u5f97\u7684\u4efb\u4f55\u53e5\u5b50\u3002<\/span>
\n UI\u89c4\u5219\u89c4\u5b9a\uff0c\u6211\u4eec\u53ef\u4ee5\u901a\u8fc7\u7528\u2200x P(x)\u4ee3\u66ff\u8bed\u7bc7\u5b87\u5b99\u4e2d\u7684\u4efb\u4f55\u5bf9\u8c61\u6765\u4ee3\u66ff\u57fa\u672c\u672f\u8bedc(\u57dfx\u4e2d\u7684\u5e38\u6570)\u6765\u63a8\u65ad\u4efb\u4f55\u53e5\u5b50P(c)\u3002<\/span>
\n \u5b83\u53ef\u4ee5\u8868\u793a\u4e3a: $AI \u4e00\u9636\u903b\u8f91\u63a8\u7406_https:\/\/bianchenghao6.com_\u3010ai \u6559\u7a0b\u3011_\u7b2c2\u5f20$ \u3002<\/span> <\/p>\n

\n \u793a\u4f8b: 1\u3001\n <\/div>\n

\n \u5982\u679c\"\u6bcf\u4e2a\u4eba\u90fd\u559c\u6b22\u51b0\u6dc7\u6dcb\" =>\u2200xP(x)\uff0c\u90a3\u4e48\u6211\u4eec\u53ef\u4ee5\u63a8\u65ad
\n
\"\u7ea6\u7ff0\u559c\u6b22\u51b0\u6dc7\u6dcb\" => P(c)\n <\/div>\n

\n \u793a\u4f8b: 2\u3001\n <\/div>\n

\n \u8ba9\u6211\u4eec\u4e3e\u4e00\u4e2a\u8457\u540d\u7684\u4f8b\u5b50\n <\/div>\n

\n \"\u6240\u6709\u8d2a\u5a6a\u7684\u56fd\u738b\u90fd\u662f\u90aa\u6076\u7684\u3002\"\u56e0\u6b64\uff0c\u8ba9\u6211\u4eec\u7684\u77e5\u8bc6\u5e93\u4ee5FOL\u7684\u5f62\u5f0f\u5305\u542b\u4ee5\u4e0b\u8be6\u7ec6\u4fe1\u606f:\n <\/div>\n

\n \u2200xking(x)\u2227greedy(x)\u2192Evil(x)\uff0c\n <\/div>\n

\n \u56e0\u6b64\uff0c\u6839\u636e\u8fd9\u4e9b\u4fe1\u606f\uff0c\u6211\u4eec\u53ef\u4ee5\u4f7f\u7528\u901a\u7528\u5b9e\u4f8b\u5316\u63a8\u65ad\u4ee5\u4e0b\u4efb\u4f55\u8bed\u53e5:\n <\/div>\n

\u56fd\u738b(John)\u2227\u8d2a\u5a6a(John)\u2192\u90aa\u6076(John)\uff0c <\/span>
\n \u56fd\u738b(\u7406\u67e5\u5fb7)\u2227\u8d2a\u5a6a(\u7406\u67e5\u5fb7)\u2192\u90aa\u6076(\u7406\u67e5\u5fb7)\uff0c <\/span>
\n \u56fd\u738b(\u7236\u4eb2(\u7ea6\u7ff0))\u2227\u8d2a\u5a6a(\u7236\u4eb2(\u7ea6\u7ff0))\u2192\u90aa\u6076(\u7236\u4eb2(\u7ea6\u7ff0))\uff0c <\/span> <\/p>\n

\n 3\u3001\u5b58\u5728\u5b9e\u4f8b\u5316:\n <\/div>\n

\u5b58\u5728\u5b9e\u4f8b\u5316\u4e5f\u79f0\u4e3a\u5b58\u5728\u6d88\u9664\uff0c\u5b83\u662f\u4e00\u9636\u903b\u8f91\u4e2d\u7684\u6709\u6548\u63a8\u7406\u89c4\u5219\u3002<\/span>
\n \u53ea\u80fd\u66ff\u6362\u4e00\u6b21\u5b58\u5728\u53e5\u3002<\/span>
\n \u65b0KB\u5728\u903b\u8f91\u4e0a\u4e0d\u7b49\u540c\u4e8e\u65e7KB\uff0c\u4f46\u5982\u679c\u65e7KB\u53ef\u4ee5\u6ee1\u8db3\uff0c\u5b83\u5c06\u53ef\u4ee5\u6ee1\u8db3\u3002<\/span>
\n \u8be5\u89c4\u5219\u6307\u51fa\uff0c\u5bf9\u4e8e\u65b0\u7684\u5e38\u6570\u7b26\u53f7c\uff0c\u53ef\u4ee5\u4ece\u4ee5\u2203xP(x)\u5f62\u5f0f\u7ed9\u51fa\u7684\u516c\u5f0f\u4e2d\u63a8\u65adP(c)\u3002<\/span>
\n \u6b64\u89c4\u5219\u7684\u9650\u5236\u5728\u4e8e\uff0c\u89c4\u5219\u4e2d\u4f7f\u7528\u7684c\u5fc5\u987b\u662fP(c)\u4e3a\u771f\u7684\u65b0\u672f\u8bed\u3002<\/span>
\n \u5b83\u53ef\u4ee5\u8868\u793a\u4e3a: $AI \u4e00\u9636\u903b\u8f91\u63a8\u7406_https:\/\/bianchenghao6.com_\u3010ai \u6559\u7a0b\u3011_\u7b2c3\u5f20$ <\/span> <\/p>\n

\n \u793a\u4f8b:\n <\/div>\n

\n \u4ece\u7ed9\u5b9a\u7684\u53e5\u5b50\u4e2d: \u2203xCrown(x)\u2227OnHead(x\uff0cJohn)\uff0c\n <\/div>\n

\n \u56e0\u6b64\u6211\u4eec\u53ef\u4ee5\u63a8\u65ad: Crown(K)\u2227OnHead(K\uff0cJohn)\uff0c\u53ea\u8981K\u4e0d\u51fa\u73b0\u5728\u77e5\u8bc6\u5e93\u4e2d\u5373\u53ef\u3002\n <\/div>\n

\u4e0a\u9762\u4f7f\u7528\u7684K\u662f\u4e00\u4e2a\u5e38\u6570\u7b26\u53f7\uff0c\u79f0\u4e3a Skolem\u5e38\u6570\u3002<\/span>
\n \u73b0\u6709\u5b9e\u4f8b\u662f Skolemization\u8fc7\u7a0b\u7684\u7279\u4f8b\u3002 <\/span> <\/p>\n

\n 4\u3001\u73b0\u6709\u4ecb\u7ecd\n <\/div>\n

\u5b58\u5728\u6027\u4ecb\u7ecd\u4e5f\u79f0\u4e3a\u5b58\u5728\u6027\u6982\u62ec\uff0c\u5b83\u662f\u4e00\u9636\u903b\u8f91\u4e2d\u7684\u6709\u6548\u63a8\u7406\u89c4\u5219\u3002<\/span>
\n \u8be5\u89c4\u5219\u6307\u51fa\uff0c\u5982\u679c\u8bdd\u8bed\u5b87\u5b99\u4e2d\u5b58\u5728\u67d0\u4e9b\u5177\u6709\u5c5e\u6027P\u7684\u5143\u7d20c\uff0c\u90a3\u4e48\u6211\u4eec\u53ef\u4ee5\u63a8\u65ad\u51fa\u5b87\u5b99\u4e2d\u5b58\u5728\u67d0\u4e9b\u5177\u6709\u5c5e\u6027P\u7684\u5143\u7d20\u3002<\/span>
\n \u5b83\u53ef\u4ee5\u8868\u793a\u4e3a: $AI \u4e00\u9636\u903b\u8f91\u63a8\u7406_https:\/\/bianchenghao6.com_\u3010ai \u6559\u7a0b\u3011_\u7b2c4\u5f20$ <\/span>
\n \u793a\u4f8b:
\" Priyanka\u7684\u82f1\u8bed\u6210\u7ee9\u5f88\u597d\u3002\"
\"\u56e0\u6b64\uff0c\u67d0\u4eba\u7684\u82f1\u8bed\u6210\u7ee9\u5f88\u597d\u3002\" <\/span> <\/p>\n

\u901a\u7528\u6a21\u6001\u89c4\u5219: <\/h2>\n

\n \u5bf9\u4e8eFOL\u4e2d\u7684\u63a8\u7406\u8fc7\u7a0b\uff0c\u6211\u4eec\u6709\u4e00\u4e2a\u63a8\u7406\u89c4\u5219\uff0c\u79f0\u4e3a\u901a\u7528\u6a21\u6001\u89c4\u5219\u3002\u5b83\u662fModus ponens\u7684\u63d0\u5347\u7248\u672c\u3002\n <\/div>\n

\n \u5e7f\u4e49\u6a21\u6001\u53ef\u6982\u62ec\u4e3a: \" P\u8868\u793aQ\uff0c\u5e76\u4e14P\u88ab\u65ad\u8a00\u4e3a\u771f\uff0c\u56e0\u6b64Q\u5fc5\u987b\u4e3a\u771f\"\u3002\n <\/div>\n

\n \u6839\u636eModus Ponens\uff0c\u5bf9\u4e8e\u539f\u5b50\u8bcd pi\uff0cpi'\uff0cq \u3002\u5982\u679c\u5b58\u5728\u66ff\u6362\u03b8\u4f7f\u5f97SUBST (\u03b8\uff0cpi'\uff0c)= SUBST(\u03b8\uff0cpi)\uff0c\u5219\u53ef\u4ee5\u8868\u793a\u4e3a:\n <\/div>\n

$AI \u4e00\u9636\u903b\u8f91\u63a8\u7406_https:\/\/bianchenghao6.com_\u3010ai \u6559\u7a0b\u3011_\u7b2c5\u5f20$ <\/p>\n

\n \u793a\u4f8b:\n <\/div>\n

\n \u6211\u4eec\u5c06\u4f7f\u7528\u6b64\u89c4\u5219\uff0c\u56e0\u4e3a\u56fd\u738b\u662f\u90aa\u6076\u7684\uff0c\u56e0\u6b64\u6211\u4eec\u5c06\u627e\u5230\u4e00\u4e9bx\uff0c\u4f8b\u5982x\u662f\u56fd\u738b\uff0cx\u662f\u8d2a\u5a6a\u7684\uff0c\u56e0\u6b64\u6211\u4eec\u53ef\u4ee5\u63a8\u65ad\u51fax\u662f\u90aa\u6076\u7684\u3002\n <\/div>\n

\nHere let say, p1' is king(John)        p1 is king(x)\np2' is Greedy(y)                       p2 is Greedy(x)\n&#x3b8; is {x\/John, y\/John}                  q is evil(x)<\/span>\nSUBST(&#x3b8;,q).                                                      <\/span>\n    <\/pre>\n<\/code>\n  <\/div>\n
\n <\/body>
\n<\/html><\/p>\n","protected":false},"excerpt":{"rendered":"AI \u4e00\u9636\u903b\u8f91\u63a8\u7406zh-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-1370","post","type-post","status-publish","format-standard","hentry","category-aijc"],"_links":{"self":[{"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/posts\/1370"}],"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=1370"}],"version-history":[{"count":0,"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/posts\/1370\/revisions"}],"wp:attachment":[{"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/media?parent=1370"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/categories?post=1370"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/bianchenghao6.com\/wp-json\/wp\/v2\/tags?post=1370"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}