%0 Journal Article %T 多偏好逻辑gmpl %A 张志政? %A 高志强? %A 邢汉承? %J 软件学报 %P 2968-2978 %D 2008 %X 针对缺乏多类型偏好共存的偏好逻辑系统的现状,mpl(logicofmanykindsofpreference)被构造为一种能够表示和推理四类型偏好的偏好逻辑,但是mpl的语义基于全前序偏好结构,因而不能表示不完全偏好.为此,提出了偏好逻辑gmpl(ageneralizededitionofmpl).此外,通过常见逻辑偏好的gmpl重写表明gmpl较强的表达能力和实际应用前景,并提出一种将gmpl的sat问题归结为命题逻辑的sat问题的方法. %K 偏好表示 %K 偏好逻辑 %K 偏好推理 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20081118&flag=1