今天我們分享的內(nèi)容，主要是關(guān)于機器學習中的基礎(chǔ)數(shù)學。

一、機器學習會用到哪些數(shù)學基礎(chǔ)

第一部分，我們先來看一看機器學習需要哪些數(shù)學的基礎(chǔ)。我們可以先引用一個專家的定義。這個專家是來自美國華盛頓大學的佩羅·多明戈斯。這也是人工智能領(lǐng)域的一個老兵。他對于機器學習給出了這樣一個定義，機器學習是由三個部分組成，分別是表示、評價，還有優(yōu)化。這樣的三個步驟，實際上也就對應著在機器學習當中所需要的數(shù)學。

（1）機器學習三部曲

表示

在表示這一步當中，我們需要建立起數(shù)據(jù)，還有實際問題的抽象模型。所以，這里面就包括了兩個方面，一方面我們要對要解決的這個實際的問題進行抽象化處理。比方說我們要設(shè)計一個算法，判斷一個郵件它到底是不是一封垃圾郵件，那么得到的結(jié)果無外乎兩種，要么是，要么不是。這樣一個問題如果對它做抽象，實際上就是個二分分類問題。是，我們可以把它定義成 0，不是，可以把它定義成 1。所以，這個問題最終要解決的是什么呢？輸出一個 0 或者 1 的結(jié)果。當然把 0 和 1 的意義調(diào)過來也可以，用 1 代表是垃圾郵件，0 代表不是，也是可以的。所以，在表示的過程當中，我們要解決的問題就是把我們面臨的真實世界當中的一些物理問題給它抽象化，抽象成一個數(shù)學問題。抽象出來這個數(shù)學問題之后，我們要進一步去解決它，還要對這個數(shù)據(jù)進行表示。

對于問題抽象完了以后，我們還要對數(shù)據(jù)進行抽象。在判定這個郵件到底是不是垃圾郵件的時候，我們要怎么判斷呢？要根據(jù)它的特征進行判斷，看一看這個郵件里的關(guān)健字是否有關(guān)于推銷的，或者關(guān)于產(chǎn)品的一些關(guān)鍵字。這些特征，這些關(guān)鍵字，我們就要把它表示成一個特征，表示成一個向量，或者表示成其他的形式。表示成向量也好，表示成其他形式也好，都是對這個數(shù)據(jù)做出了抽象。

在表示階段，我們需要建立的是數(shù)據(jù)，還有問題的抽象模型。把這個模型建立出來，然后去尋找合理的算法。

K- 近鄰算法 。在機器學習當中，我們常見的有 K- 近鄰算法。K- 近鄰算法在我們的專欄中沒有提到，因為它太簡單了。它實際上就是，找到一個樣本點和這個樣本點最近的幾個鄰居，最近的這 K 個鄰居。按照少數(shù)服從多數(shù)的原則，對它進行分類，這就是 K- 近鄰算法。

回歸模型 。除此之外，還有線性回歸，這樣的統(tǒng)計學習方法。我建立一個線性回歸模型，當然，對二分類我們可以建立邏輯回歸模型。

決策樹 。還有像決策樹這樣的方法。決策樹它不依賴于數(shù)據(jù)，它完全是自頂向下的一個設(shè)計。線性回歸也好，邏輯回歸也好，它是從數(shù)據(jù)反過來去推導模型，而決策樹直接去用模型判定數(shù)據(jù)，兩個方向不太一樣。

SVM 支持向量機 。最后，還有 SVM 支持向量機這樣的純數(shù)學方法。所以說表示的部分，我們需要把問題和數(shù)據(jù)進行抽象，這個時候我們就要用到抽象的工具。

評價

給定模型之后，我們?nèi)绾卧u價這個模型的好壞？這個時候就需要設(shè)定一個目標函數(shù)，來評價這個模型的性質(zhì)。

1.設(shè)定目標函數(shù)

目標函數(shù)的選取也可以有多種形式。像對于我們說到的垃圾郵件這種問題，我們可以定義一個錯誤率。比方說一個郵件它原本不是垃圾郵件，但是我這個算法誤判成了垃圾郵件，這就是一個錯例。所以呢，錯誤率在分類問題當中是個常用的指標，或者說常用的目標函數(shù)。

2.最小均方誤差和最大后驗概率

