您的位置： 专家智库 > >

谢琦

作品数：16 被引量：129H指数：6
供职机构：吉林大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划吉林省科技发展计划基金更多>>
相关领域：自动化与计算机技术天文地球哲学宗教更多>>

合作作者

文献类型

  • 13篇期刊文章
  • 3篇学位论文

领域

  • 15篇自动化与计算...
  • 1篇哲学宗教
  • 1篇天文地球

主题

  • 6篇定性空间推理
  • 6篇约束满足问题
  • 4篇区域连接演算
  • 3篇拓扑
  • 2篇时态推理
  • 2篇拓扑关系
  • 2篇描述逻辑
  • 2篇RCC
  • 1篇地理信息
  • 1篇地理信息系统
  • 1篇度量空间
  • 1篇信息系统
  • 1篇意识形态
  • 1篇语义
  • 1篇知识表示
  • 1篇知识表示方法
  • 1篇知识分子
  • 1篇神经网
  • 1篇神经网络
  • 1篇时态逻辑

机构

  • 16篇吉林大学
  • 1篇中国人民大学
  • 1篇吉林日报社

作者

  • 16篇谢琦
  • 12篇刘大有
  • 5篇虞强源
  • 5篇王生生
  • 4篇陈娟
  • 1篇王新颖
  • 1篇胡鹤
  • 1篇谷方明
  • 1篇吴瑕
  • 1篇张长海
  • 1篇郭昊
  • 1篇李昕
  • 1篇吕巍
  • 1篇刘杰
  • 1篇于海波
  • 1篇吕策

传媒

  • 3篇软件学报
  • 2篇计算机研究与...
  • 2篇吉林大学学报...
  • 2篇吉林大学学报...
  • 1篇计算机工程
  • 1篇计算机应用研...
  • 1篇小型微型计算...
  • 1篇计算机科学

年份

  • 1篇2021
  • 1篇2011
  • 1篇2010
  • 1篇2009
  • 1篇2008
  • 2篇2007
  • 4篇2006
  • 1篇2005
  • 1篇2004
  • 2篇2003
  • 1篇2000
