-
题名CP-nets的可满足性及一致性研究
被引量：7
- 1
-
-
作者
孙雪姣
刘惊雷
-
机构
烟台大学计算机学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第4期754-762,共9页
-
基金
国家自然科学基金项目(61170224)
-
文摘
CP-nets是一种简单而又直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点,然而对于CP-nets的可满足性和一致性等相关性质的研究还很欠缺.既没有给出严格的定义,也没有探讨不同性质之间的联系,没有一个求可满足性序列的通用算法.从研究CP-nets的可满足性和一致性的关系着手,得出了任意结构二值CP-nets的可满足性判定算法及可满足性序列生成算法.首先通过构造CP-nets导出图及其性质的研究,得出CP-nets的可满足性及一致性的相关定理.再把不同性质结合起来分析,给出CP-nets可满足性等价于一致性的结论,从而利用拓扑排序的思想实现了任意结构二值CP-nets的可满足性序列的生成.强化和扩充了Boutilier所提出的一些概念,深化了CP-nets的基础理论研究.
-
关键词
条件偏好网
条件偏好表
偏好的可满足性
可满足性序列
偏好的一致性
CP-nets导出图
-
Keywords
condition preference networks（CP-nets）
condition preference table（cpt）
preference satisfiability
satisfactory ranking
preference consistency
induced graph of CP-nets
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于证据理论/层次分析法的贝叶斯网络建模方法
被引量：18
- 2
-
-
作者
杜元伟
石方园
杨娜
-
机构
昆明理工大学管理与经济学院
-
出处
《计算机应用》
CSCD
北大核心
2015年第1期140-146,151,共8页
-
基金
国家自然科学基金资助项目(71261011
71462022)
+4 种基金
云南省应用基础研究计划项目(2011FZ021
2013FB030)
云南省教育厅重点项目(2012Z103)
云南省哲学社会科学创新团队建设项目(2014cx05)
昆明理工大学管理与经济学院热点(前沿)领域科研支撑计划项目(QY2014004)
-
文摘
针对依据专家知识推断贝叶斯网络中条件概率表(CPT)时存在的个体推断信息缺乏完备性和精确性以及整体集成结果缺乏科学性的问题,提出了基于证据理论/层次分析法(DS/AHP)的能够从专家推断信息中提取最优条件概率的方法。首先,通过引入DS/AHP方法中的知识矩阵提出了有利于实现判断对象更直观、判断方式更完善的推断信息提取机制;其次,在此基础上遵循由前至后的推断顺序提出了贝叶斯网络的构建过程;最后,应用传统方法与提出方法对同一贝叶斯网络中的缺失条件概率表进行了推断。数值对比分析表明,所提方法能够在提高计算效率的同时将累计总偏差降低41%,验证了所提方法的科学有效性和应用可行性。
-
关键词
贝叶斯网络
证据理论/层次分析法
推断信息提取
DEMPSTER组合规则
知识矩阵
条件概率表
-
Keywords
Bayesian network
Dempster-Shafer/Analytic Hierarchy Process（DS/AHP）
inference information extraction
Dempster combination rule
knowledge matrix
conditional Probability table（cpt）
-
分类号
C934
[经济管理—管理学]
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名CP-nets的可满足性序列求解算法研究
被引量：2
- 3
-
-
作者
孙雪姣
刘惊雷
-
机构
烟台大学计算机与控制工程学院
-
出处
《计算机科学》
CSCD
北大核心
2015年第5期270-273,285,共5页
-
基金
山东省高等学校科技计划项目(J14LN23)
山东省自然科学基金(ZR2014FL009
+1 种基金
ZR2013FM011)
山东省自然科学基金青年项目(ZR2013FQ023)资助
-
文摘
CP-nets是一种简单、直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点。然而对于CP-nets的基础性质——可满足性序列的研究却较少。通过构造CP-nets导出图,利用改进的图的深度优先遍历算法实现二值网的强占优测试,对强占优测试得到的可达矩阵进行分析,得出任意结构CP-nets的可满足性序列个数关系;给出了生成全部可满足性序列的算法;强化和扩充了CP-nets的基本概念,深化了CP-nets的基础理论研究。
-
关键词
条件偏好网(CP-nets)
条件偏好表(cpt)
CP-nets导出图
强占优测试
偏好的可满足性
可满足性序列
-
Keywords
condition preference networks, condition preference table, Induced graph of CP-nets, Strong dominance testing, preferences satisfiability, Satisfiability ranking
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名CP-nets的定性偏好决策及一致性推理
被引量：1
- 4
-
-
作者
孙雪姣
刘惊雷
-
机构
烟台大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2013年第2期274-278,共5页
-
基金
国家自然科学基金项目(61170224)
山东省教育厅项目(J11LG35)资助
-
文摘
CP-nets是一种简单而又直观的图形化偏好表示工具,特别适合描述不完全信息下的具有依赖关系的多属性定性偏好决策。首先通过构造CP-nets导出图及对其性质的研究,得出强占优测试本质上是导出图上顶点之间的可达性问题,从而利用图的深度优先遍历算法实现了二值网的强占优测试;然后分别从无环图、有环图的角度给出CP-nets一致性的相关定理和性质,提出了判断一致性的3种方法,使得CP-nets的一致性问题得到解决;强化和扩充了Boutilier所提出的一些概念,深化了CP-nets的基础理论研究。
-
关键词
条件偏好网(CP-nets)
条件偏好表(cpt)
定性偏好决策
强占优测试
偏好的一致性
-
Keywords
condition preference networks（CP-nets） ,condition preference table（cpt） ,Qualitative preference decision,Strong dominance testing,preferences consistency
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于约束半环的CP-nets占优查询算法
被引量：2
- 5
-
-
作者
刘惊雷
华臻
武栓虎
-
机构
烟台大学计算机学院
山东工商学院信电学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第8期1932-1936,共5页
-
基金
国家自然科学基金(No.61070118
No.60970105)
-
文摘
用户的偏好在自动决策中起着重要的作用,作为一种表示多属性定性偏好断言的直观工具,CP-nets被许多学者研究.其上的占优查询算法的高复杂度还是一个难题,本文研究如何降低其复杂度.引入了一种求解约束满足问题的通用框架——SCSP(基于约束半环的满足问题),并指出CP-nets中的条件偏好表本质上是一种动态约束.给出了将CP-nets中的条件偏好表转化为SCSP中的约束,在SCSP中进行解的优劣判断的算法,并指出该算法具有多项式时间复杂度特性,从而基于约束半环解决了无环CP-nets上的占优查询问题.
-
关键词
占优查询
约束半环
约束满足问题
条件偏好表
动态约束
解的优劣
-
Keywords
dominance query
constrain semiring
constraint satisfaction problem
condition preference table
dynamic constraint
better or worse solution
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
