{"id":26,"date":"2024-01-07T23:57:36","date_gmt":"2024-01-07T14:57:36","guid":{"rendered":"https:\/\/arvo.net\/ai\/glossary\/?p=26"},"modified":"2024-01-08T14:38:26","modified_gmt":"2024-01-08T05:38:26","slug":"%e3%80%90%e8%a1%8c%e5%8b%95%e8%a8%80%e8%aa%9e%e3%80%91%e3%81%a8%e3%81%af%ef%bc%9f%e6%84%8f%e5%91%b3%e3%82%84%e8%aa%ad%e3%81%bf%e6%96%b9%e3%83%bb%e8%8b%b1%e8%aa%9e%e8%a1%a8%e8%a8%98%e3%82%84%e7%99%ba","status":"publish","type":"post","link":"https:\/\/arvo.net\/ai\/glossary\/%e3%80%90%e8%a1%8c%e5%8b%95%e8%a8%80%e8%aa%9e%e3%80%91%e3%81%a8%e3%81%af%ef%bc%9f%e6%84%8f%e5%91%b3%e3%82%84%e8%aa%ad%e3%81%bf%e6%96%b9%e3%83%bb%e8%8b%b1%e8%aa%9e%e8%a1%a8%e8%a8%98%e3%82%84%e7%99%ba\/","title":{"rendered":"\u3010\u884c\u52d5\u8a00\u8a9e\u3011\u3068\u306f\uff1f\u610f\u5473\u3084\u8aad\u307f\u65b9\u30fb\u82f1\u8a9e\u8868\u8a18\u3084\u767a\u97f3\u30fb\u4f8b\u6587\u30fb\u95a2\u9023AI\u7528\u8a9e"},"content":{"rendered":"\n<h4 class=\"wp-block-heading\">\u65e5\u672c\u8a9e\u8868\u8a18<\/h4>\n\n\n\n<p>\u884c\u52d5\u8a00\u8a9e<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">\u82f1\u8a9e\u8868\u8a18<\/h4>\n\n\n\n<p>Action Language<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">\u610f\u5473<\/h4>\n\n\n\n<p>\u884c\u52d5\u8a00\u8a9e\u306f\u3001\u72b6\u614b\u9077\u79fb\u30b7\u30b9\u30c6\u30e0\u3092\u6307\u5b9a\u3059\u308b\u305f\u3081\u306e\u8a00\u8a9e\u3067\u3042\u308a\u3001\u5f62\u5f0f\u7684\u306a\u30e2\u30c7\u30eb\u306e\u4f5c\u6210\u306b\u4e00\u822c\u7684\u306b\u4f7f\u7528\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u306f\u4eba\u5de5\u77e5\u80fd\u3084\u30ed\u30dc\u30c6\u30a3\u30af\u30b9\u306e\u5206\u91ce\u3067\u3088\u304f\u7528\u3044\u3089\u308c\u3001\u30a2\u30af\u30b7\u30e7\u30f3\u304c\u6642\u9593\u3068\u3068\u3082\u306b\u30b7\u30b9\u30c6\u30e0\u306e\u72b6\u614b\u306b\u3069\u306e\u3088\u3046\u306b\u5f71\u97ff\u3059\u308b\u304b\u3092\u8a18\u8ff0\u3057\u307e\u3059\u3002\u884c\u52d5\u8a00\u8a9e\u306f\u3001\u30b7\u30b9\u30c6\u30e0\u304c\u3069\u306e\u3088\u3046\u306b\u52d5\u4f5c\u3059\u3079\u304d\u304b\u3001\u307e\u305f\u306f\u30b7\u30b9\u30c6\u30e0\u306e\u52d5\u4f5c\u304c\u3069\u306e\u3088\u3046\u306b\u5909\u308f\u308b\u3079\u304d\u304b\u3092\u5b9a\u7fa9\u3059\u308b\u306e\u306b\u5f79\u7acb\u3061\u307e\u3059\u3002<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">\u4f8b\u6587<\/h4>\n\n\n\n<p>\u30ed\u30dc\u30c3\u30c8\u306e\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306b\u304a\u3044\u3066\u3001\u884c\u52d5\u8a00\u8a9e\u306f\u30ed\u30dc\u30c3\u30c8\u304c\u3069\u306e\u3088\u3046\u306b\u74b0\u5883\u5185\u3067\u52d5\u4f5c\u3059\u308b\u304b\u3001\u3069\u306e\u3088\u3046\u306a\u30bf\u30b9\u30af\u3092\u5b9f\u884c\u3059\u308b\u304b\u3092\u5b9a\u7fa9\u3059\u308b\u306e\u306b\u4f7f\u308f\u308c\u307e\u3059\u3002<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">\u95a2\u9023\u7528\u8a9e<\/h4>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>\u72b6\u614b\u9077\u79fb\u30b7\u30b9\u30c6\u30e0\uff08State Transition System\uff09:<\/strong> \u30b7\u30b9\u30c6\u30e0\u306e\u72b6\u614b\u304c\u30a2\u30af\u30b7\u30e7\u30f3\u306b\u3088\u3063\u3066\u3069\u306e\u3088\u3046\u306b\u5909\u5316\u3059\u308b\u304b\u3092\u30e2\u30c7\u30eb\u5316\u3057\u305f\u30b7\u30b9\u30c6\u30e0\u3002<\/li>\n\n\n\n<li><strong>\u5f62\u5f0f\u7684\u65b9\u6cd5\uff08Formal Methods\uff09:<\/strong> \u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u3084\u30b7\u30b9\u30c6\u30e0\u306e\u4ed5\u69d8\u3001\u958b\u767a\u3001\u691c\u8a3c\u306b\u6570\u5b66\u7684\u306a\u6280\u8853\u3092\u7528\u3044\u308b\u30a2\u30d7\u30ed\u30fc\u30c1\u3002<\/li>\n\n\n\n<li><strong>\u4eba\u5de5\u77e5\u80fd\uff08Artificial Intelligence, AI\uff09:<\/strong> \u77e5\u7684\u306a\u30bf\u30b9\u30af\u3092\u5b9f\u884c\u3059\u308b\u30b7\u30b9\u30c6\u30e0\u3084\u30d7\u30ed\u30b0\u30e9\u30e0\u3092\u4f5c\u6210\u3059\u308b\u79d1\u5b66\u3068\u5de5\u5b66\u306e\u5206\u91ce\u3002<\/li>\n<\/ul>\n\n\n\n\n","protected":false},"excerpt":{"rendered":"<p>\u65e5\u672c\u8a9e\u8868\u8a18 \u884c\u52d5\u8a00\u8a9e \u82f1\u8a9e\u8868\u8a18 Action Language \u610f\u5473 \u884c\u52d5\u8a00\u8a9e\u306f\u3001\u72b6\u614b\u9077\u79fb\u30b7\u30b9\u30c6\u30e0\u3092\u6307\u5b9a\u3059\u308b\u305f\u3081\u306e\u8a00\u8a9e\u3067\u3042\u308a\u3001\u5f62\u5f0f\u7684\u306a\u30e2\u30c7\u30eb\u306e\u4f5c\u6210\u306b\u4e00\u822c\u7684\u306b\u4f7f\u7528\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u306f\u4eba\u5de5\u77e5\u80fd\u3084\u30ed\u30dc\u30c6\u30a3\u30af\u30b9\u306e\u5206\u91ce\u3067\u3088\u304f\u7528\u3044\u3089\u308c\u3001 [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"swell_btn_cv_data":"","footnotes":"","_wp_rev_ctl_limit":""},"categories":[2],"tags":[],"class_list":["post-26","post","type-post","status-publish","format-standard","hentry","category-ai-glossary"],"_links":{"self":[{"href":"https:\/\/arvo.net\/ai\/glossary\/wp-json\/wp\/v2\/posts\/26","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/arvo.net\/ai\/glossary\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/arvo.net\/ai\/glossary\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/arvo.net\/ai\/glossary\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/arvo.net\/ai\/glossary\/wp-json\/wp\/v2\/comments?post=26"}],"version-history":[{"count":1,"href":"https:\/\/arvo.net\/ai\/glossary\/wp-json\/wp\/v2\/posts\/26\/revisions"}],"predecessor-version":[{"id":97,"href":"https:\/\/arvo.net\/ai\/glossary\/wp-json\/wp\/v2\/posts\/26\/revisions\/97"}],"wp:attachment":[{"href":"https:\/\/arvo.net\/ai\/glossary\/wp-json\/wp\/v2\/media?parent=26"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/arvo.net\/ai\/glossary\/wp-json\/wp\/v2\/categories?post=26"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/arvo.net\/ai\/glossary\/wp-json\/wp\/v2\/tags?post=26"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}