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