共 16 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
模糊空间描述逻辑及应用被引量：3
2010年
提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法,并证明了其正确性和完备性。最后,基于FSDL定义了模糊RCC5关系。
王生生刘大有吴瑕谢琦郭昊
关键词：人工智能描述逻辑定性空间推理模糊逻辑区域连接演算
时空推理研究进展被引量：46
2004年
与时态和空间有关的推理问题是人工智能研究中重要的组成部分,在地理信息系统、时空数据库、CAD/CAM等领域有着重要应用.从本体、表示模型和推理方法3个方面分别介绍了时态推理和空间推理的发展,并在此基础上综述了时空结合推理的研究进展.讨论了目前时空推理领域存在的问题,并指出了今后的发展方向.
刘大有胡鹤王生生谢琦
关键词：时态推理
葛兰西文化领导权思想研究——基于马克思主义意识形态视角
葛兰西是马克思主义发展史上一位明星般的人物，这源于他跌宕起伏的人生经历、坚定的革命意志和对无产阶级革命的深邃的反思。葛兰西兼具革命家和理论家的双重身份，这既赋予了他革命策略的深刻性，又赋予了他革命理论的实践性。而这两种特...
谢琦
关键词：文化领导权市民社会知识分子意识形态
文献传递
结合度量空间和时间的逻辑
2007年
与时态和空间有关的推理问题是人工智能研究中重要的组成部分,近年来时空逻辑的研究受到相关领域研究者的极大重视。以多维逻辑为框架表示时空知识,提出了一组将度量空间逻辑和时态逻辑相结合的逻辑模型PTL-MS、PTL-MS1、PTL-MS2,表示和推理随时间变化的距离关系,看成是时态逻辑和度量逻辑的迪卡尔乘积,给出了语义和语法,研究了它们的表达能力,用于时空约束满足问题、时空知识库以及移动对象数据库(MOD)等。
谢琦刘大有虞强源吕策
关键词：时态逻辑度量空间
集成多方面信息的定性空间推理及应用被引量：21
2003年
以往的定性空间或时空推理工作多数面向单一时空方面,这不符合实际应用需要.提出了集成拓扑、尺寸和时间3方面信息的定性表示和推理技术,并应用到时空GIS中.给出了面向GIS的拓扑、尺寸和时间的表示方法,并研究了它们之间的依赖性.提出了集成这3方面信息的约束满足问题求解算法TriRSAT.在时空GIS中,把定性时空表示用于约束关系库,把TriRSAT算法用于时空数据一致性检查和时空查询.应用结果显示,该理论和方法能有效地集成处理多方面时空信息,在时空数据库、机器人导航等领域有着广泛的应用前景.
王生生刘大有谢琦王新颖
关键词：定性空间推理约束满足问题
基于神经网络的知识库求精
专家系统和人工神经网络是AI专家模拟人类智慧,促进高科技发展而采用的两种不同手段和方法,二者是相互补充的.它们的混合系统——人工神经网络专家系统将综合两者的优点,互补彼此的缺陷,使这样的集成系统同时具有较高的知识处理能力...
谢琦
关键词：专家系统人工神经网络知识表示方法
空间区域拓扑关系分析方法综述被引量：47
2003年
空间关系形式化模型的发展是空间推理、地理信息系统(geographic information systems,简称GIS)、计算机视觉等领域中的一个非常重要的主题,近年来受到相关领域研究者的极大关注,特别是在空间区域间拓扑关系模型的研究方面取得了很大进展.介绍了区域间拓扑关系形式化分析的主要研究内容、研究方法和研究进展,并探讨了目前存在的问题和今后的发展方向.
虞强源刘大有谢琦
关键词：拓扑关系空间数据库地理信息系统
基于缓冲区的扩展拓扑关系模型及应用
2009年
定性空间推理在人工智能等领域有着广阔的应用前景,但目前单方面空间关系研究较多,多方面结合研究较少,这与实际应用需求不符.由于各类空间关系具有独立性,需要找到适当的理论将它们融合,目前对于拓扑、距离结合模型的研究还不够充分.针对缺乏基本关系可处理且易于在GIS系统中实现的模型等情况,提出了一种扩展拓扑关系模型BERCC.BERCC源于RCC理论,其主要思想是通过考虑缓存区之间的拓扑关系来提高模型表达能力,同时能表达一定程度的距离信息.推导了BERCC的弱复合表,证明了BERCC基本关系是可处理的,给出了一个包括全集关系和基本关系的可处理子集,在此基础上实现了约束满足推理算法.最后,基于该理论和方法实现了一个实验系统,进一步验证了模型及算法的正确性和实用性.
王生生刘杰谢琦刘大有
关键词：定性空间推理区域连接演算缓冲区约束满足问题
空间方位关系模型与时空结合推理的研究
谢琦
关键词：区间代数约束满足问题区间值时态推理
文献传递
基于ALC的空间语义知识库被引量：2
2011年
基于经典描述逻辑ALC,提出了空间语义知识的表示方法和可判定的推理算法。将空间关系表达为一类特殊的概念,空间关系的基本运算采用公理系统表达,空间约束满足问题求解和逻辑术语推理可以在同一个推理机下进行。首次实现了空间关系和语义知识相结合并且可判定的推理,同时支持多元空间关系结合推理。此前的同类方法都是不可判定的。理论分析、应用实例和相关工作对比均显示该方法解决了空间语义知识库的关键问题,具有一定的理论意义和应用价值。
王生生刘大有谷方明谢琦李昕
关键词：定性空间推理描述逻辑约束满足问题区域连接演算
全选 清除 导出
共2页<12>
聚类工具0