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

电子学报 2009年第4期37卷 804-810页

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

产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成... 详细信息

产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成熟的SAT求解器判定可满足性.随后,通过有效地结合CSISE-tree等方法来产生所有的极小冲突集.为进一步提高效率,给出了充分利用系统输入/输出结构信息的启发式策略.实验结果表明,使用结合SAT求解器及CSISE-tree等方法能够较快产生所有极小冲突集,并且启发式策略使得求解效率进一步提高(平均提高约21%,最高者甚至达到约48%).

关键词：基于模型的诊断冲突集可满足性 SAT求解器启发式

来源：评论

学校读者我要写书评

暂无评论

简单凹形区域间空间关系的一种表示及推理模型

引用

电子学报 2009年第8期37卷 1830-1836页

作者：欧阳继红富倩刘大有吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

空间拓扑关系的代表模型有区域连接演算RCC和9-交集模型.针对凹形区域间空间关系的研究工作主要有Cohn提出的***23的表达力相对有限,在实际应用中具有一定的局限性.本文针对简单凹形区域空间关系的表示及推理,基于Egenhofer和El-Geresy... 详细信息

空间拓扑关系的代表模型有区域连接演算RCC和9-交集模型.针对凹形区域间空间关系的研究工作主要有Cohn提出的***23的表达力相对有限,在实际应用中具有一定的局限性.本文针对简单凹形区域空间关系的表示及推理,基于Egenhofer和El-Geresy的空间推理方法,完成了如下工作:扩展9-交集矩阵得到16-交集矩阵;基于16-交集矩阵扩展RCC23提出了RCC62;给出了RCC62的概念邻域图和最近拓扑关系图;提出了RCC62关系复合的推理规则.RCC62比RCC23新增了39种基本关系,表达力更强;RCC62的推理规则可以推导出RCC62的复合表.

关键词：拓扑关系简单凹形区域凸壳 RCC23 9-交集

来源：评论

学校读者我要写书评

暂无评论

基于IMOM和IBOHM启发式策略的扩展规则算法

引用

软件学报 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在查全率和查准率方面均优于传统模型。

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：