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