鞠实儿 等 | 《论证挖掘与论证形式化》

著者：鞠实儿 等   ISBN：9787030734679 出版时间：2022年 中图分类号：B812.4 出版社：科学出版社

《论证挖掘与论证形式化》是一本深入探讨论证在不同语境下的应用与理论发展的学术著作。本书通过跨学科的方法，结合哲学、逻辑学、计算机科学、历史学、民俗学和社会学等领域的专业知识，为读者揭示了论证作为一种说理功能的话语序列在科学研究和日常生活中的多样性和复杂性。

论证的多维探索

论证在科学研究中通常表现为演绎和归纳两种形式，但在社会生活中的实际应用却远不止于此。由于涉及不同的语境和文化传统，论证的形式和功能呈现出千变万化的特点。本书旨在通过自下而上的方法，探索和理解这些多样化的论证模式，并为日常交流提供理论支持。

创新的研究方法与应用

本书的核心在于采用广义论证本土化研究程序和机器学习两种自下而上的方法，从具体事例和文本中挖掘不同语境下的论证模式、元素及结构。这些方法不仅有助于理解人类论证的复杂性，也为人与机器之间的有效交流提供了可能。

理论与实践的结合

本书分为三篇，每篇都围绕论证研究的不同方面展开。第一篇详细介绍了广义论证理论及其采掘方法，并以广式早茶情境下的说理活动和明代嘉靖时期的“大礼议”论辩活动为例，展示了该理论的应用。第二篇则结合自然语言处理和机器学习技术，对亚里士多德的《尼克马可伦理学》和法庭判例文本进行了深入分析。第三篇聚焦于计算论证领域，对前两篇中挖掘出的论证模式进行了形式表达和可计算化处理。

目标读者

本书适合对论证科学和人工智能相关领域感兴趣的在校学生、教师和研究者，以及跨学科的论证理论爱好者。无论是希望了解论证在不同文化和社会背景下的应用，还是寻求将论证理论应用于人工智能和计算领域的专业人士，本书都提供了宝贵的知识和见解。