那么在回歸當中呢，我們會使用最小均方誤差這樣一個常用目標函數(shù)，尤其是在線性回歸里。除此之外呢，還有最大后驗概率，一些其他的指標。

優(yōu)化

有了目標函數(shù)以后，我們要求解這個目標函數(shù)在模型之下的一個最優(yōu)解，這個模型能夠獲取到的最小錯誤率，或者最小均方誤差是多少呢？我們要求出一個特定的值。沒有這個值的話，你如何評價不同的模型它到底是好是壞呢？所以說優(yōu)化這個步驟它的作用是求解目標函數(shù)在模型之下的一個最優(yōu)解，看看這個模型在解決這個問題的時候，最好能達到什么樣的程度。

總結(jié)來說，多明戈斯教授總結(jié)到的機器學習的三個步驟，包括了表示、評價、優(yōu)化這樣三個步驟，在這三個步驟當中我們會用到不同的數(shù)學公式來分別解決這三個問題。

（2）三種數(shù)學工具

線性代數(shù)

在這三個步驟中，應用了三種不同的工具。在表示這個步驟當中，我們主要使用的工具是什么呢？就是線性代數(shù)。線性代數(shù)呢，我們在這個專欄里面也提到，它起到的一個最主要的作用就是把具體的事物轉(zhuǎn)化成抽象的數(shù)學模型。不管你的世界當中有多么紛繁復雜，我們都可以把它轉(zhuǎn)化成一個向量，或者一個矩陣的形式。這就是線性代數(shù)最主要的作用。

所以，在線性代數(shù)解決表示這個問題的過程中，我們主要包括這樣兩個部分，一方面是線性空間理論，也就是我們說的向量、矩陣、變換這樣一些問題。第二個是矩陣分析。給定一個矩陣，我們可以對它做所謂的 SVD（singular value decomposition）分解，也就是做奇異值分解，或者是做其他的一些分析。這樣兩個部分共同構(gòu)成了我們機器學習當中所需要的線性代數(shù)，當然了，這兩者也是各有側(cè)重。線性空間的話，我們主要應用在一些解決理論問題當中，矩陣分析在理論當中有使用，在實踐當中也有一些使用。

概率統(tǒng)計

我們說到，線性代數(shù)起作用是在表示的過程當中。在評價過程中，我們需要使用到概率統(tǒng)計。概率統(tǒng)計包括了兩個方面，一方面是數(shù)理統(tǒng)計，另外一方面是概率論。

數(shù)理統(tǒng)計好理解，我們機器學習當中應用的很多模型都是來源于數(shù)理統(tǒng)計。比方說最簡單的線性回歸，還有邏輯回歸，它實際上都是來源于統(tǒng)計學。在具體地給定了目標函數(shù)之后，我們在實際地去評價這個目標函數(shù)的時候，我們會用到一些概率論。比方說給定了一個分布，我要求解這個目標函數(shù)的期望值。在平均意義上，這個目標函數(shù)能達到什么程度呢？這個時候就需要使用到概率論。所以說在評價這個過程中，我們會主要應用到概率統(tǒng)計的一些知識。

實際上對于數(shù)理統(tǒng)計來說，我們在評價模型的時候，不只關(guān)注的是一個目標函數(shù)，我們可能還關(guān)注一些它的統(tǒng)計特性。比如說它的置信度，或者是其他的一些指標。你這個模型建立起來，它的可信性程度到底有多大，這些在早期的機器學習算法當中也是需要考慮的。當然隨著神經(jīng)網(wǎng)絡(luò)，隨著深度學習的興起，這部分內(nèi)容實際上漸漸地衰落，或者漸漸地被忽略。你在神經(jīng)網(wǎng)絡(luò)當中可能只需要達到一個這個好的目標函數(shù)，好的指標就行，至于說它的置信度，這些我們不去考慮。

