人工智能（上下冊）

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

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