一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一.目前一阶逻辑自动定理证明大多采用二元归结方法,每次只有2个子句进行归结,只消去1组互补对,导致演绎归结式文字数较多,影响...
命题逻辑可满足性问题求解器的新型预处理子句消去方法 CNKI文献
针对生产线调度、航空器规划和调度等规划问题转化为命题逻辑可满足性问题时带来的子句冗余问题,提出3种子句消去方法对命题逻辑可满足性问题进行子句集化简。通过将一阶逻辑上子句消去的蕴涵模归结原则降维到命题逻辑...
宁欣然 徐扬... 《计算机集成制造系统》 2020年08期 期刊
关键词： 子句消去方法 / 命题逻辑可满足性问题求解 / 蕴涵模归结 / 规划问题
下载（105）| 被引（0）
因地球表面并非平面,采用平面坐标的传统TDOA无源定位模型可能存在一定的误差。为了直接利用大地经纬度坐标进行TDOA定位,提出了基于球面两点间距离计算的一系列球面距离计算TDOA定位模型。通过最优化建模,以网格逐点...
在现有基于冲突学习子句的求解器中,重启和变量相位存储技术的频繁应用,导致重启之后产生大量重复变量赋值序列,在求解过程中对变量重复赋值会浪费求解资源.本文提出一种基于识别重复路径的动态决策策略.首先,检测搜索...
为了提高SAT (boolean satisfiability)问题求解效率,在OpenMP (open multi-processing)编程框架下,将遗传算法与局部搜索算法结合,改进了混合遗传算法中的选择算法,将原有选择操作的时间复杂度降低到O(N)级别.算法采...
针对标记样本少的不平衡数据,提出一种基于证据理论和biased-SVM的不平衡数据半监督分类方法。首先采用随机子空间方法得到不同的视图;然后在各个视图上利用初始的标记样本集训练biased-SVM模型,并将其应用于未标记样...
关键词： 半监督分类 / 不平衡数据 / 证据理论 / biased-SVM
下载（259）| 被引（4）
学习子句删除策略是CDCL-SAT求解器中的一个重要内容,可以避免内存爆炸和加速单元传播。评估学习子句有用性的标准不同导致所删除的学习子句是不同的,极大地影响求解效率。基于CDCL算法的求解过程可被形式化为增加管理...
针对属性值为区间确定因子结构的多属性决策问题,结合决策者的行为特征,提出了基于证据推理和前景理论的区间多属性决策方法。首先,根据前景理论给出各方案在各属性下的区间前景值。然后,根据区间确定因子规则库推理,...
为解决可满足性(satisfiability problem,SAT)问题求解过程中分支决策效率不高的问题,提出了一种基于逻辑演绎分组(logical deduction group,LDG)的启发式完全算法.该算法通过选择剩余未满足子句参与逻辑演绎,得到一组...
基于证据推理和第3代前景理论的不确定性多属性决策方法 CNKI文献
针对多状态不确定性多属性决策问题,建立基于证据推理和第3代前景理论的决策方法.首先,给出不确定性知识表示方法—–确定因子结构及其构造方法;然后,将第3代前景理论构造价值函数和确定权重函数引入决策方法中,得到每...
不确定性推理方法是人工智能领域的一个主要研究内容,if-then规则是人工智能领域最常见的知识表示方法。针对实际问题通常具有不确定性的特点,提出基于证据推理的确定因子规则库推理方法。首先在Ifthen规则的基础上给...
为获取系统运行时安全态势的完整性,在现有的信息安全态势评估指标体系中引入了业务效能指标,提出了一种混合指标的信息系统安全态势评估方法。首先,基于Q·S模型构建了系统业务效能指标体系,其中包含实数型、区间...
针对混合型多属性决策问题,提出基于前景理论和证据理论的决策方法。考虑属性值类型,将实数和语言变量转化为区间数形式,保留原属性值的不确定性。结合决策者的心理行为,依据前景理论和属性权重给出各方案在不同属性下...
针对民航无线电管理中遇到的干扰问题以及客观世界中描述客观现象的知识和信息具有不确定性的特点,结合民航无线电干扰查处的实际情况,提出基于一种产生式规则的知识表示方法,以区间确定因子描述不确定性。提出基于De...
靳留乾 徐扬... 《计算机工程与应用》 2015年10期 期刊
关键词： Dempster-Shafer证据理论 / 不确定性推理 / 区间值 / 确定因子
下载（348）| 被引（7）
对复杂信息系统的业务用户行为和网络取证进行了研究,结合木马技术提出了基于业务用户行为的计算机动态取证评估模型,该模型构建了基于云模型的业务用户行为定量评估方法。通过仿真实验验证了模型评估的合理性,同时验...
针对人工智能领域中有关不确定性自然语言的研究,将格值逻辑引入概念格,提出了自然语言转换为语言真值的方法,并基于语言真值格蕴涵代数建立了语言真值概念格.通过对各语言真值形式背景及形式概念间关系的分析,演示了...
以我国1997～2008年符合条件的268家民营上市公司的再融资为样本,研究在面临发行管制的情况下,政治关系对上市公司再融资的择时行为、融资规模和发行定价的影响。结果证明,具有政治关系的公司会促进公司对融资时机的把...
大跨度桥梁是重要的交通生命线工程,一旦在地震中遭受破坏,将会导致巨大的经济损失,并严重影响到灾区的抗震救灾工作和恢复重建,因此,对斜拉桥进行正确有效的地震反应分析,确保其抗震安全性具有非常重要的意义。 ...
徐扬 导师:周凌远 西南交通大学 2010-05-01 硕士论文
关键词： 斜拉桥 / 地震反应 / 刚性铰 / 桩-土-结构相互作用
下载（243）| 被引（16）
提出确定一族模糊层次分析法权重的新方法,说明该权重确定方法的合理性,得出四个重要结论,纠正人们对模糊层次分析法权重确定的某些错误认识.给出从传统层次分析法标度到模糊层次分析法标度的转换方法.
1973年McClelland提出胜任力,胜任力评价成为企业人力资源管理研究的方向.论文比较胜任力及其主要模型的特点,分析影响胜任力评价的主要因素,探讨建立面向职业发展的企业人力资源胜任力评价结果合成模型.
