谢琦

作品数：13被引量：92H指数：5
导出分析报告
供职机构：吉林大学更多>>
发文主题：约束满足问题定性空间推理区域连接演算时态推理拓扑关系更多>>
发文领域：自动化与计算机技术天文地球哲学宗教更多>>
发文期刊：《计算机研究与发展》《软件学报》《计算机工程》《吉林大学学报（理学版）》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划吉林省科技发展计划基金中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于ALC的空间语义知识库被引量：2
《吉林大学学报（工学版）》2011年第2期424-429,共6页王生生 刘大有 谷方明 谢琦 李昕 
国家自然科学基金项目(60773099);中央高校基本科研业务费专项基金项目;吉林大学学科前沿与交叉学科创新项目(200903178);吉林大学平台基地建设项目(93K-17-2009-Z06);吉林省科技发展计划项目(20090111)
基于经典描述逻辑ALC,提出了空间语义知识的表示方法和可判定的推理算法。将空间关系表达为一类特殊的概念,空间关系的基本运算采用公理系统表达,空间约束满足问题求解和逻辑术语推理可以在同一个推理机下进行。首次实现了空间关系和语...
关键词：人工智能 定性空间推理 描述逻辑 约束满足问题 区域连接演算 
模糊空间描述逻辑及应用被引量：2
《吉林大学学报（工学版）》2010年第6期1634-1638,共5页王生生 刘大有 吴瑕 谢琦 郭昊 
国家自然科学基金项目(60773099;60873149;60973088);'863'国家高技术研究发展计划项目(2006AA10Z245;2006AA10A309);中央高校基本科研业务费专项基金;吉林大学科学前沿与交叉学科创新项目(200903178);吉林大学平台基地建设项目(93K-17-2009-Z06);吉林省科技发展计划项目(20090111)
提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法...
关键词：人工智能 描述逻辑 定性空间推理 模糊逻辑 区域连接演算 
基于缓冲区的扩展拓扑关系模型及应用
《计算机研究与发展》2009年第11期1900-1906,共7页王生生 刘杰 谢琦 刘大有 
国家自然科学基金项目(60603030;60773099);国家"八六三"高技术研究发展计划基金项目(2006AA10Z245;2006AA10A309);吉林省科技发展计划重点基金项目(20060213);欧盟基金项目TH/Asia Link/010 (111084)~~
定性空间推理在人工智能等领域有着广阔的应用前景,但目前单方面空间关系研究较多,多方面结合研究较少,这与实际应用需求不符.由于各类空间关系具有独立性,需要找到适当的理论将它们融合,目前对于拓扑、距离结合模型的研究还不够充分....
关键词：定性空间推理 区域连接演算 缓冲区 约束满足问题 结合空间关系 
RCC5与主方位关系结合的定性空间推理被引量：6
《计算机研究与发展》2008年第z1期279-285,共7页陈娟 刘大有 张长海 谢琦 
国家自然科学基金项目(60496321;60373098;60573073;60603030);国家"八六三"高技术研究发展计划基金项目(2003AA118020);吉林省科技发展计划重大基金项目(20020303);吉林省科技发展计划基金项目(20030523)
解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要集中在与基于最小外包矩形或单片方位模型的结合.方位信息描述...
关键词：定性空间推理 RCC 主方位关系 异质复合 路径相容 约束满足问题 
结合度量空间和时间的逻辑
《计算机工程》2007年第8期45-47,50,共4页谢琦 刘大有 虞强源 吕策 
国家自然科学基金资助重大项目"非规范知识处理的基本理论和核心技术"(60496321);国家自然科学基金资助项目(60373098;60173006);国家"863"计划基金资助项目(2003AA118020);吉林省科技发展计划基金资助重大项目(20020303);吉林省科技发展计划基金资助项目(20030523)
与时态和空间有关的推理问题是人工智能研究中重要的组成部分,近年来时空逻辑的研究受到相关领域研究者的极大重视。以多维逻辑为框架表示时空知识,提出了一组将度量空间逻辑和时态逻辑相结合的逻辑模型PTL-MS、PTL-MS1、PTL-MS2,表示...
关键词：时态逻辑 度量空间 距离 时空推理 
结合拓扑和方位的定性空间推理方法被引量：3
《计算机应用研究》2007年第2期57-59,共3页谢琦 刘大有 陈娟 
国家自然科学基金资助项目(60496321;60373098;60173006);国家"863"计划资助项目(2003AA118020);吉林省科技发展计划资助项目(20020303;20030523)
空间区域的拓扑关系和方位关系是空间推理的重要研究内容,以往的工作集中在单一的空间方面,这不能满足实际应用领域的需要。基于主方位模型给出了主方位关系的形式化定义,考虑到拓扑与方位间的相互依赖关系,提出了结合拓扑和方位的定性...
关键词：定性空间推理 约束满足问题 拓扑 方位 
定性方向关系模型研究进展被引量：2
《计算机科学》2006年第11期5-9,共5页谢琦 刘大有 虞强源 陈娟 
国家自然科学基金重大项目(60496321):非规范知识处理的基本理论和核心技术;国家自然科学基金项目(60373098;60173006);国家863高技术研究发展计划项目(2003AA118020);吉林省科技发展计划重大项目(20020303);吉林省科技发展计划项目(20030523)
空间关系形式化模型的发展是空间推理、地理信息系统(GIS)、机器人导航等领域的一个非常重要的研究内容,近年来受到相关领域研究者的极大重视。空间对象的方向关系模型的研究已经取得了一定的进展。本文介绍了近年来空间对象的方向关系...
关键词：方向关系 空间推理 空间对象 
一种不确定区域间的方向关系模型被引量：7
《吉林大学学报（理学版）》2006年第5期748-753,共6页谢琦 刘大有 虞强源 陈娟 
国家自然科学重大项目基金(批准号:60496321);国家自然科学基金(批准号:6037309860173006);国家863高技术研究发展计划项目基金(批准号:2003AA118020);吉林省科技发展计划重大项目基金(批准号:20020303);吉林省科技发展计划项目基金(批准号:20030523)
基于区间值及其运算性质给出了不确定区域间方向关系的表示及推理方法.该方法不同于基于经典模糊集及其截集的方向关系模型,利用区间值方向关系矩阵分析不确定区域间方向关系的隶属程度,将不确定区域间的方向关系划分为不确定区域与不...
关键词：方向关系 不确定区域 空间推理 
基于OWL的RB-RBAC策略定义和推理被引量：2
《吉林大学学报（理学版）》2006年第5期754-759,共6页于海波 谢琦 吕巍 
国家自然科学基金(批准号:60373098);吉林大学"985"工程项目基金
提出一种基于本体对RB-RBAC策略进行定义的方法,该方法能定义复杂的属性表达式,并支持多种属性值类型,可以在策略中直接定义属性值间的偏序关系和角色间的层次关系.具有不同语法结构的属性表达式也可以比较,以发现不同授权规则间可能存...
关键词：WEB本体语言 RB-RBAC模型 授权策略 属性表达式 
一种模糊区域的拓扑关系模型
《小型微型计算机系统》2005年第3期326-329,共4页虞强源 刘大有 谢琦 
国家自然科学基金项目(60373098)资助;国家高技术研究发展计划项目(2003AA118020)资助;吉林大学创新基金项目(2002CX028)资助.
空间区域拓扑关系建模是空间推理、地理信息系统(GIS)和计算机视觉等领域一个非常重要的主题,模糊区域的拓扑关系建模正日益受到相关领域研究者的重视.在分析现有模型的基础上,提出了一种模糊区域的拓扑关系模型,该模型利用模糊集来表...
关键词：拓扑关系 模糊区域 模糊集 空间推理 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部