所以說，這也是深度學習不太受學數(shù)學，或者說學統(tǒng)計學的人待見的一個原因。因為統(tǒng)計學強調(diào)什么呢？強調(diào)可解釋性，你這個模型能夠達到什么樣的指標，我們能把它清清楚楚地講明白，為什么能夠達到這樣的指標，它的原理在哪？它背后的根據(jù)在哪？我給定一個分布，假如說高斯分布，那么再給定一個模型，我就可以通過嚴謹而簡潔的這個數(shù)學推導，把這個結(jié)果以公式的形式給它呈現(xiàn)出來，這個看起來就很高大上，或者說很清楚。但神經(jīng)網(wǎng)絡(luò)和深度學習，現(xiàn)在還達不到這樣可解釋的程度。所以說現(xiàn)在也有人批評，說深度學習是煉金術(shù)，主要的原因在這里。我只能夠通過調(diào)參數(shù)調(diào)出一個比較好的結(jié)果，但是到底這個結(jié)果為什么會出現(xiàn)？哪些因素會影響到它？可能還不是那么清晰。所以呢，關(guān)于概率統(tǒng)計，我們主要應用在評價這個過程中。

最優(yōu)化理論

關(guān)于優(yōu)化，就不用說了，我們肯定用到的是最優(yōu)化理論。在最優(yōu)化理論當中，主要的研究方向是凸優(yōu)化。

凸優(yōu)化當然它有些限制，但它的好處是什么呢？能夠簡化這個問題的解。因為在優(yōu)化當中我們都知道，我們要求的是一個最大值，或者是最小值，但實際當中我們可能會遇到一些局部的極大值，局部的極小值，還有鞍點這樣的點。凸優(yōu)化可以避免這個問題。在凸優(yōu)化當中，極大值就是最大值，極小值也就是最小值。

但在實際當中，尤其是引入了神經(jīng)網(wǎng)絡(luò)還有深度學習之后，凸優(yōu)化的應用范圍越來越窄，很多情況下它不再適用，所以這里面我們主要用到的是無約束優(yōu)化。我在整個范圍之內(nèi)，我對參數(shù)，對輸入并沒有限定。在整個的輸入范圍內(nèi)去求解，不設(shè)置額外的約束條件。同時，在神經(jīng)網(wǎng)絡(luò)當中應用最廣的一個算法，一個優(yōu)化方法，就是反向傳播。

（3）三種數(shù)學工具和三個步驟并非一一對應

我們今天談?wù)撨@個機器學習當中，用到的基礎(chǔ)數(shù)學都包括哪些呢？包括這三種，線性代數(shù)，概率統(tǒng)計，還有最優(yōu)化理論。這是我們在機器學習當中用到的最基礎(chǔ)的一些數(shù)學工具。如果大概做一個分類，分別對應到我們機器學習當中，表示、評價，還有優(yōu)化這樣三個步驟。

當然，這種應用它也并不是說一一對應的關(guān)系。在表示當中我只用到線性代數(shù)，概率統(tǒng)計一點兒都不涉及，同樣地，我在評價的時候，線性代數(shù)也不涉及，不是這樣，都會有一個交叉的過程，但是在每個步驟當中應用到的主要工具還是有所區(qū)別。

（4）高等數(shù)學是數(shù)學工具的基礎(chǔ)

當然，在數(shù)學工具當中，我們并沒有涉及到高等數(shù)學，高等數(shù)學我們就把它當作一個基礎(chǔ)，一個基礎(chǔ)中的基礎(chǔ)。不光是人工智能，或者說機器學習，只要有數(shù)學參與的地方，我們都需要有高等數(shù)學的這個基礎(chǔ)。那么具體到機器學習當中，我們在高等數(shù)學這一塊兒用到的比較多的，可能包括求導，微分，這樣的一些內(nèi)容。當然還有這個積分，我們在求解這個目標函數(shù)的期望值的時候可能也會遇到。

所以到這呢，我們就說，我們介紹了機器學習當中用到了哪些數(shù)學。主要就是這三塊，線性代數(shù)，概率統(tǒng)計，還有最優(yōu)化，那么任何復雜的算法實際上都是由這三者的結(jié)合疊加所構(gòu)造出來的，那么這三者在機器學習當中他們起到的作用分別是什么呢？我們可以具體地來看一看。

二、三種數(shù)學工具在機器學習中的作用

（1）線性代數(shù)

1.將具體事物抽象為數(shù)學對象

