语用寓义推理形式化研究

《语用寓义推理形式化研究》以人脑在处理语言信息时善用关联性等认知特征为基础，深入推进人类生活中语用寓义推理的智能化研究。一方面，着力仿真会话者在纯思维层面和实际语用交际中解读语用寓义时人脑的心智推理过程，刻画人脑进行溯因推理的认知算法与机制。另一方面，以新设溯因算法为发轫，以重构的认知语境为依托，整合其他逻辑手段建构语用寓义推理的完整认知机制与算法，探索自动识别语用意义的智能化方式。《语用寓义推理形式化研究》以溯因推理为核心打造语用推理新模型，有助于阐明自然语言理解的内在规律。

目录
序言
第1章绪论1
第2章语用寓义推理相关概念辨析7
2.1语言能力与语言运用7
2.2微观语用学与宏观语用学10
2.3形式化与形式主义11
2.4推理与推导12
2.5显义与寓义13
2.6结束语18
第3章语用寓义推理理论与模型述评19
3.1Grice寓义推理理论19
3.2Horn两原则与Levinson三原则27
3.3关联理论语用推理33
3.4基于心理模型的语用推理40
3.5结束语44
第4章Peirce溯因逻辑的整合研究47
4.1Peirce早期三段论中的溯因逻辑47
4.2Peirce后期科学发现理论中的溯因逻辑52
4.3Peirce科学发现理论与现代科学哲学中溯因逻辑比较58
4.4溯因逻辑的整合方案60
4.5溯因逻辑推理算法的仿真72
4.6结束语76
第5章语用推理认知机制的逻辑建构79
5.1假说建构的逻辑阐释79
5.2逻辑与人工智能中溯因、归纳逻辑刻画82
5.3溯因、演绎与归纳推理的整合89
5.4结束语95
第6章语用寓义推理机制的核心构件97
6.1寓义推理与溯因推理97
6.2语用推理与认知语境106
6.3结束语123
第7章语用寓义推理的形式化分析125
7.1语用寓义属性阐释125
7.2不完全关联话语的寓义推理分析129
7.3表面全无关联话语的寓义推理分析137
7.4结束语139
第8章结语141
参考文献147
附录常用术语表157
表目录
表4-1Peirce与Deutscher演绎推理界定对比49
表4-2Peirce与Deutscher归纳推理界定对比49
表4-3Peirce与Deutscher溯因推理界定对比50
表4-4人工智能领域中三种逻辑的刻画51
表4-5Peirce后期科学发现逻辑与现代科学发现逻辑对比52
表4-6Peirce后期科学发现理论与现代科学哲学逻辑形式比较59
表5-1Peirce后期科学发现理论与假说—演绎模型逻辑手段对比92
表6-1关联理论非论证式推理与Peirce溯因推理比较103
表6-2广义认知视角下认知语境因素对比114
图目录
图2-1Grice意义分类15
图2-2Sadock意义分类15
图3-1溯因推理与大前提形成的关系39
图3-2语句解读的常规关系分析理论模型42
图4-1Peirce科学发现模型58
图4-2溯因逻辑概念整合（A’与A为可溯之因）63
图4-3Peirce科学发现三步推导67
图5-1溯因推理的根岑标记法80
图5-2Peirce科学发现三步推导90
图5-3归纳与溯因运行周期94
图6-1含意的常规推理98
图6-2溯因推理与语用推理对比99
图6-3认知语境建构过程112
图6-4情境与语境的区别118
图6-5认知语境流程图119