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