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

电子学报 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-交集

来源：评论

学校读者我要写书评

暂无评论

改进的定性形状表示中凹处同异侧判断方法

引用

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

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

指出了Cohn定性形状表示法中凹处同侧判断存在的两种不足之处,给出改进的同侧谓词SameSide*。基于SameSide*,提出一种基于凹处变换的同异侧判断方法CTS,并给出其ADL算法描述。通过实例说明使用方法CTS判断凹处的同异侧关系,能够解决Coh... 详细信息

指出了Cohn定性形状表示法中凹处同侧判断存在的两种不足之处,给出改进的同侧谓词SameSide*。基于SameSide*,提出一种基于凹处变换的同异侧判断方法CTS,并给出其ADL算法描述。通过实例说明使用方法CTS判断凹处的同异侧关系,能够解决Cohn原方法中存在的不足,能得到符合人们直观认知的判断结果,在一定程度上提高了定性形状表示的合理性和准确性。

关键词：人工智能定性形状表示凸壳凹处同侧谓词空间推理

来源：评论

学校读者我要写书评

暂无评论

基于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倍.

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

来源：评论

学校读者我要写书评

暂无评论

能表达带洞区域拓扑关系的扩展9-交集模型

引用

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

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

为了表达带洞区域拓扑关系,通过扩展9-交集模型,将9-交集矩阵的元素扩展为二进制编码,提出了一种新的拓扑关系表达方法——D9-交集模型;讨论了D9-交集模型的性质,并比较了该模型与9-交集模型的表达能力。结果表明,D9-交集模型既能表达... 详细信息

为了表达带洞区域拓扑关系,通过扩展9-交集模型,将9-交集矩阵的元素扩展为二进制编码,提出了一种新的拓扑关系表达方法——D9-交集模型;讨论了D9-交集模型的性质,并比较了该模型与9-交集模型的表达能力。结果表明,D9-交集模型既能表达简单区域拓扑关系,也能表达带洞区域拓扑关系,还能区分9-交集模型不能区分的拓扑关系,表达能力强于9-交集模型,表达结果更符合人们的认知。

关键词：计算机应用 D9-交集模型 9-交集模型拓扑关系带洞区域

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 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的自适应模拟退火算法。最后对步长参数动态调整策略进行了分析。

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

来源：评论

学校读者我要写书评

暂无评论

一种基于特征重要度的文本分类特征加权方法

引用

计算机研究与发展 2009年第10期46卷 1693-1703页

作者：刘赫刘大有裴志利高滢吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 内蒙古民族大学计算机科学与技术学院内蒙古通辽028043

针对文本分类中的特征加权问题,提出了一种基于特征重要度的特征加权方法.该方法基于实数粗糙集理论,通过定义特征重要度,将特征对分类的决策信息引入到特征权重中.然后,在标准文本数据集Reuters-21578 Top10和WebKB上进行了实验.结果表... 详细信息

针对文本分类中的特征加权问题,提出了一种基于特征重要度的特征加权方法.该方法基于实数粗糙集理论,通过定义特征重要度,将特征对分类的决策信息引入到特征权重中.然后,在标准文本数据集Reuters-21578 Top10和WebKB上进行了实验.结果表明,该方法能改善样本空间的分布状态,使同类样本更加紧凑,异类样本更加松散,从而简化从样本到类别的映射关系.最后,使用Nave Bayes,kNN和SVM分类器在上述数据集上对该方法进行了实验.结果表明,该方法能提高分类的准确率、召回率和F1值.

关键词：文本分类特征加权特征重要度粗糙集决策表

来源：评论

学校读者我要写书评

暂无评论

基于多种群协同优化的文本分类规则抽取方法

引用

自动化学报 2009年第10期35卷 1334-1340页

作者：刘赫刘大有裴志利高滢吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 内蒙古民族大学计算机科学与技术学院通辽028043

针对文奉分类中的规则抽取问题,提出一种基于多种群协同优化的文奉分类规则抽取方法.该方法利用信息熵生成初始种群,采用多种群协同优化方法演化当前种群.多种群协同优化方法通过种群之间的相互竞争和良种共享机制提高优化方法的效率.... 详细信息

针对文奉分类中的规则抽取问题,提出一种基于多种群协同优化的文奉分类规则抽取方法.该方法利用信息熵生成初始种群,采用多种群协同优化方法演化当前种群.多种群协同优化方法通过种群之间的相互竞争和良种共享机制提高优化方法的效率.实验结果表明,奉文提出的文本分类规则抽取方法所抽取规则的数量少,准确率高,平均长度短;同时,奉文方法所用的计算时间少,抽取分类规则的速度快,适用于大规模数据集.

关键词：规则抽取文本分类多种群协同优化遗传算法蚁群算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：