推薦答案型的人工智能語(yǔ)言主要有LISP、Prolog、Smalltalk、C++等。
一般來(lái)說(shuō)，人工智能語(yǔ)言應(yīng)具備如下特點(diǎn)：
·具有符號(hào)處理能力（即非數(shù)值處理能力）；
·適合于結(jié)構(gòu)化程序設(shè)計(jì)，編程容易；
·具有遞歸功能和回溯功能；
·具有人機(jī)交互能力；
·適合于推理；
·既有把過(guò)程與說(shuō)明式數(shù)據(jù)結(jié)構(gòu)混合起來(lái)的能力，又有辨別數(shù)據(jù)、確定控制的模式匹配機(jī)制。
在人工智能手冊(cè)中介紹了七種人工智能語(yǔ)言：
LISP,PLANNER,CINNIVER,QLISP,POP-2,SAIL,FUZZY。近百種人工智能語(yǔ)言中，只有LISP和后起之秀Prolog是人工智能研究和應(yīng)用中占重要地位的兩種人工智能程序設(shè)計(jì)語(yǔ)言。雖然國(guó)內(nèi)外對(duì)這兩種AI語(yǔ)言曾有爭(zhēng)議，褒貶不一，但LISP和PROLOG的重要性是都不可否認(rèn)的。
談到LISP和PROLOG兩種AI語(yǔ)言的重要性，我們可以從美國(guó)AI界的權(quán)威學(xué)者、麻省理工學(xué)院教授P.H.Winston(溫斯頓)所說(shuō)的三段話(huà)來(lái)體會(huì)：
(1)溫斯頓認(rèn)為，LISP 語(yǔ)言是AI的數(shù)學(xué)，不僅對(duì)AI的機(jī)器實(shí)現(xiàn)有重要意義，而且是AI理論研究的重要工具。
(2)“在中世紀(jì)，拉丁文和希臘文的知識(shí)對(duì)所有學(xué)者來(lái)說(shuō)，都是必不可少的。只懂一種語(yǔ)言的學(xué)者必然是一個(gè)殘缺不全的學(xué)者，他缺乏從兩個(gè)方面來(lái)觀(guān)察世界所獲得的那種理解力。同樣地，現(xiàn)代的AI專(zhuān)業(yè)人員如果不能同時(shí)大致通曉L(fǎng)ISP和Prolog，也猶如一個(gè)殘疾人,因?yàn)榫蛷V義來(lái)說(shuō),這兩種人工智能的主要語(yǔ)言的知識(shí)都是必不可少的?！?br />
“我一直熱衷于Lisp，Lisp是在MIT被制造并且在那兒成長(zhǎng)起來(lái)的?！?br />
(3)概括地說(shuō),計(jì)算機(jī)語(yǔ)言的發(fā)展正是一個(gè)從HOW型低級(jí)語(yǔ)言向WHAT型高級(jí)語(yǔ)言進(jìn)化的過(guò)程.在HOW型語(yǔ)言中,程序編制者必須詳細(xì)說(shuō)明運(yùn)算是怎樣(HOW)一步一步進(jìn)行的;而在WHAT型語(yǔ)言中,程序編制者只需簡(jiǎn)單說(shuō)明要做的事情是什么(WHAT) 。 …現(xiàn)代的LISP語(yǔ)言是這些語(yǔ)言的佼佼者,因?yàn)椴捎肅ommon Lisp格式的Lisp具有非凡的表現(xiàn)力,但是如何做某件事情仍然是有待于Lisp程序編制者來(lái)表達(dá)的東西.相反,Prolog是一種明顯地沖破了HOW型語(yǔ)言陳規(guī)的語(yǔ)言, 它鼓勵(lì)程序編制者去描述情況和問(wèn)題,而不是那些用來(lái)解決問(wèn)題的詳細(xì)步驟?！?br>
由以上論述可以看出LISP語(yǔ)言和Prolog語(yǔ)言對(duì)人工智能學(xué)科和人工智能學(xué)者的重要性。
一般來(lái)說(shuō),LISP可以稱(chēng)為人工智能的匯編語(yǔ)言, Prolog是人工智能更高級(jí)的語(yǔ)言。
典型的人工智能論壇如下，