Re: [問卦] AI到底是什麼東西R已回收

看板Gossiping作者 (●)時間5年前 (2018/11/23 18:52), 5年前編輯推噓0(112)
留言4則, 3人參與, 5年前最新討論串2/2 (看更多)
AI是外星黑科技~計算機科學除了極少的比例以外,都是實驗科學,其實科學上, 驗證一件事情的最強形式就是「定理證明」,這是只有集合論本身錯誤才會錯的東 西,基本上可以假設不會錯啦,反正要是定理證明會錯,就不必談科學了。 但為什麼AI的研究基本上是純粹的實驗科學、而不有意義地含有定理證明呢?事實 上不只AI,整個計算機科學幾乎都是這樣~~~這是因為人類的數學還太弱啊! 而AI身為目前無法用數學碰觸的東西,其實是一件好事,因為這表示這東西潛力無 窮,就跟煉金術一樣,什麼都有可能發生,也什麼都有可能不發生,基本上沒辦法 知道,只能不斷試誤。 以上講法在資工系算是政治不正確的,因為多數人覺得煉金術很丟臉,但其實這正 是探索未知,一點都不丟臉。 當然啦,我知道計算機科學中有所謂理論計算機科學(theoretical computer science,簡稱TCS),這是數學的一支沒錯,但TCS在資工系畢竟是小小小小小小小 領域,其師資甚至幾乎可以被當作資工系的「跨領域」師資。 ※ 引述《wayne64001 (哥,閉嘴啦)》之銘言: : 本文組肥宅我看到某市長的政見有AI : 但什麼是AI阿 市民一半以上都文組欸怎麼可能懂 : 是All In嗎 : 還是Artificial Insemination? : 還是Allen Iverson : 到底要引進哪一個AI阿 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.30.49 ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1542970357.A.55C.html

11/23 18:53, 5年前 , 1F
長知識
11/23 18:53, 1F

11/23 18:54, 5年前 , 2F
古典ML基本上研究的很透徹啊 沒有鍊金
11/23 18:54, 2F
ML確實含有一定程度的嚴格推導,但要做出被人們認為有意義的結果,目前只有 靠實驗一途,數學就幫我們小小的一步而已。 我猜要等像高斯般的天才出現,才能轉變態勢。

11/23 18:56, 5年前 , 3F
76人隊的退役球星
11/23 18:56, 3F

11/23 18:56, 5年前 , 4F
傳統AI領域 形式邏輯那邊的 也蠻清楚的
11/23 18:56, 4F
邏輯本來就是數學的一支,AI把既有的東西借來用,不算是AI領域自創的。 ※ 編輯: Hatred (140.112.30.49), 11/23/2018 18:59:13
文章代碼(AID): #1RzzlrLS (Gossiping)
文章代碼(AID): #1RzzlrLS (Gossiping)