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

计算机研究与发展 2007年第8期44卷 1317-1323页

作者：刘全伏玉琛孙吉贵崔志明龚声蓉凌兴宏苏州大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基... 详细信息

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.

关键词：集合符号自动推理 Tableau 经典逻辑非经典逻辑

来源：评论

学校读者我要写书评

暂无评论

基于模糊对象的不精确需求建模

引用

吉林大学学报（理学版） 2007年第4期45卷 572-576页

作者：潘洪军孙吉贵吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室

用模糊贴近度方法获取模糊类,在模糊类中通过封装的模糊规则描述属性之间的关系,根据模糊贴近度和模糊范围定义了用于计算子类和超类、对象和类之间的隶属函数,解决了对不精确和不确定复杂信息的获取问题,所得结果可用于不精确需求建模.

关键词：模糊贴近度模糊类不精确需求

来源：评论

学校读者我要写书评

暂无评论

一种基于模板的子句学习算法

引用

电子学报 2007年第11期35卷 2140-2145页

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

针对归纳逻辑程序设计中学习子句所遇到的较大搜索空间问题,提出子句模板的概念.用遗传算法先学习子句模板,再结合标记矩阵和按信息增益抽样的方法将其转化为子句.设计了相应的适应度函数及遗传算子.理论分析与实验对比表明,该算法可有... 详细信息

针对归纳逻辑程序设计中学习子句所遇到的较大搜索空间问题,提出子句模板的概念.用遗传算法先学习子句模板,再结合标记矩阵和按信息增益抽样的方法将其转化为子句.设计了相应的适应度函数及遗传算子.理论分析与实验对比表明,该算法可有效缩小搜索空间,提高学习效率,并且可以学习递归子句,是一种有效的子句学习算法.

关键词：归纳逻辑程序设计子句模板遗传算法递归子句信息增益

来源：评论

学校读者我要写书评

暂无评论

结合拓扑和方位的定性空间推理方法

引用

计算机应用研究 2007年第2期24卷 57-59页

作者：谢琦刘大有陈娟吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

空间区域的拓扑关系和方位关系是空间推理的重要研究内容,以往的工作集中在单一的空间方面,这不能满足实际应用领域的需要。基于主方位模型给出了主方位关系的形式化定义,考虑到拓扑与方位间的相互依赖关系,提出了结合拓扑和方位的定性... 详细信息

空间区域的拓扑关系和方位关系是空间推理的重要研究内容,以往的工作集中在单一的空间方面,这不能满足实际应用领域的需要。基于主方位模型给出了主方位关系的形式化定义,考虑到拓扑与方位间的相互依赖关系,提出了结合拓扑和方位的定性表示与推理算法,能够处理多方面空间信息,在空间数据库和机器人导航等领域具有实际应用价值。

关键词：定性空间推理约束满足问题拓扑方位

来源：评论

学校读者我要写书评

暂无评论

结合度量空间和时间的逻辑

引用

计算机工程 2007年第8期33卷 45-47,50页

作者：谢琦刘大有虞强源吕策吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室吉林日报社长春130012

与时态和空间有关的推理问题是人工智能研究中重要的组成部分,近年来时空逻辑的研究受到相关领域研究者的极大重视。以多维逻辑为框架表示时空知识,提出了一组将度量空间逻辑和时态逻辑相结合的逻辑模型PTL-MS、PTL-MS1、PTL-MS2,表示... 详细信息

与时态和空间有关的推理问题是人工智能研究中重要的组成部分,近年来时空逻辑的研究受到相关领域研究者的极大重视。以多维逻辑为框架表示时空知识,提出了一组将度量空间逻辑和时态逻辑相结合的逻辑模型PTL-MS、PTL-MS1、PTL-MS2,表示和推理随时间变化的距离关系,看成是时态逻辑和度量逻辑的迪卡尔乘积,给出了语义和语法,研究了它们的表达能力,用于时空约束满足问题、时空知识库以及移动对象数据库(MOD)等。

关键词：时态逻辑度量空间距离时空推理

来源：评论

学校读者我要写书评

暂无评论

面向不完备信息系统的粗糙集方法研究

引用

小型微型计算机系统 2007年第10期28卷 1869-1873页

作者：孙成敏刘大有孙舒杨吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

给出了关于传统粗糙集的基本概念以及不完备信息系统的定义,归纳了信息系统中的空值情形.基于粗糙集的不可识别关系,介绍了几种已有的扩展关系:相容关系、非对称相似关系、量化相容关系和限制相容关系.结合量化和限制相容关系特点,文中... 详细信息

给出了关于传统粗糙集的基本概念以及不完备信息系统的定义,归纳了信息系统中的空值情形.基于粗糙集的不可识别关系,介绍了几种已有的扩展关系:相容关系、非对称相似关系、量化相容关系和限制相容关系.结合量化和限制相容关系特点,文中提出了限制量化相容关系,并证明在特定条件下,限制量化相容关系是限制相容关系的改进.限制量化相容关系通过量化计算对相容关系作了进一步限制,使之更加合理实用.

关键词：粗糙集不完备信息系统空值相容关系限制量化相容关系

