【正文】 代數(shù)運算，這是一種智能化的計算，處理的是符號。首先,多數(shù)計算機代數(shù)系統(tǒng)對計算機硬件有較高的要求,在進行符號運算時,通常需要很大的內(nèi)存和較長的計算時間,而精確的代數(shù)運算以時間和空間為代價的。在新一代專家系統(tǒng)中，不但采用基于規(guī)則的推理方法，而且采用了諸如人工神經(jīng)網(wǎng)絡(luò)的方法與技術(shù)。能夠造出這樣的具有人類智能的機器，是科學家們一直的理想。神經(jīng)網(wǎng)絡(luò)、進化計算都曾經(jīng)解決過許多數(shù)學上的難題，它們與專家系統(tǒng)一樣，為其它各個學科起了很大的促進作用。這個時候，人工智能就在某一領(lǐng)域表現(xiàn)出比一般人更加卓越的能力。國際上有關(guān)專家分析認為機器翻譯要想達到類似人工翻譯一樣的流暢程度，至少還要經(jīng)歷15年時間的持續(xù)研究，但在人類對語言研究還沒有清楚“人腦是如何進行語言的模糊識別和判斷”的情況下，機器翻譯要想達到100%的準確率是不可能的。目前，專家系統(tǒng)主要采用基于規(guī)則的知識表示和推理技術(shù)。 現(xiàn)在符號計算軟件有一些共同的特點就是在可以進行符號運算、數(shù)值計算和圖形顯示等同時,還具有高效的可編程功能。Mathematica是第一個將符號運算,數(shù)值計算和圖形顯示很好地結(jié)合在一起的數(shù)學軟件,用戶能夠方便地用它進行多種形式的數(shù)學處理。 為了實現(xiàn)專家系統(tǒng)，必須要存儲有該專門領(lǐng)域中經(jīng)過事先總結(jié)、分析并按某種模式表示的專家知識(組成知識庫)，以及擁有類似于領(lǐng)域?qū)＜医鉀Q實際問題的推理機制(構(gòu)成推理機)。機器翻譯研究歸根結(jié)底是一個知識處理問題，它涉及到有關(guān)語言內(nèi)的知識、語言間的知識、以及語言外的世界知識，其中包括常識和相關(guān)領(lǐng)域的專門知識。人工智能應(yīng)該可以為人類而服務(wù)，能夠幫助人解決各種問題。人工智能研究必須建立在歸納邏輯基礎(chǔ)之上，從而達到多領(lǐng)域交叉合作來共同促進人工智能研究的