人工智能（上下冊）

　　本書是人工智能專業(yè)最基礎(chǔ)最全面的解讀，作者陸汝鈐院士在知識工程和基于知識的軟件工程方面做了系統(tǒng)的、創(chuàng)造性的工作，是我國該領(lǐng)域研究的開拓者之一。倡導(dǎo)并主持完成了以軟件的機(jī)械化生成和移植為目標(biāo)的系列軟件計(jì)劃（XR計(jì)劃），推動了當(dāng)時(shí)國產(chǎn)機(jī)軟件缺乏問題的解決。本書首次把異構(gòu)型DAI和機(jī)器辯論引進(jìn)人工智能領(lǐng)域。研究出基于類自然語言理解的知識自動獲取方法，把ICAI生成技術(shù)推進(jìn)到以自動知識獲取為特征的第三代，并開發(fā)出基于知識的應(yīng)用軟件自動生成技術(shù)。在形式語義學(xué)方面研究了邏輯語義、代數(shù)語義和分布式語義，證明了任意Horn子句集的模型論語義和最小不動點(diǎn)語義的等價(jià)性；給出了能描述動態(tài)控制結(jié)構(gòu)的基調(diào)式代數(shù)語義；把平面的Petri網(wǎng)擴(kuò)展成多頁的Petri/Riemann網(wǎng)（P/R網(wǎng)）作為進(jìn)程模型，獲得了演算的最大真并發(fā)結(jié)構(gòu)。對于希望學(xué)習(xí)了解人工智能基礎(chǔ)知識和算法的讀者，又非常基礎(chǔ)而全面的幫助。

　　陸汝鈐，計(jì)算機(jī)科學(xué)家，中國科學(xué)院院士。陸汝鈐以人工智能、知識工程和基于知識的軟件工程為主要研究方向，是中國該領(lǐng)域研究的開拓者之一。