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

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

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

时空推理是面向时间/空间问题的研究领域,在人工智能(如语义Web、机器人导航、自然语言处理、物理过程的定性模拟和常识推理等)和其他领域有着广泛的应用前景.复合推理在时空推理中具有重要作用,是约束满足问题等其他定性推理的基础.复... 详细信息

时空推理是面向时间/空间问题的研究领域,在人工智能(如语义Web、机器人导航、自然语言处理、物理过程的定性模拟和常识推理等)和其他领域有着广泛的应用前景.复合推理在时空推理中具有重要作用,是约束满足问题等其他定性推理的基础.复合推理是由R(a,b)和R(b,c)决定R(a,c)的一种演绎推理.一般将关系复合结果放在复合表中备查.但目前复合表的建立需要逐个模型进行手工推导,少数模型给出了独立的复合表生成算法,没有适合多种时空关系模型、能自动生成复合表的通用算法.为此,提出了一种能自动生成复合表的通用算法.首先,给出了基于空间划分的通用时空表示模型.在此基础上,提出了基于场景检测的通用复合表生成算法.通过理论分析和对RCC、宽边界、区间代数等20余种典型时空模型的测试,证明了本算法对于所有以精确区域(或区间)为基础的确定、不确定时空模型均能正确快速地生成复合表.

关键词：时空推理复合表通用时空模型空间划分场景检测

来源：评论

学校读者我要写书评

暂无评论

一个基于最小冲突修补的动态约束满足求解算法

引用

计算机研究与发展 2007年第12期44卷 2078-2084页

作者：孙吉贵高健张永刚吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu_LC.算法在每次冲突调整时将所... 详细信息

约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu_LC.算法在每次冲突调整时将所有冲突变量看成一个整体,并采用分支定界搜索策略求解冲突变量组成的子问题,极大地提高了求解效率.同时,在约束求解系统'明月1.0'架构下给出了算法的具体实现,并针对大量随机问题进行了对比实验.结果表明,Tabu_LC算法在求解效率和解的质量上都明显优于LC算法.

关键词：最小冲突修补动态约束满足问题禁忌搜索分支定界解重用

来源：评论

学校读者我要写书评

暂无评论

一种Agent通信中逻辑意外信息转换方法

引用

计算机研究与发展 2007年第3期44卷 427-433页

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

在开放动态多Agent网络环境中,不同平台下的移动Agent希望就某个领域的问题进行通信,就需要避免出现逻辑意外现象,也就是必须使描述这一领域的术语取得一致.给出一个具有协作性和社会性的通信方法LOSCM(layer ontology services communi... 详细信息

在开放动态多Agent网络环境中,不同平台下的移动Agent希望就某个领域的问题进行通信,就需要避免出现逻辑意外现象,也就是必须使描述这一领域的术语取得一致.给出一个具有协作性和社会性的通信方法LOSCM(layer ontology services communication model).LOSCM具有以下特点:1)A-gent通信实体中包含的概念采用本体方法进行描述,对本体作分层松散的社会性管理.2)假设本体不隶属于公共数据源且相互之间也没有公共本体,LOSCM给出一种基于概念替代遗失度和概念间替代相关度的有效的分层树状转换方法,有效避免了逻辑意外,确保了通信实体概念的正确理解,解决了在概念转换时的一致性问题.

关键词：移动Agent 逻辑意外本体 Agent通信

来源：评论

学校读者我要写书评

暂无评论

Onto3D——一种基于本体的三维模型检索系统

引用

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

作者：王新颖王生生吕天阳庞纪明王钲旋吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

由于目前的三维模型检索技术中基于文本的检索方法和基于内容的检索方法所使用的关键词或形状特征不能包含模型的语义信息,因而检索的结果不能完全满足用户检索的意图.为此实现了一种基于本体的三维模型检索系统Onto3D. Onto3D能够根据... 详细信息

由于目前的三维模型检索技术中基于文本的检索方法和基于内容的检索方法所使用的关键词或形状特征不能包含模型的语义信息,因而检索的结果不能完全满足用户检索的意图.为此实现了一种基于本体的三维模型检索系统Onto3D. Onto3D能够根据用户的检索条件,利用知识库中模型的语义信息进行推理和查询;也可以根据用户反馈信息,从三维模型的底层特征推出高层语义信息.对Princeton Shape Benchmark的实验表明,Onto3D系统在文本和形状检索中都取得了较好的效果.

