检索结果-内蒙古大学图书馆

软件学报 2009年第6期20卷 1521-1527页

作者：李莹孙吉贵吴瑕朱兴军吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

基于扩展规则的方法是一种定理证明方法.在IER(improved extension rule)扩展规则算法的基础上,提出了IMOM(improved maximum occurrences on clauses of maximumsize)和IBOHM(improved BOHM)启发式策略,并将两种启发式策略用于IER算法中,有指导性地选择限定搜索空间的子句,设计并实现了算法IMOMH_IER和IBOHMH_IER.实验结果表明,由于这两种启发式策略能够选择较为合适的搜索空间,可以尽快地判定出原问题是否可满足,故其速度平均能够达到原有算法DR(directional resolution)和IER的10～200倍.

关键词：定理机器证明命题逻辑扩展规则启发式策略归结

来源：评论

学校读者我要写书评

暂无评论

基于自动推理技术的智能规划方法

引用

软件学报 2009年第5期20卷 1226-1240页

作者：吕帅刘磊石莲李莹吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规... 详细信息

对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.

关键词：智能规划命题逻辑模态逻辑非单调逻辑描述逻辑自动推理可满足性

来源：评论

学校读者我要写书评

暂无评论

基于ATMS的冲突识别及诊断测量方法

引用

吉林大学学报（工学版） 2009年第6期39卷 1601-1606页

作者：欧阳丹彤焦玉赵相福吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

依据General Diagnostic Engine(GDE)思想并基于Assumption-based Truth Mainte-nance System(ATMS)技术实现了一种产生所有极小冲突集的方法,并通过定义负节点和新的规则解决了ATMS在使用时完备性丢失的问题。在此基础上实现了基于粗... 详细信息

依据General Diagnostic Engine(GDE)思想并基于Assumption-based Truth Mainte-nance System(ATMS)技术实现了一种产生所有极小冲突集的方法,并通过定义负节点和新的规则解决了ATMS在使用时完备性丢失的问题。在此基础上实现了基于粗略概率的简化熵诊断测量方法,并提出了基于动态ε策略的简化熵测量方法及测量后动态更新诊断结果的算法。该方法通过环境的传播进行增量的计算,具有正确性、完备性、一致性、极小化的特点,并减小了测量时产生的诊断代价,具有较强的通用性,易于实现和扩展。

关键词：基于模型诊断基于假设的真值维护系统极小冲突集诊断测量动态ε策略

来源：评论

学校读者我要写书评

暂无评论

基于免疫和进化扩散算法的全局优化问题求解算法

引用

吉林大学学报（工学版） 2009年第1期39卷 124-130页

作者：金弟刘大有黄晶何东晓王新华吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

在求解全局优化问题时,通常免疫算法、进化扩散算法分别在局部搜索和全局搜索方面表现较弱。针对这一情况,基于免疫和进化扩散算法,提出了一个免疫-进化扩散算法。该算法结合了免疫和进化扩散两种算法的优点,一方面通过引入基于共享机... 详细信息

在求解全局优化问题时,通常免疫算法、进化扩散算法分别在局部搜索和全局搜索方面表现较弱。针对这一情况,基于免疫和进化扩散算法,提出了一个免疫-进化扩散算法。该算法结合了免疫和进化扩散两种算法的优点,一方面通过引入基于共享机制的小生境算法,保持了群体的多样性,另一方面通过提出一种步长参数动态调整策略,提高了算法效率。实验结果表明,在给定精度下,该算法的效率和稳定性都明显优于Tsui的进化扩散算法和Ingber的自适应模拟退火算法。最后对步长参数动态调整策略进行了分析。

关键词：人工智能全局优化算法免疫-进化扩散算法小生境

来源：评论

学校读者我要写书评

暂无评论

JLU-RLAO和JLU-QLAO:两个不确定智能规划求解系统

引用

计算机研究与发展 2009年第4期46卷 667-675页

作者：孙吉贵殷明浩吕帅吉林大学计算机科学与技术学院长春130012 吉林大学教育部符号计算与知识工程重点实验室长春130012 东北师范大学计算机学院长春130117

不确定环境下的智能规划问题往往假设世界状态的转移概率是确切可知的,然而规划建模专家有时只能在信息不完备的条件下进行建模,从而只能通过猜测或者不完全统计的方法来获取不完备的有关状态转移不确定性的定量信息,有时甚至只能获取... 详细信息

不确定环境下的智能规划问题往往假设世界状态的转移概率是确切可知的,然而规划建模专家有时只能在信息不完备的条件下进行建模,从而只能通过猜测或者不完全统计的方法来获取不完备的有关状态转移不确定性的定量信息,有时甚至只能获取相关的定性信息.在2004年概率规划比赛冠军LAO系统的基础上设计了JLU-RLAO系统和JLU-QLAO系统.它们可以在无法获得精确的状态转移概率条件下,依然保证规划求解的健壮性.实验结果表明,JLU-RLAO系统和JLU-QLAO系统可以快速高效地解决上述不确定智能规划问题.

关键词：智能规划不确定规划最坏模型最好模型定性决策

来源：评论

学校读者我要写书评

暂无评论

改进的语义相似度计算模型及应用

引用

吉林大学学报（工学版） 2009年第1期39卷 119-123页

作者：刘春辰刘大有王生生赵静滨王兆丹吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

