'是一種集邏輯等一起的計算規律，分為隱式和顯式兩類'。上下文計算是從已知到未知的方法，包括計算，推理，設計等，有無限計算和有限計算兩類。並且有認識的無限的發展餘地。
計算原理,思路分類,
計算原理
數學計算有模型方法（題型），有歸納演繹反證方法，有推理有公理法，有計算符號，有定義和定理。根據數學機械化原理，一般認為數學有機械化方法，個人認為是數學求解方法的映射，建立從已知到求證的映射線路。映射本身沒有智慧型，但是求解新的類型是智慧型（所以人工智慧的一部分可以用人工輔助智慧型表示似乎更確切），所以對未知類型問題（或者不能判斷類型的問題，這可以構造新的自動機來證明）的求解可以用到上下文計算。在智慧型計算中用到進化與繁殖的概念,不僅包括自然界的智慧型（實際就是優勢的模擬），更包括人類的智慧型，這似乎與線性方法與非線性方法的區別類似。因此計算（問題求解）可簡單分成：數學機械化方法，上下文計算與智慧型計算三部分。
上下文計算基本方法之一是全部數據元在一個計算題目中的整體變換過程的映射，即從全部運算元（隱已知運算元）套用不同計算符、定理、數學機械化過程到計算結果的映射，得到新的運算元集合，一個運算元在系統中的變換可以構成不同的計算主體線索。這個基本方法以數學代入法為基礎。
借鑑數學機械化方法，數學公式與計算定理的套用可稱為計算過程映射，這與soc技術的IP核類似。
計算過程的特徵是起始驅動與關鍵計算，證明過程的特徵是關鍵路徑與問題規約。
思路分類
1受限上下文
根據參考文獻4，問題求解的信息可分成本體與上下文信息。因此計算方法的本體，包括反證法，歸納法，模型法，關係映射反演法則[5]，公理化，結構方法，形式化方法，可形式化為通用的本體，當求解不同領域不同背景的題目時，用到的具體信息稱為上下文信息。因為與某一個學科某一個題目有關所以稱為受限上下文。類似歸納。
2無限上下文
並不考慮問題求解的特性背景與規則，而是發現問題的關鍵項或奇異項，因此有關聯，類比等方法，有舉一反三，不落俗套的功效，常用在設計，創作，新建與創造上，但是受限上下文可解決的問題無限上下文也能解決。類似演繹。
上下文計算有許多方法。無限上下文在高等數學中的套用為例。例如求解一個計算問題有多個方法，因此按照上下文選擇一個方法，得到一個新的計算式或表達式，因此得到一個新的上下文，並用驗證函式檢驗方法的正確度，可稱為上文選擇下文驗證方法。將相關上下文用相關度將組成的知識集用知識表示的不同方法表達出來，稱為上下文知識表示。
在傳統上，從定理出發選擇上下文，與從上下文出發選擇定理不同，因此專家系統有知識庫包括推理庫。然而將定理等包括在上下文中，而沒有定理與上下文的地位區別，這是一個新的處理方法。
上下文可用來知識表示，在文法中有前後文相關，無關文法。也有上下文先關，無關計算。
邏輯上下文 想？得到正確的上下文，使用邏輯上下文技術。邏輯有推理與正確兩個含義。
高等數學的計算有三大類：極限，微分與積分。不定積分是微分的逆計算，根據高斯-萊布尼茨公式，定積分是不定積分計算出的原函式的變數代數的減法計算。導數的基礎是極限。因此高等數學的可計算首先是極限可計算。
初等計算不可計算的量或者算符（極限，微分，積分算符等）或者函式（冪指函式）構成的算式稱為不確定計算。因此不確定計算的計算方法分為：1不確定量確定化，即初等計算法。例如四則運算在導數計算中仍然成立2不確定量的高等計算過程映射方法.例如求曲邊梯形的面積可以用定積分的方法。
根據數學可計算原則，可以構建高等數學計算體系，高等數學專家系統與學習系統，並可構建高等數學計算文法[6]。極限使無限變成有限，給np問題的解決提供一個可判定的思路。以旅行者問題為例。若城市基本連線結構有限，則用排列組合，系統構建的方法構成的旅行者地圖是有可能使用極限的方法得到一個解決的可能。
高等數學計算文法：1.計算式的符號表示2使符號表示的計算式可計算：將符號表示到計算表達式3計算出來。用不同的方法將計算表達式計算出來。例如曲面積分，將曲面積分表示出來，在換算成計算表達式：三重積分（高斯公式），二重積分。曲線積分也可轉換成曲面積分。用重積分方法將曲面積分計算出來。
高等數學文法包括上下文相關與無關兩部分。
上下文計算的原則是計算出來。
計算的原子公式
計算中對某一個計算問題的基本計算式稱為原子公式。包括一個公式，一個過程，一個定理等。例如在積分計算中的原子公式是定積分計算，在定積分計算中原子公式是積分公式表，有擴展部分和分類總結。
計算機器件（eg. ALU）與集契約階，集合的結構計算與系統結構類似，數據通信與數據連線與上下文計算和系統控制與運行有相似之處。
參考文獻
1.維基百科，廣義計算，。
2.黃勝霞等，上下文推理技術在智慧型環境中的研究與套用，微電子學與套用，2008.5.
3 郭兵等，Soc技術原理與套用，清華大學出版社，2006.4.
4陳英等，一種知識和本體上下文集成化的數據挖掘方法，軟體學報，2007（10）、
5徐利治，數學方法論十二講，大連理工大學出版社，2007.
6莫紹揆等譯，形式語言及其自動機，科學出版社，1979.
