题名:
论证挖掘与论证形式化   / 鞠实儿等著 ,
ISBN:
978-7-03-073467-9 价格: CNY128.00
语种:
chi
载体形态:
x, 263页 图 24cm
出版发行:
出版地: 北京 出版社: 科学出版社 出版日期: 2022
内容提要:
本书采用两种不同的自下而上方法--广义论证本土化研究程序和机器学习, 从具体事例和文本中挖掘或习得不同语境下论证模式、论证元素及结构。进一步, 为形式化论证理论--抽象论辩理论具有更广泛的适用范围, 本书将这两种自下而上的论证挖掘方法与抽象论辩理论提供的形式方法相结合, 符号化处理上述挖掘所得结果, 对论证进行合理重建。论证研究对于推动论证科学和人工智能相关领域的发展具有积极意义。 
主题词:
证明   研究
中图分类法:
B812.4 版次: 5
主要责任者:
鞠实儿