本书主要关注语言表达的意义，提供概念化和形式化的工具以建立能够理解文本的语义系统。书中对语义学的数学基础、预述法、图形和机器、表型语法、词素、模型、具体化和人工生命的意义等主题做了探讨，不仅涵盖系统的工作原理，而且给出了严谨的数学描述，并提供大量不同难度的练习。本书具备鲜明的跨学科特性，适合计算机科学、语言学、哲学、认知科学等不同方向的读者阅读，建议读者结合编程实践以及扩展阅读资料，不断加深对原理、模型及系统的理解。

徐金安，北京交通大学计算机学院教授、博士生导师，研究方向为机器翻译、自然语言处理、人机交互和文本情感分析等。博士毕业于北海道大学，曾任日本电气株式会社中央研究院研究员。

译者序
前言
第1章 引言
1.1 语义合成性和语境性
1.2 选择主题
1.3 信息内容
1.4 本书内容概览
1.5 阅读计划建议
1.6 扩展阅读
第2章 线性空间、布尔代数和一阶逻辑
2.1 代数和布尔代数
2.2 泛代数
2.3 滤子、超滤子和超积
2.4 命题演算
2.5 一阶公式
2.6 证明理论
2.7 多元统计
2.8 扩展阅读
第3章 预述法
3.1 理解
3.2 最小化理论
3.3 空间和时间
3.4 心理学
3.5 规则
3.6 规律
3.7 标准理论
3.8 必需条件
3.9 连续的向量空间模型
3.10 扩展阅读
第4章 图形和机器
4.1 抽象有限计算
4.2 形式语法
4.3 最小的机器
4.4 图形和机器操作
4.5 词素
4.6 内部语法
4.7 扩展阅读
4.8 附录：定义词
第5章 表型语法
5.1 层次结构
5.2 形态学
5.3 句法
5.4 依赖关系
5.5 代表知识和意义
5.6 头脑中的想法
5.7 语用学
5.8 估值
5.9 扩展阅读
第6章 词素
6.1 词条
6.2 概念
6.3 词汇类别
6.4 字义
6.5 正式模型
6.6 词素的语义
6.7 扩展阅读
第7章 模型
7.1 原理推论
7.2 外部模型
7.3 情态
7.4 量化
7.5 扩展阅读
第8章 具体化
8.1 认知能力
8.2 行为
8.3 副词
8.4 扩展阅读
第9章 人工生命的意义
9.1 道德哲学
9.2 道德法则的经验基础
9.3 元理论注意事项
9.4 正式模型
9.5 总结与结论
9.6 扩展阅读
部分练习提示
部分练习解答
参考文献