第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 小结
1．4 研究目标
1．5 研究思路
1．6 本书贡献与结构安排
第2章 理论基础
2．1 逻辑语言
2．2 框架理论
2．2．1 Minsky框架理论
2．2．2 框架语义学理论
2．3 构式语法
2．3．1 构式语法的提出及发展
2．3．2 构式的定义
2．3．3 构式语法简介
2．4 概念系统
2．4．1 概念系统定义
2．4．2 概念系统的组织方式及意义来源
2．5 概念词汇化
2．5．1 语义元素与表层元素
2．5．2 运动事件概念词汇化
……
第3章 基于概念系统的人类语言生成和理解模型
第4章 基于认知语义表示的自然语言形式化方法
第5章 空间语言的自动形式化
第6章 临床试验合格性标准的自动形式化
第7章 总结与展望
附录
参考文献
索引
后记
展开
