GMPL Logic of Kinds of Preferences
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    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.

    Reference
    Related
    Cited by
Get Citation

张志政,高志强,邢汉承.多偏好逻辑GMPL.软件学报,2008,19(11):2968-2978

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:October 23,2007
  • Revised:June 03,2008
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063