I came to be comfortable saying that, to the mind, reality is an impression of inertia<\/em> (3f0ca075<\/abbr><\/strong>). This could be an anti-realist statement.<\/p>\n\n\n\n Which one is more dangerous, dogma or indulgence in free thought<\/span>?<\/p>\n\n\n \u5f62\u5f0f\u5316\u662f\u575a\u6301\u8ba9\u4eba\u7684\u5224\u65ad\u80cc\u4e66\u81ea\u52a8\u5316\u5224\u65ad<\/em>\u7684\u4e00\u79cd\u52aa\u529b\uff0c\u8fd9\u662f symbolic AI \u7684\u5b97\u65e8\u3002\u4e0d\u5e94\u8be5\u53cd\u8fc7\u6765\u65ad\u8a00\u5f62\u5f0f\u5316\u662f\u5b83\u7684\u552f\u4e00\u65b9\u6cd5\u3002AI \u4f26\u7406\u7684\u8981\u6c42\u4e4b\u4e00\u662f\u53ef\u89e3\u91ca\u6027\uff0c\u610f\u601d\u6216\u8bb8\u662f AI \u5230\u5e95\u53ea\u662f\u4e00\u4e2a\u590d\u6742\u7684\u673a\u5668\uff0c\u66ff\u4eba\u505a\u51fa\u7b49\u4ef7\u7684\u63a8\u7406\uff0c\u800c\u4e0d\u51c6\u4ea7\u51fa\u4efb\u4f55\u4eba\u4e0d\u80fd\u7406\u89e3\u7684\u3001\u4eba\u7684\u8bed\u8a00\u4e0d\u80fd\u6db5\u76d6\u7684\u63a8\u7406\u3002\u5c31\u7b97\u653e\u5f03\u4f26\u7406\u6807\u51c6\uff0c\u8fd9\u5728\u54f2\u5b66\u8003\u9a8c\u4e0b\u7ad9\u5f97\u4f4f\u811a\u5417\uff1f\u4ec0\u4e48\u624d\u7b97\u4eba\u7684\u5224\u65ad\u80cc\u4e66\u4e86\u81ea\u52a8\u5316\u5224\u65ad\uff1f\u53ea\u80fd\u4e8b\u540e\uff08\u62ff\u5230\u81ea\u52a8\u5316\u63a8\u7406\u7ed3\u679c\uff09\u89e3\u91ca\uff0c\u53ef\u65e2\u7136\u4e1c\u897f\u4e0d\u662f\u5f62\u5f0f\u5316\u7684\uff0c\u4efb\u4f55\u63a8\u7406\u7684\u4e8b\u540e\u89e3\u91ca\u548c\u4e8b\u524d\u89e3\u91ca\u4e5f\u8bb8\u6839\u672c\u4e0d\u80fd\u76f8\u63d0\u5e76\u8bba\uff0c\u5c31\u7b97\u540c\u4e00\u4eba\u8fde\u7eed\u505a\u8fd9\u4e24\u6b65\u4e5f\u4e0d\u4e00\u6837\u3002<\/p>\n\n\n\n Formalization is an effort to, resolutely, back up automated judgements with human judgements<\/em>. This is a tenet of symbolic AI. We shall not conversely assert that formalization is the only way (to back up automated judgements.) One of the ethic requirements for AI is explainability. This might mean that AI is simply a complicated machine making equivalent inferences on behalf of humans, while we prohibit what a human cannot understand or what human language cannot convey. If we skip the ethics part for now, was the above philosophically sound? What counts as an automated inference backed up by human inference? It can only be articulated after the fact (after obtaining the automated inference results,) but perhaps if the subject is not formalized, any post-hoc explanations might not be considered comparable to pre-hoc explanations, not even if the same person produced these two explanations consecutively.<\/p>\n\n\n\n In the past month I realized the great significance of this paper, which had been sleeping in my reading list for 5 months. (The title looked distasteful to me: \u201cCommittees\u201d, \u201cHow to invent\u201d.) I invite everyone to read just the enlightening examples in it. Consider poststructuralism, and why making people conform to software often doesn\u2019t work.<\/p>\n\n\n\n Examples.<\/i> A contract research organization had eight people who were to produce a COBOL and an ALGOL compiler. After some initial estimates of difficulty and time, five people were assigned to the COBOL job and three to the ALGOL job. The resulting COBOL compiler ran in five phases, the ALGOL compiler ran in three.<\/p>\n\n\n\n Two military services were directed by their Commander-in-Chief to develop a common weapon system to meet their respective needs. After great effort they produced a copy of their organization chart.<\/p>\nConway, How Do Committees Invent?<\/em><\/a><\/cite><\/blockquote>\n","protected":false},"excerpt":{"rendered":" I came to be comfortable saying that, to the mind, reality is an impression of inertia (3f0ca075). This could be an anti-realist statement.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-2379","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/www.tebibyte.io\/~yihanwu1024\/wp-json\/wp\/v2\/posts\/2379","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.tebibyte.io\/~yihanwu1024\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.tebibyte.io\/~yihanwu1024\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.tebibyte.io\/~yihanwu1024\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.tebibyte.io\/~yihanwu1024\/wp-json\/wp\/v2\/comments?post=2379"}],"version-history":[{"count":0,"href":"https:\/\/www.tebibyte.io\/~yihanwu1024\/wp-json\/wp\/v2\/posts\/2379\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.tebibyte.io\/~yihanwu1024\/wp-json\/wp\/v2\/media?parent=2379"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.tebibyte.io\/~yihanwu1024\/wp-json\/wp\/v2\/categories?post=2379"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.tebibyte.io\/~yihanwu1024\/wp-json\/wp\/v2\/tags?post=2379"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}Normativity<\/h2>\n\n\n
\u975e\u5f62\u5f0f\u5316\u7684\u5224\u65ad<\/h2>\n\n\n\n
Non-formal Judgements<\/h2>\n\n\n\n
That Conway Paper<\/h2>\n\n\n\n
\n