关于规范、价值和偏好的实践推理

发布时间：2024-02-29 21:34

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

【文章页数】：11 页

【部分图文】：

图1一个HANS的例子:H1在HANS中，函数r对规范的排序是固定的，且未指明排序的缘由

C且对所有的e∈E，{e，?e}?C;●r:N→IN是一个从规范到自然数的函数。对于所有a∈L，如果a∈E，用～a表示?a;如果a=?e，用～a表示e。对于规范(a，c)，本文把r((a，c))简写作r(a，c)。考虑如下HANS的一个实例。设L1={s，w，?w，g，?g，丅}....

图2一个VHANS的例子:H1V图2表示的是与“蚂蚁与蚱蜢”的故事相对应的情节发展:夏天里，在“应该劳动”和“应该不劳

扛鯲HANS代表一个可能的决策情境:每条规范对应于一个价值;同时，实施该规范的某个主体给这个价值指派一个优先级。为简单起见，在每个决策情境中，对于每条规范，仅考虑一个行为实施者。对于规范(a，c)，本文把ρ((a，c))简写作ρ(a，c)。下面结合图1的例子进一步说明VHANS的....

图3另一个HANS的例子:H1*依据这个例子，可以直接得到如下性质

图4抽象论辩框架F1(左)和F2(左)

at(H))称作由H构造而来的抽象论辩框架，简称AAF。图1中的H1可以构造如下论证集合:x1=［s，?w］，x2=［s，w］，x3=［s，?w，g］，x4=［s，?w，?g］;论证之间的攻击关系集合:att(H1)={(x1，x2)，(x2，x1)，(x2，x3)，(x2，x4....

本文编号：3914957