机读格式显示(MARC)

• 000 01122nam0 2200277 450

• 001 0000610701

• 005 20230922104600.0

• 010 __ |a 978-7-03-073467-9 |d CNY128.00

• 092 __ |a CN |b 人天1051-0045

• 099 __ |a CAL 012023000461

• 100 __ |a 20221117d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 论证挖掘与论证形式化 |A lun zheng wa jue yu lun zheng xing shi hua |f 鞠实儿等著

• 210 __ |a 北京 |c 科学出版社 |d 2022

• 215 __ |a x, 263页 |c 图 |d 24cm

• 320 __ |a 有书目 (第241-263页)

• 330 __ |a 本书采用两种不同的自下而上方法--广义论证本土化研究程序和机器学习, 从具体事例和文本中挖掘或习得不同语境下论证模式、论证元素及结构。进一步, 为形式化论证理论--抽象论辩理论具有更广泛的适用范围, 本书将这两种自下而上的论证挖掘方法与抽象论辩理论提供的形式方法相结合, 符号化处理上述挖掘所得结果, 对论证进行合理重建。论证研究对于推动论证科学和人工智能相关领域的发展具有积极意义。

• 606 0_ |a 证明 |A zheng ming |x 研究

• 690 __ |a B812.4 |v 5

• 701 _0 |a 鞠实儿 |A ju shi er |4 著

• 801 _0 |a CN |b CAU |c 20230922

• 905 __ |a CAU |d B812.4/4

• 920 __ |a 211180 |z 1