%0 Journal Article
%T GMPL Logic of Kinds of Preferences<br>多偏好逻辑GMPL
%A ZHANG Zhi-Zheng
%A GAO Zhi-Qiang
%A XING Han-Cheng
%A <br>张志政
%A 高志强
%A 邢汉承
%J 软件学报
%D 2008
%I 
%X Because of the absence of a whole logic to represent and reason various kinds of preferences,MPL (logic of many kinds of preference) is presently constructed to fill the gap.But,the semantics of MPL is based on the complete pre-order,so incomplete preferences cannot be expressed in it.In this paper,GMPL (a generalized edition of MPL) is introduced to supply the gap.In addition,the expressive power of GMPL is showed by rewriting several familiar logical preferences.Moreover,a decision procedure is introduced to reduce SAT problem of GMPL into that of propositional logic.
%K preference representation
%K preference logic
%K preference reasoning<br>偏好表示
%K 偏好逻辑
%K 偏好推理
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=86A76BA00A07C08C8F3920FDE131BB6E&yid=67289AFF6305E306&vid=2A8D03AD8076A2E3&iid=708DD6B15D2464E8&sid=53B44931A79A468F&eid=75A9DA462AF8BD6A&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=13