決自然語言理解問題)而設計的。它的理論基礎是一階謂詞演算(首先是它子集Horn子句演算)的消解法定理證明，其計算能力等價於LISP。OPS5麵對的問題也是邏輯推理。不過PROLOG是向後推理，OPS5是向前推理。OPS5的理論基礎是Post的產生式係統，其計算能力也等價於LISP。第二個來源是認知科學的研究成果。人們研究出各種各樣的認知模型，並為這些模型設計相應的知識表示語言。例如產生式表示、框架表示、語義網絡表示等實際上都有其認知模型作為背景。如上所述的OPS5是產生式表示的語言，SRL、FRL、FEST等是框架語言，概念圖和SNetI都是語義網絡表示語言。麵向對象的程序設計是在SIMULA中的類程和Minsky的框架表示兩種思想融合的基礎上發展起來的(它適用於計算機軟件的所有領域，不隻是人工智能)。
麵向主體(Agent,亦稱活體)程序設計
近年來出現了具有人工智能特色麵向對象程序設計，稱為麵向主體(Agent,亦稱活體)程序設計。往一個對象中增加更多的智能，使它能根據環境的變化進行推理並規劃自己的行為，就得到主體(Agent)。主體概念符合Minsky提出的“意念社會”認知模型，特別適用於分布環境。經典的麵向對象程序設計語言是Smalltalk,麵向主體的程序設計語言也已經有了一些，如OZ等，但還沒被大家公認和普遍采用。也有基於PDP認知模型(ParallelDistributedProcessing)的神經網絡語言。第三來源是知識工程的實際需要。例如，為了開發各種領域的專家係統而設計的包含不精確推理或不確定推理功能，甚至包含多種不同推理機製的AI語言，例如Loops和TUILI。還有的是看到某一個專家係統做得比較成功，乾脆抽去它的領域知識，留下它的表示方法，也成為一種語言，俗稱專家係統外殼。例如，抽去醫學專家係統MYSIN的領域知識就得到一個外殼語言Emycin。
人工智能手冊
在人工智能手冊中介紹了七種人工智能語言：
LISP,PLANNER,CINNIVER,QLISP,POP-2,SAIL,FUZZY。近百種人工智能語言中，隻有LISP和後起之秀Prolog是人工智能研究和應用中占重要地位的兩種人工智能程序設計語言。雖然國內外對這兩種AI語言曾有爭議，褒貶不一，但LISP和PROLOG的重要性是都不可否認的。
請前往ｏｏｐ．ｔｗ閱讀本書最新內容
名家名言
談到LISP和PROLOG兩種AI語言的重要性，我們可以從美國AI界的權威學者、麻省理工學院教授P.H.Winston(溫斯頓)所說的三段話來體會：
(1)溫斯頓認為，LISP語言是AI的數學，不僅對AI的機器實現有重要意義，而且是AI理論研究的重要工具。
”。的少可不必是都識知的言語要主的能智工人種兩這,說來義廣就為因,人疾殘個一如猶也，golorP和PSIL曉通致大時同能不果如員人業專IA的代現，地樣同。力解理種那的得獲所界世察觀來麵方個兩從乏缺他，者學的全不缺殘個一是然必者學的言語種一懂隻。的少可不必是都，說來者學有所對識知的文臘希和文丁拉，紀世中在“)2(
”。的來起長成兒那在且並造製被TIM在是psiL，psiL於衷熱直一我“
”。驟步細詳的題問決解來用些那是不而,題問和況情述描去者製編序程勵鼓它,言語的規陳言語型WOH了破衝地顯明種一是golorP,反相.西東的達表來者製編序程psiL於待有是然仍情事件某做何如是但,力現表的凡非有具psiL的式格psiLnommoC用采為因,者佼佼的言語些這是言語PSIL的代現…。)TAHW(麼什是情事的做要明說單簡需隻者製編序程,中言語型TAHW在而;的行進步一步一)WOH(樣怎是算運明說細詳須必者製編序程,中言語型WOH在.程過的化進言語級高型TAHW向言語級低型WOH從個一是正展發的言語機算計,說地括概)3(
。性要重的者學能智工人和科學能智工人對言語golorP和言語PSIL出看以可述論上以由
。言語的級高更能智工人是golorP,言語編彙的能智工人為稱以可PSIL,說來般一
