-
题名CP-nets及其表达能力研究
被引量：17
- 1
-
-
作者
刘惊雷
-
机构
烟台大学计算机学院
-
出处
《自动化学报》
EI
CSCD
北大核心
2011年第3期290-302,共13页
-
文摘
偏好处理是人工智能中的一个重要研究内容,它的4个研究热点是偏好的表示、提取、聚合和推理.条件偏好网(Conditional preference networks,CP-nets)是一种简单直观的偏好表示的图形工具,但很少有工作研究CP-nets的表达能力.本文研究CP-nets的表达能力,详细研究了CP-nets表达偏好的完备性,其上构造的运算复杂度以及适用的场合.首先给出了CP-nets模型上的几个运算,利用改进的Warshall算法求出了二值网的强占优测试在最坏情况下的复杂度为O(4n).其次通过构造CP-nets导出图及其性质的研究,得出CP-nets特别适合不完全信息下的多属性定性偏好决策.当需要处理更完全信息时,可借助于与Agent的交互来完成.虽然我们给出了CP-nets的强占优测试的理论解,但其理论上可解,实际上不可解.为了解决强占优测试的指数级复杂度问题,本文最后给出了一种带有软约束的满足问题(Soft constraint satisfactionproblem,SCSP)的求解方法.它把CP-nets中的定性运算转为约束半环中的定量运算,从而将指数级的复杂度转化为多项式的复杂度,间接提高了部分CP-nets的表达能力.本文所做的工作是对Boutilier和Bistarelli工作的改进和提高.
-
关键词
条件偏好网
表达能力
强占优测试
偏好的完备性
改进的Warshall算法
不完全信息下的多属性定性偏好决策
带有软约束的满足问题
-
Keywords
Conditional preference networks （CP-nets）
expressive power
strong dominance testing
preferences completeness
improved Warshall algorithm
multiple attribute qualitative decision under incomplete information
soft constraint satisfaction problem （scsp）
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名利用CSP求解极小碰集的方法
被引量：8
- 2
-
-
作者
王艺源
欧阳丹彤
张立明
张永刚
-
机构
吉林大学计算机科学与技术学院
符号计算与知识工程教育部重点实验室(吉林大学)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2015年第3期588-595,共8页
-
基金
国家自然科学基金项目(61133011
61272208
+6 种基金
61003101
61170092
61402196)
吉林省科技发展计划基金项目(20101501
20140520067JH)
中国博士后科学基金项目(2013M541302)
浙江师范大学计算机软件与理论省级重中之重学科开放基金项目(ZSDZZZZXK12)
-
文摘
基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心问题之一.提出一种将极小碰集问题转换为约束满足问题的方法,该方法调用成熟的CSP求解器进行求解,扩展了约束可满足问题的应用领域.首次提出hard-冲突集和soft-冲突集的概念,并给出利用所提的方法分别求解具有一些特征的极小碰集:小于固定长度、不含特定元素及包含hard-冲突集和soft-冲突集.实验结果表明,提出的方法易于实现、扩展性强,对于特定类型极小碰集问题的求解效率较高.
-
关键词
极小碰集
约束可满足问题
基于模型诊断
hard-冲突集
soft-冲突集
-
Keywords
minimal conflict sets
constraint satisfaction problem
model-based diagnosis（MBD）
hard-conflict set
soft-conflict set
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
TP18
[自动化与计算机技术—控制理论与控制工程]
-
