多偏好逻辑GMPL

作者：张志政; 高志强; 邢汉承

来源：软件学报, 2008, (11): 2968-2978.

• 偏好表示
• 偏好逻辑
• 偏好推理 preference representation
• preference logic
• preference reasoning

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

• 单位
  计算机软件新技术国家重点实验室; 苏州大学; 南京大学; 东南大学