維根斯坦與圖靈兩人一直有個爭論,那就是:數學究竟是發現呢還是發明呢?乙個是已知的存在,乙個是未知的出現,的確多少都有些令人左右為難!據說,這個問題仁者見仁智者見智,各有道理,至今仍沒有乙個統一的標準答案,可以想象,未來隨著數學的進一步發展,估計爭執會愈發激烈。保不齊,折中一下比較好:既有發現也有發明!最近一直在思考智慧型問題,聯想起數學領域的這個爭論,自然很想問類似的乙個問題:智慧型究竟是發現呢還是發明呢?或者是二者兼有呢?
如果說人工智慧主要是計算,那麼人類的智慧型則是包括了計算和算計的計算計。計算大家通過數學、物理等學科比較了解了,那麼什麼是計算呢?實際上,這兩者是相輔相成、密不可分的,猶如東方思想裡的陰陽道和西方科技裡的顯隱知,畢竟人工智慧是為人服務的,人的好壞影響人工智慧的使用效果。計算計的目標不僅要解決「格式塔」學派的完形論學說(從物理學上得到啟發的),還要嘗試解決「格式塔」學派的頓悟學說(從認知心理學上得到啟發的)。
理性是指能夠識別、判斷、評估實際理由以及使人的行為符合特定目的等方面的智慧型。理性通過論點與具有說服力的論據發現真理,通過符合邏輯的推理而非依靠表象而獲得結論,意見和行動的理由。與之相對應的是經驗主義,它認為人類的想法**於經驗,所以知識可能除了數學以外主要**於經驗。這裡主要關注的是人類的知識**以及證實我們所知的一種手段。
大家知道,數學計算是理性的典範,不但可以精確、深邃描述物理現象,也是推動科技理論發展、應用的重要途徑,數學中的推理有代數裡的加減乘除、集合學裡的交並差補(與或非)、幾何學裡的平移旋轉對稱等基於公理的邏輯關係,但這些理性主義的三個基本原理發揮了作用:在轉換關係的可逆性中體現了不矛盾原理;中性成分的恆定性保證了同一性原理;最後乙個原理人們較少強調,但它同樣是乙個基本原理,就是到達點不受所經途徑不同的影響而保持不變的原理。例如,數學中的拓撲原理等。
如果把計算看出理性的結晶,那麼算計則是理性與感性的融合,計算是算計的產物,計算常是算計的簡化版,不能體現出算計中主動、辯證、矛盾的價值。計算可以處理關鍵場景的特徵函式,但較難解決基本場景的對應規則,更難對付任意場景的統計概率,可惜這些還僅僅只是場景,尚遠未涉及情境和意識……如何定義出不同於計算的算計的加減乘除、交並差補(與或非)、平移旋轉對稱等基於公理與非公理結合的邏輯關係就顯得非常迫切,這樣一來就可以進行有效的跨域、非家族域的算計,而不是僅僅處理不帶矛盾的計算問題,比如如何定義比較兩個「應該」之間的大小、不同「態」、「勢」、「感」、「知」之間的差值等等。算計裡的辯證斟酌掂量是形式化計算中一致性、無二義性的瓶頸,它不但是對某個概念或者行為的可能理解或解釋之全體,而且是計算的方向性把握。計算依賴資料和模型,算計不依賴資料和模型,還可以實時構建模型。計算需要結果不斷逼近收斂,而算計卻應該把握方向彌聚調節,猶如人之呼吸節律。
卡內曼在《思考:快與慢》一書中將人類的直覺意識快決策稱為系統一,將人類的理性邏輯慢決策稱為系統二,並考察了系統一與系統二之間的區別。經過我們研究,人機環境系統的深度態勢感知中應該還有決策系統三:人類理性與感性結合的不快不慢的right(好)決策系統,即人機融合的計算計決策系統。
在當前的數位化、資訊化、智慧型化時代,研究乙個事物如果不從過去和未來雙向去觀察、分析它,往往就會被它迷惑。那麼該如何把握這雙向的處理呢?技術碎片無法構**類,也無法構成智慧型,這就需要對其系統的結構、功能、甚至於能力進行解剖和研究,在與事實保持距離的同時,需要把責任變成價值,所以在人機環境系統中人既是觀察者又是體驗者。資料要素的價值在於重建了人類對客觀世界理解、**、控制的新體系新模式。但需要人類去使用和駕馭這種價值,所以單純的資料要素僅僅是搭起來了乙個客觀環境,其中人的能力如何發揮出來至關重要,人機環境系統綜合起來才會產生驚嘆的效果吧!?有道是:沒有「勁敵」參加互動作用的博弈問題研究與決策過程就是假把式。
人機融合智慧型中的計算計系統就是把人類的算計與機器的計算有效結合起來人機環境系統。其中,算計是一種在不同水平粒度上的資料資訊、知識經驗、態勢感知的變if-then的啟發式想象過程。
彌聚(瀰散、聚合)問題是計算計系統中的乙個重要問題:人機融合智慧型的研究要避開「分」與「合」的糾纏:合是第一位的,合是互動、合作,不是替代;分是第二位的,其核心要義就是:在機的一方知止而定,尚不可寄予機方面算計的能力(也許只有人才具備功能與能力的統一)。
有朋友曾對
p-np問題簡而言之如下:
【若我們通常用到的程式看作是「確定性圖靈機」(deterministic turing machine)。它們遇到條件分支,在同乙個時刻只能走其中一條路,不能兩邊同時探索。
那麼「非確定性圖靈機」呢?你可以把「非確定性圖靈機」想象成乙個具有「超能力」的計算機,它遇到分支語句的時候,可以同時執行 true 和 false 兩個分支。它能夠同時遍歷任意多的程式分支,這是一台具有超能力的機器!
所以「p vs np」的含義大概就是這樣:請問那些需要非確定性圖靈機(超能力計算機)在多項式時間才能解決的問題,能夠用確定性圖靈機(普通計算機)在多項式時間解決嗎?
】
那麼我們粗略地做一下比喻:計算好比是字詞語法性的形式,那麼算計就像是語義語用性的意向。如p-np問題一樣,算計可以降維計算的量,不一樣的是:p-np問題是計算問題,計算計則不完全是計算問題,還涉及非計算問題。
《孫子兵法》因為是思維而不是物理,所以不會過時
「知非即捨」,是指知道錯誤了,就要捨棄並且及時改正錯誤。算計裡面包括「知非即捨」功能力(功能+能力)。
「知非即捨」的小故事:釋迦牟尼佛捨棄王位,出家修行後,在山中修道多年「苦行」,其最終認為「苦行」不是解脫之道,因此放棄了這種修行方法,同時悟得「知非即捨」的道理。
th themlefy 計算 計算結構力學複習材料
relationship,establi shed equivalent relati onship 14,and subje ct a ppli cation problem 4 score s and percentage a ppli cation problem review conte n...
計算算計的girls
昨天中午吃完午飯,看到園區的公告上有datagirls的分享會,內心一陣雀躍,有種找到組織的欣喜,下午的時候,隔壁小姐姐問我晚上的datagirls參加不,小雞啄公尺點頭,去去去。七點半的研討會,我們去的有點早,但是點心已經擺好了,忍不住吃了些土,一起來的男生小夥伴說,果然是程式媛,還是女生細心,會...
日期計算 計數
時間限制 1.0s 記憶體限制 256.0mb 問題描述 問題描述 給定乙個年份y和乙個整數d,問這一年的第d天是幾月幾日?注意閏年的2月有29天。滿足下面條件之一的是閏年 1 年份是4的整數倍,而且不是100的整數倍 2 年份是400的整數倍。輸入格式 輸入的第一行包含乙個整數y,表示年份,年份在...