對于線性代數(shù)來說，我們可以對它做一個簡單的定義。所謂線性代數(shù)是什么？就是數(shù)量和結(jié)構(gòu)的一個組合，也就是說，線性代數(shù)等于數(shù)量加上結(jié)構(gòu)。本身數(shù)量呢，它是一個單獨的數(shù)。對于單個的數(shù)我們沒有結(jié)構(gòu)可言，對于單個的對象沒有結(jié)構(gòu)可言。但是當我們把一組數(shù)，或者一堆數(shù)排列到一塊兒的時候，這個排列不是隨機的排列，而是有一定的順序進行排列的時候，這個時候，數(shù)目之間的順序或者數(shù)量之間的順序就形成了一種結(jié)構(gòu)，這個結(jié)構(gòu)就可以蘊含一定的信息，能夠供我們?nèi)ナ褂谩?/p>

除了順序之外，結(jié)構(gòu)還有另外一層含義。我可以對數(shù)量定義一些運算。在線性空間里面我們提到，基本的運算包括什么呢？包括加法，包括數(shù)乘，這樣一些運算。有了運算之后，我們就可以對不同的對象，單個的數(shù)目放在一塊兒，按照一定的順序排列在一起，我們可以把它組成一個向量，組成這樣一個對象。那么有了加法，數(shù)乘這樣一些運算之后，你就可以對這個對象再來進行一些操作。這樣的話，就實現(xiàn)了把具體事物給它抽象成數(shù)學對象，這樣的一個過程。這就是線性代數(shù)最主要的一個作用。當然不光是在機器學習里面，在其他應用到線性代數(shù)的場合也是一樣：把具體的事物抽象成為數(shù)學對象。

2.提升大規(guī)模運算的效率

當然除此之外呢，它還有另外一個優(yōu)勢，線性代數(shù)還有另外一個作用，就是能夠提升大規(guī)模運算的效率。因為在現(xiàn)代的機器學習當中，我們要處理的數(shù)據(jù)都是海量的數(shù)據(jù)，數(shù)據(jù)的數(shù)量是呈指數(shù)形式的增長。我們要處理的數(shù)據(jù)越來越多，如果只是簡單地說，用最傳統(tǒng)的方法，用一個一個的 for 循環(huán)去處理高維的矩陣，它的效率肯定是相當?shù)拖隆Ｓ辛司€性代數(shù)之后，我們可以把矩陣的運算引入到機器學習的算法當中，通過一些額外的庫，或者一些額外的軟件包，提升大規(guī)模運算的效率。這里面最直觀的一個例子就是 MATLAB 軟件。MATLAB 軟件本身名字叫矩陣實驗室。它的特點，或者說它的賣點就在于，對矩陣，或者說對向量它操作的高效率。

所以說呢，線性代數(shù)，我們把它總結(jié)一下，它就等于數(shù)量和結(jié)構(gòu)的組合。它的作用，一方面可以把具體的事物抽象成數(shù)學對象，另外一方面，可以提升大規(guī)模運算的效率。

（2）概率統(tǒng)計

1.利用數(shù)據(jù)學習模型

如果我們說，線性代數(shù)可以看成是數(shù)量還有結(jié)構(gòu)的組合的話，那么概率統(tǒng)計就可以看成是模型還有數(shù)據(jù)的組合。

那么模型和數(shù)據(jù)組合在一塊，實際上是雙向的處理。我們機器學習有學習的階段，我們要利用這個數(shù)據(jù)去訓練這個模型，這個階段，我們是用數(shù)據(jù)去學習這個模型。在模型里面，我們就可以去選擇。有那么多的模型，像我們剛才說到的，有 K- 近鄰的模型，有回歸模型，有決策樹，還有支持向量機，這樣不同的模型。我訓練的任務(wù)就是用數(shù)據(jù)來學習這些模型，來確定這個模型的參數(shù)，最終得到一個確定的模型。這就可以看成什么呢？看成是在給定數(shù)據(jù)的情況下，我來求解這個參數(shù)，它的條件概率。給定的數(shù)據(jù)，如果有一部分參數(shù)的條件概率是最大的，那么就選擇這部分參數(shù)，作為我這個模型的參數(shù)。實際上，訓練過程解決的就是這樣一個問題。

當然具體來說，包括生成模型，包括判別模型，那么生成模型我們求解的是輸入輸出的一個聯(lián)合概率分布，那么判別模型是一個條件概率分布。但不管怎么樣，很多情況下，我們關(guān)注的目標都是分布，那么利用數(shù)據(jù)進行訓練的過程也就是學習這個分布的過程。

