%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