本書是人工智能專業(yè)最基礎(chǔ)最全面的高校教材，作者陸汝鈐院士系 中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院數(shù)學(xué)研究所研究員。在知識工程和基于知識的軟件工程方面做了系統(tǒng)的、創(chuàng)造性的工作，是我國該領(lǐng)域研究的開拓者之一。倡導(dǎo)并主持完成了以軟件的機械化生成和移植為目標(biāo)的系列軟件計劃（XR計劃），推動了當(dāng)時國產(chǎn)機軟件缺乏問題的解決。本書首次把異構(gòu)型DAI和機器辯論引進人工智能領(lǐng)域。研究出基于類自然語言理解的知識自動獲取方法，把ICAI生成技術(shù)推進到以自動知識獲取為特征的第三代，并開發(fā)出基于知識的應(yīng)用軟件自動生成技術(shù)。在形式語義學(xué)方面研究了邏輯語義、代數(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)。