2.利用模型推斷數(shù)據(jù)

接下來呢，在訓練結(jié)束之后，我們要這個模型要來干什么呢？要進行預測，也就是說，利用這個模型來進行數(shù)據(jù)的推斷。給定這個模型，我給到一個輸入，我輸入可能是一個特征，一些特征的組合，形成一個向量。我把這個輸入的向量代入到模型當中，就可以求出一個結(jié)果，當然也可能是多個結(jié)果。我取這個概率最大的結(jié)果作為一個輸出，這個過程就是反過來利用模型去推斷數(shù)據(jù)的一個過程。所以我們說，概率統(tǒng)計等于模型和數(shù)據(jù)的一個組合，這個組合是雙向的。在學習階段，我們利用數(shù)據(jù)來訓練模型，在預測階段，我們利用模型反過來去推斷這個數(shù)據(jù)。

所以，在概率統(tǒng)計這一塊，我們關(guān)注的是模型的使用，還有概率的求解。當然兩者不是完全區(qū)別開的，是相互融合的。在建立模型的時候，我們會利用到一些先驗概率分布。在求解目標函數(shù)的時候，我們也會涉及求解數(shù)學期望這樣一些操作。這里面我們也給出了一個實例，就是回歸分析還有機器學習方法的比較。

（3）最優(yōu)化理論

概率統(tǒng)計呢，我們可以把它解釋成這個模型和數(shù)據(jù)的一個組合，那么最優(yōu)化的話，就可以看成是目標和約束的一個組合。在這里面，我們最優(yōu)化的目標是什么呢？是求解，讓這個期望函數(shù)，或者讓目標函數(shù)取到最值的解，手段是什么呢？就是通過調(diào)整模型的參數(shù)來實現(xiàn)，為什么要調(diào)整這個模型的參數(shù)？因為很多時候，我們想求解到這個解析解是求不出來的。在很多復雜的問題當中呢，這個解析解是沒有辦法求出來的。對于線性回歸來說，我們可以求解出 Beta 的一個表達式，那樣一個矩陣相乘，求逆，再進行相乘的一個表達式。很多時候，這個解析解我們求不到，求不到怎么辦？就只能一點一點去試，一步一步去找，我要的最小值或者最大值，它到底在哪？這個時候就會用到我們最優(yōu)化的方法，包括梯度下降，包括其他的一些方法。

在使用這些方法的時候，我們要注意調(diào)整一些參數(shù)。一方面是模型的參數(shù)，另外一方面還有所謂的超參數(shù)。

調(diào)整模型參數(shù)，一方面，它的作用讓我們找到真正的最小值，或者找到真正的最大值。另外一方面，避免在尋找的過程中把最小值，或者最大值，本來你是能找到的，但是這個超參數(shù)沒有設(shè)計好，比如說我的步長、速率沒有設(shè)計好，把這個點錯過，要避免這樣一些問題。所以說對于最優(yōu)化而言，我們可以把它看成是目標，還有參數(shù)的一個組合，通過這兩者來找到我們想要的合適的點。

三、需要掌握到什么程度？

剛才呢，我們結(jié)合這些實例，解釋了線性代數(shù)，概率論，概率學統(tǒng)計，還有最優(yōu)化，在機器學習當中的一些作用。接下來我們來看一看，需要掌握到什么程度。需要掌握到什么程度呢？實際上，應該說是一個見仁見智的問題。當然理想的情況肯定是掌握得越多越好，最好你能把所有的數(shù)學都掌握到，不光是我們提到的這些，甚至更加高級的你都會，這是最好的效果。當然在實際當中，我們不可能，沒有那么多精力去專門地鉆研到這個數(shù)學當中，所以說這種理想的情況也是不存在的。那么具體來說，掌握到什么程度呢？

（1）機器學習的三重境界

1. 能使用：利用已知方法解決問題

我在這里列出來了三個階段。第一個階段呢，我管它叫做能使用。也就是說，給定一個模型，我能夠用它來根據(jù)給定的輸入來求解輸出，也就是利用已知的方法來解決問題。那么這個已知的方法，我可以把它看成一個黑箱子，我不關(guān)注這個過程，不關(guān)注這個方法是如何解決問題，只要能夠解決問題就行?？赡芤呀?jīng)有了一個算法，那么我只需要對數(shù)據(jù)做一些處理，把這個數(shù)據(jù)送入到算法當中，得到一個輸出，我能看明白這個輸出是怎么回事，這就可以。這是能使用的階段，我只是做一個算法的使用者，我能把它用清楚就夠了。

