{"id":5396,"date":"2019-08-02T00:12:57","date_gmt":"2019-08-01T16:12:57","guid":{"rendered":"http:\/\/www.brofive.org\/?p=5396"},"modified":"2019-08-02T02:49:22","modified_gmt":"2019-08-01T18:49:22","slug":"%e8%8b%8f%e7%a0%94%e7%ac%ac%e4%b8%80%e5%b1%8a%e5%8d%9a%e5%a3%ab%e8%ae%ba%e5%9d%9b%e3%80%8a%e6%99%ba%e8%83%bd%e8%a7%84%e5%88%92%e6%8a%80%e6%9c%af%e5%8f%8a%e5%85%b6%e5%85%b8%e5%9e%8b%e5%ba%94%e7%94%a8","status":"publish","type":"post","link":"http:\/\/www.brofive.net\/?p=5396","title":{"rendered":"\u82cf\u7814\u7b2c\u4e00\u5c4a\u535a\u58eb\u8bba\u575b\u300a\u667a\u80fd\u89c4\u5212\u6280\u672f\u53ca\u5176\u5178\u578b\u5e94\u7528\u300b"},"content":{"rendered":"

\u4e0d\u95f4\u65ad\u3001\u7d27\u5f20\u800c\u9ad8\u538b\u7684\u5de5\u7a0b\u6027\u4ea4\u4ed8\u4f1a\u8ba9\u5de5\u7a0b\u5e08\u9010\u6b65\u6c89\u6eba\u4e8e\u4ea4\u4ed8\u6027\u601d\u7ef4\uff0c\u800c\u9010\u6b65\u653e\u5f03\u539f\u672c\u7684\u521b\u65b0\u6027\u548c\u524d\u77bb\u6027\u601d\u8003\u3002\u4eca\u5929\u8ba8\u8bba\u79fb\u52a8\u4e91\u5f00\u53d1\uff0c\u60f3\u5230\u4e86\u4e00\u4e2a\u66f4\u4e3a\u5f62\u8c61\u7684\u6bd4\u55bb\uff1a\u201c\u78e8\u5200\u4e0d\u8bef\u780d\u67f4\u5de5\u201d\uff0c\u5982\u679c\u8ba9\u8d44\u6df1\u4eba\u5458\u603b\u662f\u780d\u67f4\u800c\u4e0d\u78e8\u5200\uff0c\u8d44\u6df1\u4eba\u5458\u4e5f\u4f1a\u89c9\u5f97\u6ca1\u610f\u601d\uff0c\u5931\u53bb\u5174\u8da3\u3002\u56e0\u6b64\uff0c2019\u5e74\u65b0\u6210\u7acb\u7684\u82cf\u7814\u521b\u65b0\u4e2d\u5fc3\u9664\u4e86\u8981\u627f\u62c5\u521b\u65b0\u6027\u5de5\u4f5c\u4e4b\u5916\uff0c\u4e5f\u80a9\u8d1f\u8d77\u91cd\u65b0\u5524\u9192\u4e00\u7ebf\u5de5\u7a0b\u5e08\u5fc3\u4e2d\u7684\u90a3\u4efd\u521b\u65b0\u68a6\u60f3\u548c\u60c5\u6000\u7684\u804c\u8d23\u3002\u4e8e\u662f\u6211\u4eec\u5c31\u628a\u9886\u5bfc\u4ea4\u529e\u7684\u8bf7\u65b0\u52df\u8521\u535a\u58eb\u6f14\u8bb2\u7684\u5de5\u4f5c\u53d8\u6210\u4e86\u535a\u58eb\u8bba\u575b\u3002\u8521\u535a\u58eb\u7684\u4e13\u4e1a\u65b9\u5411\u662f\u667a\u80fd\u89c4\u5212\u3001\u77e5\u8bc6\u56fe\u8c31\u4ee5\u53ca\u76f8\u5173\u5e94\u7528\u3002<\/font><\/p>\n

\u8521\u535a\u58eb\u7528\u4e86\u4e24\u4e2a\u5c0f\u65f6\u5de6\u53f3\u7684\u65f6\u95f4\uff0c\u628a\u4eba\u5de5\u667a\u80fd\u9886\u57df\u7684\u4e00\u4e2a\u5206\u652f\u6280\u672f\u667a\u80fd\u89c4\u5212\u8bb2\u7684\u6e05\u6e05\u695a\u695a\uff0c\u8ba9\u6ca1\u6709\u57fa\u7840\u7684\u540c\u5fd7\u4e5f\u542c\u61c2\u4e86\u3002\u667a\u80fd\u89c4\u5212\u548c\u53cd\u5e94\u5f0f\u5b9e\u65f6\u89c4\u5212\u6709\u4e0d\u5c11\u533a\u522b\uff0c\u5176\u4e2d\u6bd4\u8f83\u91cd\u8981\u7684\u4e00\u70b9\u662f\uff0c\u667a\u80fd\u89c4\u5212\u53ef\u4ee5\u8c03\u5ea6\u66f4\u4e3a\u590d\u6742\u7684\u4efb\u52a1\uff0c\u800c\u4e0d\u4ec5\u4ec5\u662f\u770b\u5230\u4ec0\u4e48\u505a\u4ec0\u4e48\u3002\u667a\u80fd\u89c4\u5212\u7684\u91cd\u8981\u8bfe\u9898\u662f\u77e5\u8bc6\u8868\u8fbe\u548c\u63a8\u7406\u3002\u667a\u80fd\u89c4\u5212\u7684\u77e5\u8bc6\u4e3b\u8981\u4e00\u4e2a\u6807\u51c6\u662fPDDL\uff08Planning Definition Domain Language\uff09\uff0c\u8521\u535a\u58eb\u7ed9\u51fa\u4e86\u51e0\u4e2a\u5e94\u7528\u6848\u4f8b\uff0c\u5f88\u6709\u610f\u601d\u3002\u5f53\u7136\uff0c\u5b9e\u7528\u7684\u667a\u80fd\u89c4\u5212\u7cfb\u7edf\uff0c\u80af\u5b9a\u9700\u8981\u5f88\u591a\u77e5\u8bc6\uff0c\u9664\u975e\u53ef\u4ee5\u81ea\u52a8\u751f\u6210\u77e5\u8bc6\uff0c\u5426\u5219\u5e94\u7528\u8fd8\u662f\u6709\u96be\u5ea6\u7684\uff0c\u4e00\u4e0b\u5b50\u5c31\u60f3\u8d77\u6765\u4ee5\u524d\u641e\u8fc7\u4e00\u9635\u5b50\u7684Model Checking\u2026<\/font><\/p>\n

\"IMG_20190730_190847\"<\/font><\/a> <\/font><\/p>\n

\u6574\u4e2a\u5927\u6559\u5ba4\u665a\u4e0a\u4e00\u5171\u5750\u4e86\u4e00\u767e\u591a\u4eba\uff0c\u8fd8\u4e0d\u7b97\u770b\u76f4\u64ad\u7684\uff0c\u4e0d\u8fc7\u8fd9\u6b21\u76f4\u64ad\u7684\u5b89\u6392\u6709\u4e9b\u4ed3\u4fc3\uff0c\u6ca1\u6709\u4f7f\u7528\u4e2d\u79fb\u7f51\u5927\uff0c\u4e0b\u56de\u6539\u8fdb\u3002\u611f\u8c22\u652f\u6301\u9996\u6b21\u8bba\u575b\u7684\u5c0f\u674e\u3001\u5c0f\u90b5\u3001\u5170\u82b3\u7b49\u540c\u5fd7\uff01<\/font><\/p>\n","protected":false},"excerpt":{"rendered":"

\u4e0d\u95f4\u65ad\u3001\u7d27\u5f20\u800c\u9ad8\u538b\u7684\u5de5\u7a0b\u6027\u4ea4\u4ed8\u4f1a\u8ba9\u5de5\u7a0b\u5e08\u9010\u6b65\u6c89\u6eba\u4e8e\u4ea4\u4ed8\u6027\u601d\u7ef4\uff0c\u800c\u9010\u6b65\u653e\u5f03\u539f\u672c\u7684\u521b\u65b0\u6027\u548c\u524d\u77bb\u6027\u601d\u8003\u3002\u4eca\u5929\u8ba8\u8bba\u79fb\u52a8…<\/p>\n","protected":false},"author":1,"featured_media":5394,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[173,558,289],"tags":[669,668],"views":3948,"_links":{"self":[{"href":"http:\/\/www.brofive.net\/index.php?rest_route=\/wp\/v2\/posts\/5396"}],"collection":[{"href":"http:\/\/www.brofive.net\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.brofive.net\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.brofive.net\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.brofive.net\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=5396"}],"version-history":[{"count":2,"href":"http:\/\/www.brofive.net\/index.php?rest_route=\/wp\/v2\/posts\/5396\/revisions"}],"predecessor-version":[{"id":5398,"href":"http:\/\/www.brofive.net\/index.php?rest_route=\/wp\/v2\/posts\/5396\/revisions\/5398"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/www.brofive.net\/index.php?rest_route=\/wp\/v2\/media\/5394"}],"wp:attachment":[{"href":"http:\/\/www.brofive.net\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=5396"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.brofive.net\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=5396"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.brofive.net\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=5396"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}