在语义检索中,语义相似度计算模型对信息查全率和查准率至关重要,通过改进传统语义相似度计算模型的不足,提出了新的语义相似度计算模型PHSS,它综合考虑概念的属性约束和层次结构,较之传统模型更能精确描述概念间语义距离。在此基础上,... 详细信息

在语义检索中,语义相似度计算模型对信息查全率和查准率至关重要,通过改进传统语义相似度计算模型的不足,提出了新的语义相似度计算模型PHSS,它综合考虑概念的属性约束和层次结构,较之传统模型更能精确描述概念间语义距离。在此基础上,构建了一个玉米病虫害防治语义检索系统CDPPIRS,能依据查询信息和知识库进行语义推理,可针对用户多种查询方式提供给用户全面准确的文献信息,满足不同层次农业工作者的查询需求。在CD-PPIRS中的测试结果表明,PHSS在查全率和查准率方面均优于传统模型。

关键词：人工智能语义相似度语义检索本体

来源：评论

学校读者我要写书评

暂无评论

制造业中基于UML的产品配置

引用

吉林大学学报（工学版） 2009年第3期39卷 759-763页

作者：李妮娅刘大有张健吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出了一个用产品配置知识表示的UML设计方案。为加强产品配置的嵌入能力,广义产品结构采用树形结构描述,同时支持版本管理;为增强配置逻辑的独立性,配置逻辑的设计从广义产品结构中完全剥离开来,不仅方便维护和简化配置推理,同时也为... 详细信息

提出了一个用产品配置知识表示的UML设计方案。为加强产品配置的嵌入能力,广义产品结构采用树形结构描述,同时支持版本管理;为增强配置逻辑的独立性,配置逻辑的设计从广义产品结构中完全剥离开来,不仅方便维护和简化配置推理,同时也为今后配置逻辑的更新和替换提供了接口。

关键词：计算机应用制造业产品配置知识表示 UML设计

来源：评论

学校读者我要写书评

暂无评论

基于广义信息论的贝叶斯分类器动态建模

引用

吉林大学学报（工学版） 2009年第3期39卷 776-780页

作者：王利民李雄飞张海龙吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

基于广义互信息描述变量之间的条件独立和条件相关性,并根据信息非负递增性原则去除冗余变量,由测试样本而非整个样本空间构造贝叶斯分类子模型。结合局部计算近似推理进行概率密度和条件概率分布估计。在UCI机器学习数据集上的实验结... 详细信息

基于广义互信息描述变量之间的条件独立和条件相关性,并根据信息非负递增性原则去除冗余变量,由测试样本而非整个样本空间构造贝叶斯分类子模型。结合局部计算近似推理进行概率密度和条件概率分布估计。在UCI机器学习数据集上的实验结果证明了该算法的合理性和有效性。

关键词：人工智能贝叶斯网络条件独立局部计算

来源：评论

学校读者我要写书评

暂无评论

一种新的混合特征选择方法RRK

引用

吉林大学学报（工学版） 2009年第2期39卷 419-423页

作者：刘杰金弟杜惠君刘大有吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出一种新的基于包装方法和过滤器方法的混合特征选择算法RRK。该算法主要包括两个方面:①在特征预选阶段,提出一种基于ReliefF算法的特征加权算法NReliefF和降维算法DR,以实现特征加权并去掉不太重要的特征;②在特征选择阶段,把NReli... 详细信息

提出一种新的基于包装方法和过滤器方法的混合特征选择算法RRK。该算法主要包括两个方面:①在特征预选阶段,提出一种基于ReliefF算法的特征加权算法NReliefF和降维算法DR,以实现特征加权并去掉不太重要的特征;②在特征选择阶段,把NReliefF算法和KNN算法结合起来,将预选特征作为输入,用分类正确率来选择最优特征。分别采用一个实际的乘员类型数据集和UCI上的imagine标准数据集进行了实验。实验结果表明,采用RRK后分类的效率和正确率都有明显提高。

关键词：人工智能特征选择包装方法过滤器方法 ReliefF算法

来源：评论

学校读者我要写书评

暂无评论

移动网络资源管理策略的动态冲突消解机制

引用

吉林大学学报（工学版） 2009年第2期39卷 430-435页

作者：梅芳刘衍珩张旭利古天野王旺吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学数学学院长春130012

分析了移动网络中基于策略的资源分配机制中可能存在的策略冲突类型,针对系统中存在资源状况的变化性和移动切换的不确定性,动态资源分配策略无法预先在生成时进行静态冲突检测与消解的问题,提出了一种基于效用函数的、在执行时动态检... 详细信息

分析了移动网络中基于策略的资源分配机制中可能存在的策略冲突类型,针对系统中存在资源状况的变化性和移动切换的不确定性,动态资源分配策略无法预先在生成时进行静态冲突检测与消解的问题,提出了一种基于效用函数的、在执行时动态检测与消解冲突的方法,实现了对冲突策略动作的定量分析,改进了以往依靠指定优先级来判决策略动作能否执行的不完善性。实例分析表明,根据网络资源状态和系统规划目标实时计算资源分配动态策略动作的效用值,实现了策略冲突的自动消解,提高了资源分配的准确率,完善了系统的动态资源管理能力。

关键词：计算机系统结构基于策略的网络管理资源分配动态策略冲突消解效用函数

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：