全国大中专教材网络采选系统

推荐纸质教材推荐数字资源

论证挖掘与论证形式化

定价：￥128.00

作者：鞠实儿等

出版时间：2022-10

出版社：科学出版社

以下为《论证挖掘与论证形式化》的配套数字资源，这些资源在您购买图书后将免费附送给您：

关闭

基本信息评价

出版社：科学出版社
ISBN：9787030734679
版次：31
图书编号：436548
装帧：平装胶订
出版时间：2022-10

内容简介

论证是一种具有说理功能的话语序列。在科学研究中，它具有演绎和归纳两种形式。在日常社会生活中，由于涉及不同的语境（包括文化传统），论证呈现出千变万化的形式。为了满足人与人以及人与机器之间日常交流的需求，本书采用两种不同的自下而上方法——广义论证本土化研究程序和机器学习，从具体事例和文本中挖掘或习得不同语境下论证模式、论证元素及结构。进一步，为形式化论证理论——抽象论辩理论具有更广泛的适用范围，本书将这两种自下而上的论证挖掘方法与抽象论辩理论提供的形式方法相结合，符号化处理上述挖掘所得结果，对论证进行合理重建。论证研究对于推动论证科学和人工智能相关领域的发展具有积极意义。