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

陈晶晶，石家庄铁道大学马克思主义学院教师，毕业于中国人民大学哲学院逻辑学专业，研究方向为语言逻辑。曾主持完成河北省社会科学基金一项、河北省教育厅人文社会基金项目三项、河北省社会科学发展研究课题一项。曾以唯一主研人参与完成国家社会科学基金一般项目一项，参与国家社会科学基金重大项目一项，参与省社科基金多项，在CSSCI及中文核心等期刊发表论文十余篇。