2. 能看懂：理解已知方法的工作原理

如果在能使用的基礎(chǔ)上再進一步，那么就是能看懂，我不光用這個已知的方法來解決問題，同時我還能夠理解這個方法的工作原理。知其然，還能知其所以然。能使用就是知其然，能看懂就是知其所以然。那么這個方法可能背后有一些數(shù)學推導，會涉及到一些概率，最優(yōu)化，還有線性代數(shù)的一些使用。那么這個能看懂，就要求你具備相關(guān)的知識，能夠把這個推導的過程給它順下來，知道這個方法具體是怎么來工作。

3. 能設(shè)計：根據(jù)問題特征開發(fā)新方法

如果在這個能看懂的基礎(chǔ)上，再進一步的話，我們可以把它叫做能設(shè)計。我把已知方法理解之后，我還可以根據(jù)我的問題，根據(jù)我自己的實際問題的特點，來開發(fā)一些新的方法。要么呢，可以對已知的方法我來做一些改進，使它更符合我自己的一個待解決問題的方法，或者說我開發(fā)一個完全新的方法，就是重新推導，推倒重來，直接設(shè)計一個新的方法。那么很顯然，這個呢，對于數(shù)學功底就有更深層次的一個要求。

所以我們說對于數(shù)學的掌握程度包括這樣的三個層次，能使用，能看懂，還能設(shè)計。那么具體在實際當中，你需要做到哪個程度，那么就要根據(jù)自己的實際情況來做出判斷。

四、如何盡快、高效率掌握數(shù)學知識？

（1） 掌握核心概念

在這方面，我給出的建議是，一方面是，我們要握核心概念，在線性代數(shù)當中核心概念是什么？就是線性空間，向量矩陣以及對于向量矩陣的度量，包括范數(shù)、包括內(nèi)積這些，這些就是它的核心概念。那么在概率統(tǒng)計當中，頻率學派，還有貝葉斯學派，他們兩者之間的區(qū)別是一個核心概念，同時呢，像期望方差這些指標，還有條件概率，這樣的一些概念，條件概率聯(lián)合概率這樣一些概念也是核心概念。那么在最優(yōu)化當中，這些算法，這個梯度下降法，或者牛頓法，這就是核心概念。

（2） 以點帶面

在時間有限的情況下，我們一定要把有限的精力集中在重要的知識上。先把這些核心概念搞清楚，再通過這些核心的概念，來以點代面，從這些關(guān)鍵的問題去鋪開，慢慢地去接觸其他的問題。

（3） 問題導向

最后一點呢，我覺得，在學習的時候，我們可以以問題為導向，就是結(jié)合著我們實際的需求，結(jié)合我們實際的問題，來決定我們?nèi)W什么。這個呢，和我們前面所說到的這個掌握到什么程度也是一樣，掌握到什么程度也是相通的。因為畢竟我們學習，機器學習，學習機器學習當中的數(shù)學都是為了解決問題。如果不能解決問題的話，你學到的這個東西的價值就沒有能夠解決問題的這個知識的價值大。當然我們也不能說一點價值都沒有。在學習的時候，大家可以嘗試著以問題為導向。帶著問題去探索這些知識，帶著問題去學習知識，可能你會發(fā)現(xiàn)，這樣會得到更高的效率。

五、推薦書目

推薦書目在我們專欄里面也有相應的推送。在基礎(chǔ)數(shù)學，基礎(chǔ)學習，神經(jīng)網(wǎng)絡(luò)，還有深度學習，每個模塊我們結(jié)束之后都會推薦一些相關(guān)的書籍。但是在這里，我想要跟大家推薦的兩本書，都是關(guān)于機器學習，或者說都是關(guān)于統(tǒng)計學習，一本叫 An IntroducTIon StaTIsTIcal to Learning ，另一本叫 The Elements of StaTIstical Learning 。

