人类使用自然语言进行日常的思考、推理和解决问题，而机器使用形式语言进行推理和计算，因此，要实现人机互动，需要让机器能够将自然语言自动地翻译为形式语言，即实现自然语言的自动形式化。本书从人类认知出发，通过让机器模拟人类形式化的思维过程来实现自动形式化。本书涉及逻辑、语言、认知与计算多个学科的知识，从跨学科的视角为自动形式化问题提供了一种新的基于认知的研究进路。

第1章 引言
1.1 研究背景
1.1.1 逻辑方法与机器学习
1.1.2 逻辑方法与常识推理
1.1.3 逻辑方法与专家系统
1.1.4 自然语言自动形式化
1.2 问题描述
1.3 研究现状
1.3.1 基于规则的方法
1.3.2 基于句法分析的方法
1.3.3 基于实例的方法
1.3.4 基于归纳逻辑编程的方法
1.3.5 基于统计机器学习的方法
1.3.6 基于深度学习的方法
1.3.7 基于语言模型的方法
1.3.8 基于语义分析的方法
1.3.9 小结
……