符號計算的要義在於：知識可用符號表示，而且這種表達具有充分性和可利用性，符號能進行計算即推理機的自動推理。在神經網路發展低潮的上個世紀，符號計算這個支脈是人工智慧的主流。
例如：知識：人總是要死的，john是人；
表達：推理：
符號計算大體就是做上述的事情，不過上述是最簡潔的例子，建立知識庫，然後進行邏輯推理。
語義網路：一種知識的表達方式。（有與其配套的推理）
構建知識庫真正用的是：來自數理邏輯的知識形式化方法。
這裡的知識點主要歸於離散數學的邏輯：一階謂詞邏輯、簡單析取式、子句、量詞，還有一些等價公式、永真公式。
目的就是將知識進行形式上的統一。
在之後關於符號 計算的就是推理的形式化----------------------------結尾終結---------------------------------
MATLAB符號計算
1.建立符號物件 建立符號變數和符號常量 matlab提供了兩個建立符號物件的函式 sym和syms，兩個函式的用法不同。1 sym函式 sym函式用來建立單個符號量，一般呼叫格式為 符號量名 sym 符號字串 該函式可以建立乙個符號量，符號字串可以是常量 變數 函式或表示式。應用sym函式還可以定...
keras 學習符號計算
本文簡單敘述了如何使用符號計算的方法，方便以後解構keras源 時參閱。正如官網所述 keras使用的後端theano和tensorflow軍委符號運算。符號主義的計算要首先定義各種變數，然後建立乙個 計算圖 計算圖規定了各個變數的計算關係，建立好了的計算圖需要編譯確定其內部細節，最後載入資料流，方...
MATLAB的符號計算
數學計算有數值計算與符號計算之分。這兩者的根本區別是 數值計算的表示式 矩陣變數中不允許有未定義的自由變數 而符號計算可以含有未定義的符號變數。對於一般的程式設計軟體如 c,c 等語言實現數值計算還可以 但是實現符號計算並不是一件容易的事。而 matlab 自帶有符號工具箱 symbolic mat...