兩本書的作者是同一撥人，有兩個共同的作者。它們講述的都是統(tǒng)計學習，或者機器學習的方法。其中前一本可以看成是后一本的簡化版。它更通俗、更簡單一些，后面這個稍微有些難。為什么推薦這兩本呢？因為這兩本，它更深入的會挖掘方法背后的一些數(shù)學含義。我們能夠看到的教科書，它主要的作用是把這個方法講清楚。來了個方法，比如說線性回歸，怎么推導，怎么區(qū)算，一大堆公式寫出來，那么給出一個推導的結(jié)果，或者說決策樹，或者其他的算法都一樣，可能到這里就結(jié)束了，我的任務(wù)就完成了。

這兩本書，它不光是介紹方法推導，它可能更看中統(tǒng)計學上的意義。我們?yōu)槭裁匆@么做，我們設(shè)計這個方法在統(tǒng)計學上有什么意義。因為作者都是統(tǒng)計學家，有幾十年的積淀，有幾十年的研究積淀，所以，相比于其他市面上教科書，我認為他們兩個 insight 可能更多一些。當然了，大家看起來，也會有相應的難度，可能并不是像我們平時的教科書那么簡單。這些書，我們一遍兩遍是讀不完的，如果真正要從事人工智能、機器學習這方面的工作的話，可能要多讀幾遍，每讀一遍也會有不同的收獲。

數(shù)學基礎(chǔ)知識蘊含著處理智能問題的基本思想與方法，也是理解復雜算法的必備要素。今天的種種人工智能技術(shù)歸根到底都建立在數(shù)學模型之上，要了解人工智能，首先要掌握必備的數(shù)學基礎(chǔ)知識，具體來說包括：

線性代數(shù)：如何將研究對象形式化？

概率論：如何描述統(tǒng)計規(guī)律？

數(shù)理統(tǒng)計：如何以小見大？

最優(yōu)化理論： 如何找到最優(yōu)解？

信息論：如何定量度量不確定性？

形式邏輯：如何實現(xiàn)抽象推理？

01 線性代數(shù)：如何將研究對象形式化

事實上，線性代數(shù)不僅僅是人工智能的基礎(chǔ)，更是現(xiàn)代數(shù)學和以現(xiàn)代數(shù)學作為主要分析方法的眾多學科的基礎(chǔ)。從量子力學到圖像處理都離不開向量和矩陣的使用。而在向量和矩陣背后，線性代數(shù)的核心意義在于提供了?種看待世界的抽象視角：萬事萬物都可以被抽象成某些特征的組合，并在由預置規(guī)則定義的框架之下以靜態(tài)和動態(tài)的方式加以觀察。

著重于抽象概念的解釋而非具體的數(shù)學公式來看，線性代數(shù)要點如下：線性代數(shù)的本質(zhì)在于將具體事物抽象為數(shù)學對象，并描述其靜態(tài)和動態(tài)的特性；向量的實質(zhì)是 n 維線性空間中的靜止點；線性變換描述了向量或者作為參考系的坐標系的變化，可以用矩陣表示；矩陣的特征值和特征向量描述了變化的速度與方向。

總之，線性代數(shù)之于人工智能如同加法之于高等數(shù)學，是一個基礎(chǔ)的工具集。

02 概率論：如何描述統(tǒng)計規(guī)律？

除了線性代數(shù)之外，概率論也是人工智能研究中必備的數(shù)學基礎(chǔ)。隨著連接主義學派的興起，概率統(tǒng)計已經(jīng)取代了數(shù)理邏輯，成為人工智能研究的主流工具。在數(shù)據(jù)爆炸式增長和計算力指數(shù)化增強的今天，概率論已經(jīng)在機器學習中扮演了核心角色。

同線性代數(shù)一樣，概率論也代表了一種看待世界的方式，其關(guān)注的焦點是無處不在的可能性。頻率學派認為先驗分布是固定的，模型參數(shù)要靠最大似然估計計算；貝葉斯學派認為先驗分布是隨機的，模型參數(shù)要靠后驗概率最大化計算；正態(tài)分布是最重要的一種隨機變量的分布。

03 數(shù)理統(tǒng)計：如何以小見大？

在人工智能的研究中，數(shù)理統(tǒng)計同樣不可或缺?；A(chǔ)的統(tǒng)計理論有助于對機器學習的算法和數(shù)據(jù)挖掘的結(jié)果做出解釋，只有做出合理的解讀，數(shù)據(jù)的價值才能夠體現(xiàn)。數(shù)理統(tǒng)計根據(jù)觀察或?qū)嶒灥玫降臄?shù)據(jù)來研究隨機現(xiàn)象，并對研究對象的客觀規(guī)律做出合理的估計和判斷。

