基于认知的自然语言自动形式化研究

第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章 基于概念系统的人类语言生成和理解模型 3.1 引言 3.2 理论假设 3.2.1 心理意象假设 …… 第4章 基于认知语义表示的自然语言形式化方法 第5章 空间语言的自动形式化 第6章 临床试验合格性标准的自动形式化 第7章 总结与展望 附录A 常用数据集及其构建 附录B 基本概念与基本理论 附录C 语义分析研究现状 附录D ASSA系统实现细节 附录E ATEC系统实现细节 参考文献