一种基于多类型偏好的偏好逻辑-软件学报.PDF

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software, Vol.18, No.11, November 2007, pp .2728−2739 DOI: 10. 1360/jos1 82728 Tel/Fax : +86-10 © 2007 by Journal of Software. All rights reserved. ∗ 一种基于多类型偏好的偏好逻辑 1,2+ 1 1 1 张志政 , 邢汉承 , 王蓁蓁 , 倪庆剑 1(东南大学 计算机科学与工程学院,江苏 南京 210096) 2 (南京大学 计算机软件新技术国家重点实验室,江苏 南京 210093) A Preference Logic Based on Various Kinds of Preferences 1,2+ 1 1 1 ZHANG Zhi-Zheng , XING Han-Cheng , WANG Zhen-Zhen , NI Qing-Jian 1(School of Computer Science and Engineering, Southeast University, Nanjing 210096, China) 2 (State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China) + Corresponding author: Fax: +86-25 E-mail: seu_zzz@, Zhang ZZ, Xing HC, Wang ZZ, Ni QJ. A preference logic based on various kinds of preferences. Journal of Software, 2007,18(11):2728−2739. /1000-9825/18/2728.htm Abstract: Presently, a whole logic system is still absent to represent and reason various kinds of preferences. In this paper, a preference logic MPL (logic of many kinds of preference) is introduced to supply the gap. In addition, recurring to the minimal/maximal specificity principle, a non-monotonic semantics of MPL’s language LMPL is defined, and the application and capability of MPL are initially investigated by rewriting preferences expressed by ranked knowledge based into LMPL . Moreover, the conclusion and the prospective are presented in the end. Key words: preference; preference logic; preference strategy ; ranked knowledge base 摘 要: 针对目前缺乏多类型偏好共存的偏好逻辑系统的现状,提出并构造了一个能够描述和