雖然數(shù)理統(tǒng)計以概率論為理論基礎(chǔ)，但兩者之間存在方法上的本質(zhì)區(qū)別。概率論作用的前提是隨機變量的分布已知，根據(jù)已知的分布來分析隨機變量的特征與規(guī)律；數(shù)理統(tǒng)計的研究對象則是未知分布的隨機變量，研究方法是對隨機變量進行獨立重復的觀察，根據(jù)得到的觀察結(jié)果對原始分布做出推斷。

用一句不嚴謹?shù)庇^的話講：數(shù)理統(tǒng)計可以看成是逆向的概率論。 數(shù)理統(tǒng)計的任務(wù)是根據(jù)可觀察的樣本反過來推斷總體的性質(zhì)；推斷的工具是統(tǒng)計量，統(tǒng)計量是樣本的函數(shù)，是個隨機變量；參數(shù)估計通過隨機抽取的樣本來估計總體分布的未知參數(shù)，包括點估計和區(qū)間估計；假設(shè)檢驗通過隨機抽取的樣本來接受或拒絕關(guān)于總體的某個判斷，常用于估計機器學習模型的泛化錯誤率。

04 最優(yōu)化理論： 如何找到最優(yōu)解？

本質(zhì)上講，人工智能的目標就是最優(yōu)化：在復雜環(huán)境與多體交互中做出最優(yōu)決策。幾乎所有的人工智能問題最后都會歸結(jié)為一個優(yōu)化問題的求解，因而最優(yōu)化理論同樣是人工智能必備的基礎(chǔ)知識。最優(yōu)化理論研究的問題是判定給定目標函數(shù)的最大值（最小值）是否存在，并找到令目標函數(shù)取到最大值 （最小值） 的數(shù)值。 如果把給定的目標函數(shù)看成一座山脈，最優(yōu)化的過程就是判斷頂峰的位置并找到到達頂峰路徑的過程。

通常情況下，最優(yōu)化問題是在無約束情況下求解給定目標函數(shù)的最小值；在線性搜索中，確定尋找最小值時的搜索方向需要使用目標函數(shù)的一階導數(shù)和二階導數(shù)；置信域算法的思想是先確定搜索步長，再確定搜索方向；以人工神經(jīng)網(wǎng)絡(luò)為代表的啟發(fā)式算法是另外一類重要的優(yōu)化方法。

05 信息論：如何定量度量不確定性？

近年來的科學研究不斷證實，不確定性就是客觀世界的本質(zhì)屬性。換句話說，上帝還真就擲骰子。不確定性的世界只能使用概率模型來描述，這促成了信息論的誕生。

信息論使用“信息熵”的概念，對單個信源的信息量和通信中傳遞信息的數(shù)量與效率等問題做出了解釋，并在世界的不確定性和信息的可測量性之間搭建起一座橋梁。

總之，信息論處理的是客觀世界中的不確定性；條件熵和信息增益是分類問題中的重要參數(shù)；KL 散度用于描述兩個不同概率分布之間的差異；最大熵原理是分類問題匯總的常用準則。

06 形式邏輯：如何實現(xiàn)抽象推理？

1956 年召開的達特茅斯會議宣告了人工智能的誕生。在人工智能的襁褓期，各位奠基者們，包括約翰·麥卡錫、赫伯特·西蒙、馬文·閔斯基等未來的圖靈獎得主，他們的愿景是讓“具備抽象思考能力的程序解釋合成的物質(zhì)如何能夠擁有人類的心智?！蓖ㄋ椎卣f，理想的人工智能應該具有抽象意義上的學習、推理與歸納能力，其通用性將遠遠強于解決國際象棋或是圍棋等具體問題的算法。

如果將認知過程定義為對符號的邏輯運算，人工智能的基礎(chǔ)就是形式邏輯；謂詞邏輯是知識表示的主要方法；基于謂詞邏輯系統(tǒng)可以實現(xiàn)具有自動推理能力的人工智能；不完備性定理向“認知的本質(zhì)是計算”這一人工智能的基本理念提出挑戰(zhàn)。