人工智能領(lǐng)域認(rèn)為，讓計(jì)算機(jī)理解自然語(yǔ)言是人工智能皇冠上的明珠。要想讓機(jī)器理解自然語(yǔ)言，必須做到讓自然語(yǔ)言的語(yǔ)義成為可計(jì)算的形式化對(duì)象。預(yù)設(shè)是自然語(yǔ)言承載知識(shí)的重要環(huán)節(jié)，本書(shū)以預(yù)設(shè)投射問(wèn)題為主線(xiàn)，梳理了語(yǔ)言學(xué)界和邏輯學(xué)界對(duì)預(yù)設(shè)問(wèn)題研究的發(fā)展歷程，最終在克里普克預(yù)設(shè)回指思想的引領(lǐng)下，運(yùn)用國(guó)際前沿的分層話(huà)語(yǔ)表現(xiàn)理論、投射話(huà)語(yǔ)表現(xiàn)理論等語(yǔ)義框架，對(duì)復(fù)合語(yǔ)句預(yù)設(shè)的投射情況進(jìn)行深入分析。本書(shū)對(duì)預(yù)設(shè)問(wèn)題的探討通過(guò)構(gòu)造形式語(yǔ)義框架將包含預(yù)設(shè)的自然語(yǔ)言形式化為機(jī)器上可操作、可計(jì)算的數(shù)據(jù)語(yǔ)言，對(duì)自然語(yǔ)言信息處理具有重要的理論價(jià)值，也符合人工智能時(shí)代科學(xué)研究服務(wù)人類(lèi)美好生活構(gòu)建的目標(biāo)。

陳晶晶，石家莊鐵道大學(xué)馬克思主義學(xué)院教師，畢業(yè)于中國(guó)人民大學(xué)哲學(xué)院邏輯學(xué)專(zhuān)業(yè)，研究方向?yàn)檎Z(yǔ)言邏輯。曾主持完成河北省社會(huì)科學(xué)基金一項(xiàng)、河北省教育廳人文社會(huì)基金項(xiàng)目三項(xiàng)、河北省社會(huì)科學(xué)發(fā)展研究課題一項(xiàng)。曾以唯一主研人參與完成國(guó)家社會(huì)科學(xué)基金一般項(xiàng)目一項(xiàng)，參與國(guó)家社會(huì)科學(xué)基金重大項(xiàng)目一項(xiàng)，參與省社科基金多項(xiàng)，在CSSCI及中文核心等期刊發(fā)表論文十余篇。