关键词：本体三维模型检索聚类

来源：评论

学校读者我要写书评

暂无评论

一种基于集合符号的自动推理扩展方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于PSO分类器的镜头边界检测算法

引用

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

作者：孟宇李文辉符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

提出一种基于PSO分类器的镜头边界检测算法,该算法以YUV模型中的U分量直方图差异曲线来反映视频帧间差异度,有效避免了检测算法对镜头运动及镜头内物体运动的敏感,同时对渐变具有更好的识别效果.接着采用滑窗均值滤波的方法对差异曲线滤... 详细信息

提出一种基于PSO分类器的镜头边界检测算法,该算法以YUV模型中的U分量直方图差异曲线来反映视频帧间差异度,有效避免了检测算法对镜头运动及镜头内物体运动的敏感,同时对渐变具有更好的识别效果.接着采用滑窗均值滤波的方法对差异曲线滤波,在镜头转换部分形成具有显著特征的曲线图形.然后使用一种应用PSO算法的KNN分类器对这些曲线图形进行分类,最终实现对镜头转换的位置检测与类型识别.算法能够在同一步骤内完成对切变和渐变的检测,实验结果表明,该算法具有很好的精确度与召回率.

关键词：镜头边界监测粒子群优化 KNN分类器

来源：评论

学校读者我要写书评

暂无评论

一种基于本体的问题求解学生模型

引用

吉林大学学报（理学版） 2007年第5期45卷 795-799页

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

以平面几何问题为对象,通过对主观试题解答进行研究,建立一种基于本体的问题求解学生模型(OSSM).实现了自动问题答案评估学生模型的设计,给出了适用于主观题求解基于本体的知识表示方法、主观题求解过程跟踪方法和答案智能评估方法.用... 详细信息

以平面几何问题为对象,通过对主观试题解答进行研究,建立一种基于本体的问题求解学生模型(OSSM).实现了自动问题答案评估学生模型的设计,给出了适用于主观题求解基于本体的知识表示方法、主观题求解过程跟踪方法和答案智能评估方法.用本体方法实现知识表示,可从多方面评估学生对知识点的掌握情况,从而实现对学生学习的智能指导.

关键词：学生模型本体问题求解

来源：评论

学校读者我要写书评

暂无评论

增量式双边多属性自动协商策略

引用

吉林大学学报（理学版） 2007年第6期45卷 966-970页

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

提出一种双边多属性自动协商策略.在该策略下,协商议程由外生议程与内生议程相结合,外生议程采用n步议程方法,内生议程采用部分接受策略,由部分接受策略产生局部交易,当局部交易变成全局交易时,协商过程结束;当某个属性无法达成一致时,... 详细信息

提出一种双边多属性自动协商策略.在该策略下,协商议程由外生议程与内生议程相结合,外生议程采用n步议程方法,内生议程采用部分接受策略,由部分接受策略产生局部交易,当局部交易变成全局交易时,协商过程结束;当某个属性无法达成一致时,协商失败.利用该策略,协商过程能获得平衡解和帕累托最优解,且时间复杂性较低.

关键词：协商一对多协商双边协商

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种简单凹形区域间拓扑关系的表示模型

引用

吉林大学学报（理学版） 2007年第3期45卷 427-431页

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

通过研究El-Geresy提出的一种空间推理方法,扩展了经典9-交集矩阵,得到16-交集矩阵,基于16-交集矩阵对RCC23的基本关系进行细化,定义了两个简单凹形区域间的62种拓扑关系,得到RCC62并给出其概念邻域图和最近拓扑关系图.RCC62比RCC23新增... 详细信息

通过研究El-Geresy提出的一种空间推理方法,扩展了经典9-交集矩阵,得到16-交集矩阵,基于16-交集矩阵对RCC23的基本关系进行细化,定义了两个简单凹形区域间的62种拓扑关系,得到RCC62并给出其概念邻域图和最近拓扑关系图.RCC62比RCC23新增了39种拓扑关系,表达力更强.将RCC62模型应用于空间查询领域不仅能增加查询的准确度,而且也提高了查询效率.

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：