文献类型：期刊文章

作　　者：廖备水[1] 余喆[1] 莱恩.范德托[2]

Liao Beishui;Yu Zhe;Leon van der Torre

机构地区：[1]浙江大学语言与认知研究中心 [2]卢森堡大学计算机科学与通信实验室

出　　处：《清华大学学报（哲学社会科学版）》

基　　金：国家社会科学基金重大项目"基于社交网络的信息流逻辑研究"(17ZDA026);国家社会科学基金重大项目"汉语隐喻的逻辑表征与认知计算"(18ZDA290);欧盟科研创新框架计划(Horizon 2020)项目"MIREL-MIning and REasoning with Legal texts"(690974)

年　　份：2019

卷　　号：0

期　　号：2

起止页码：140-149

语　　种：中文

收录情况：BDHX、BDHX2017、CSSCI、CSSCI2019_2020、NSSD、RCCSE、RWSKHX、SKJJZZ、ZGKJHX、核心刊

摘　　要：在设计人工智能主体的社会时,可以通过定义社会价值和规范来约束主体的行为。当不同规范之间发生冲突时,主体依据他/她对价值的排序做出决定,选择违反一些规范,遵守更重要的规范。关于规范的推理具有可废止性和非单调性。为研究非单调推理,20世纪80年代以来,出现了缺省逻辑、自认识逻辑、限定推理等形式系统。这些系统在实际应用中存在不少问题,比如,计算复杂性高、缺乏动态处理机制等。针对这些问题,本文引入基于价值排序的一种抽象规范系统,给出一种基于可废止逻辑的偏好规范推理模型和一种基于论辩逻辑的偏好规范推理模型,并比较了这两种模型的优缺点。前者适合于持谨慎态度的主体的认知推理,但在实践推理中可能导致某些规范系统的外延为空。后者不仅支持怀疑性推理,也支持轻信推理,在实践推理中具有优势。此外,基于论辩逻辑的偏好规范推理模型还能够发挥其抽象框架的优势,对不同论证之间的动态关系进行推理和研究。

关 键 词：实践推理  社会规范 社会价值 可废止逻辑  形式论辩  社交网络

分 类 号：B812]