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