位置:成果数据库 > 期刊 > 期刊详情页
多偏好逻辑GMPL
  • ISSN号:1000-9825
  • 期刊名称:《软件学报》
  • 时间:0
  • 分类:TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构:[1]东南大学计算机科学与工程学院,江苏南京210096, [2]南京大学计算机软件新技术国家重点实验室,江苏南京210093, [3]苏州大学江苏省计算机信息处理技术重点实验室,江苏苏州215006
  • 相关基金:Supported by the National Natural Science Foundation of China under Grant No.60773107 (国家自然科学基金)
中文摘要:

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

英文摘要:

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.

同期刊论文项目
期刊论文 2 专利 1
同项目期刊论文
期刊信息
  • 《软件学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编:赵琛
  • 地址:北京8718信箱中国科学院软件研究所
  • 邮编:100190
  • 邮箱:jos@iscas.ac.cn
  • 电话:010-62562563
  • 国际标准刊号:ISSN:1000-9825
  • 国内统一刊号:ISSN:11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论(网络版),波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:54609