多偏好逻辑gmpl

针对缺乏多类型偏好共存的偏好逻辑系统的现状,mpl(logicofmanykindsofpreference)被构造为一种能够表示和推理四类型偏好的偏好逻辑,但是mpl的语义基于全前序偏好结构,因而不能表示不完全偏好.为此,提出了偏好逻辑gmpl(ageneralizededitionofmpl).此外,通过常见逻辑偏好的gmpl重写表明gmpl较强的表达能力和实际应用前景,并提出一种将gmpl的sat问题归结为命题逻辑的sat问题的方法.