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

定　　价：148 元

• 作者：徐超著
• 出版时间：2023/4/1
• ISBN：9787522714615
• 出 版 社：中国社会科学出版社

• 中图法分类：TP391 
• 纸张：胶版纸
• 开本：16开

内容简介

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

作者介绍

徐超，男，1987年生，山东新泰人，北京大学逻辑学硕士、博士，就职于山东大学哲学与社会发展学院，任助理研究员，主要研究领域常识推理、逻辑与人工智能、哲学逻辑、自然语言处理。

目 录

第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系统实现细节

参考文献