-
题名一种目标可满足性定性、定量表示与推理方法
被引量:14
- 1
-
-
作者
王守信
张莉
王帅
申菊芳
刘禹
-
机构
北京航空航天大学软件工程研究所
北京航空航天大学软件开发环境国家重点实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2011年第4期593-608,共16页
-
基金
国家重点基础研究发展计划(973)(2007CB310803)
国家重大研究计划"可信软件基础研究"(90818017)
-
文摘
可满足性表示和推理方法是面向目标需求工程领域的重要研究内容.根据从连续定量论域抽取定性概念过程中的主观认知的不确定性特点,提出了一种基于云模型的目标可满足性表示模型.作为定性概念与其定量论域间的不确定性转换模型,云模型能够把主观认知的模糊性和随机性集成在一起,兼顾可满足性定性表示的语义明确性和定量表示的精确性,较好地实现可满足性定性、定量统一表示.在此基础上,设计了一种基于OWA(ordered weighted aggregation)算子核心思想的目标可满足性推理方法,该方法避免了纯逻辑推理过于"偏执"的推理结果.同时,父目标满足程度介于子目标可满足性的最小和最大值之间,较好地反映出了人类一般思维的特点.采用定理证明和对比实验的方式,对推理方法的特点进行分析.最后进行总结,并指出进一步的研究方向.
-
关键词
面向目标需求工程
可满足性表示
目标可满足性推理
云模型
有序加权聚合算子
-
Keywords
goal-oriented requirements engineering
satisfiability respresentation
goal satisfiability reasoning
cloud modle
ordered weighted aggregation operators
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于语言值格蕴涵代数的偏好顺序结构评估决策方法
被引量:2
- 2
-
-
作者
邹丽
罗思元
史园园
任永功
-
机构
辽宁师范大学计算机与信息技术学院
辽宁师范大学数学学院
-
出处
《模式识别与人工智能》
EI
CSCD
北大核心
2018年第4期347-357,共11页
-
基金
国家自然科学基金项目(No.61772250
61673320
+2 种基金
61672127)
中央高校基本科研业务费项目(No.2682017ZT12)
辽宁省自然科学基金项目(No.2015020059)资助~~
-
文摘
针对具有可比性和不可比性语言值信息的决策问题,提出基于语言值格蕴涵代数(L_(V(n×2)))的多属性决策方法.讨论L_(n×2)上的语言值评价矩阵及其性质,提出L_(V(n×2))上的优先函数和格值程度差,充分考虑属性值差距信息,将格值程度差应用到择优排序上.通过语言值向量,建立语言值向量合成矩阵,处理决策问题中的多专家多属性信息.引入语言值评价矩阵加权聚合算子对语言值评价矩阵进行聚合,利用偏好顺序结构评估(PROMETHEE)决策方法的非补偿性,构建基于语言值格蕴涵代数的PROMETHEE决策模型,并通过网络商品评价实例说明文中方法的有效性和实用性.
-
关键词
语言值格蕴涵代数
多属性决策
语言值评价矩阵加权聚合算子
偏好顺序结构评估方法
-
Keywords
Linguistic-Valued Lattice Implication Algebra
Multi-attribute Decision Making
Linguistic-Valued Evaluation Matrix Weighted Aggregation Operator
Preference Ranking Organiza-tion Method for Enrichment Evaluation(PROMETHEE) Method
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于语言立方犹豫模糊集的挑选黏土砖的多属性决策
- 3
-
-
作者
吴昊
-
机构
绍兴文理学院土木工程学院
-
出处
《科技风》
2020年第4期113-113,共1页
-
文摘
语言决策是决策理论方法中的重要研究课题,因为我们使用语言术语来评估客观世界非常适合人类的思维和表达习惯。但是,在人类思维和对被评估对象的判断中,语言论证既有不确定性也有犹豫性。因此,关于不确定的和犹豫不决的语言论证的混合信息不能通过各种现有的语言概念来表达。为了合理地表达它,本文基于语言立方集和犹豫模糊集的概念提出了语言立方犹豫模糊集,基于最小公倍数的语言立方犹豫模糊集和语言立方犹豫模糊集的加权聚合算子的客观扩展方法,以合理地聚合语言立方犹豫模糊集信息。基于语言立方犹豫模糊集的加权算术平均算子提出了一种多属性决策方法,将上面提出的多属性方法用于对黏土砖的挑选的多属性决策以证明其适用性。
-
关键词
语言立方犹豫模糊集
最小公倍数
加权聚合算子
语言评分函数
挑选黏土砖
多属性决策
-
分类号
O15
[理学—基础数学]
-