来源：评论

学校读者我要写书评

暂无评论

一种求解粮食调运优化问题的两阶段方法

引用

小型微型计算机系统 2007年第3期28卷 495-499页

作者：于海鸿孙吉贵李泽海吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

粮食调运优化问题属于一种多回路运输问题，本文提出了一个解决粮食调运优化问题的两阶段求解方法，在第一阶段，由图搜索算法产生所有可行的运输路线，并根据约束条件对搜索树进行剪枝；在第二阶段，采用整数规划模型从第一阶段产生的... 详细信息

粮食调运优化问题属于一种多回路运输问题，本文提出了一个解决粮食调运优化问题的两阶段求解方法，在第一阶段，由图搜索算法产生所有可行的运输路线，并根据约束条件对搜索树进行剪枝；在第二阶段，采用整数规划模型从第一阶段产生的可行路线集合中选取最佳路线，使总的运输成本最低．同时基于该方法开发了一个粮食调运决策支持系统，经过测试，该系统在最坏的情况下能节省9％～15％的路程和10％～18％的运输费用．

关键词：粮食调运多回路运输问题图搜索算法整数规划决策支持系统

来源：评论

学校读者我要写书评

暂无评论

一种基于语义Tableau的不相容知识处理方法

引用

计算机工程 2007年第8期33卷 173-174,177页

作者：刘全伏玉琛凌兴宏孙吉贵苏州大学计算机科学与技术学院苏州215006 吉林大学符号计算与知识工程教育部重点实验室长春130012

Tableau作为自动推理的有效方法之一,在许多人工智能领域中有重要的应用。在Tableau基础上,该文提出了Tableau开放和封闭的推理标准,应用于数据库实例不满足完整性约束的不相容关系数据库中,并对其进行修正。采用了逻辑程序的方法,对数... 详细信息

Tableau作为自动推理的有效方法之一,在许多人工智能领域中有重要的应用。在Tableau基础上,该文提出了Tableau开放和封闭的推理标准,应用于数据库实例不满足完整性约束的不相容关系数据库中,并对其进行修正。采用了逻辑程序的方法,对数据库进行修正,解决了传统修正方法丢失信息、出现不相容等问题。

关键词： Tableau 完整性约束不相容知识处理

来源：评论

学校读者我要写书评

暂无评论

增强的非监督异常检测算法IUADA

引用

计算机研究与发展 2007年第z2期44卷 105-110页

作者：袁福宇罗娜周春光吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012 东北师范大学计算机学院长春130017

近年来,网络基础设施逐步完善,同时信息技术的应用也越来越广泛.随着网络安全一系列相关问题的加重,入侵检测技术正面临着重大的机遇和挑战.因为误用检测和异常检测方法都存在着各自的优点和不足,提出坚持将两种方法结合以构建完善的入... 详细信息

近年来,网络基础设施逐步完善,同时信息技术的应用也越来越广泛.随着网络安全一系列相关问题的加重,入侵检测技术正面临着重大的机遇和挑战.因为误用检测和异常检测方法都存在着各自的优点和不足,提出坚持将两种方法结合以构建完善的入侵检测系统的观点.同时,基于数据挖掘技术在入侵检测中所体现出的有效性,针对MINDS的异常检测模块提出改进.采用多维孤立点检测技术,并使用动态加权来调整对网络连接的评价分数,以提高入侵检测的性能.实验结果表明,所提出的算法能够有效地降低响应时间和误报率.

关键词：数据挖掘入侵检测系统局部孤立点因子动态权值

来源：评论

学校读者我要写书评

暂无评论

蚁群算法的收敛速度分析

引用

计算机学报 2007年第8期30卷 1344-1353页

作者：黄翰郝志峰吴春国秦勇华南理工大学计算机科学与工程学院广州510640 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012 茂名学院信息与网络中心广东茂名525000

蚁群算法(ACO)作为一类新型的机器学习技术,已经广泛用于组合优化问题的求解,同时也应用于工业工程的优化设计.相对于遗传算法(GA),蚁群算法的理论研究在国内外均起步较晚,特别是收敛速度的分析理论是该领域急待解决的第一大公开问题.... 详细信息

蚁群算法(ACO)作为一类新型的机器学习技术,已经广泛用于组合优化问题的求解,同时也应用于工业工程的优化设计.相对于遗传算法(GA),蚁群算法的理论研究在国内外均起步较晚,特别是收敛速度的分析理论是该领域急待解决的第一大公开问题.文中的研究内容主要是针对这一公开问题而开展的.根据蚁群算法的特性,该研究基于吸收态Markov过程的数学模型,提出了蚁群算法的收敛速度分析理论.作者给出了估算蚁群算法期望收敛时间的几个理论方法,以分析蚁群算法的收敛速度,并结合著名的ACS算法作了具体的案例研究.基于该文提出的收敛速度分析理论,作者还提出ACO-难和ACO-易两类问题的界定方法;最后,利用ACS算法求解TSP问题的实验数据,验证了文中提出的分析结论,得出了初步的算法设计指导原则.

关键词：蚁群算法吸收态Markov过程期望收敛时间ACO-难易问题优化路径

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：