人工智能领域认为，让计算机理解自然语言是人工智能皇冠上的明珠。要想让机器理解自然语言，必须做到让自然语言的语义成为可计算的形式化对象。预设是自然语言承载知识的重要环节，本书以预设投射问题为主线，梳理了语言学界和逻辑学界对预设问题研究的发展历程，最终在克里普克预设回指思想的引领下，运用国际前沿的分层话语表现理论、投射话语表现理论等语义框架，对复合语句预设的投射情况进行深入分析。本书对预设问题的探讨通过构造形式语义框架将包含预设的自然语言形式化为机器上可操作、可计算的数据语言，对自然语言信息处理具有重要的理论价值，也符合人工智能时代科学研究服务人类美好生活构建的目标。
