您的位置： 专家智库 > >

吕策

作品数：1 被引量：0H指数：0
供职机构：吉林日报社更多>>
发文基金：吉林省科技发展计划基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇度量空间
  • 1篇时态逻辑
  • 1篇逻辑

机构

  • 1篇吉林大学
  • 1篇吉林日报社

作者

  • 1篇刘大有
  • 1篇虞强源
  • 1篇谢琦
  • 1篇吕策

传媒

  • 1篇计算机工程

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
结合度量空间和时间的逻辑
2007年
与时态和空间有关的推理问题是人工智能研究中重要的组成部分,近年来时空逻辑的研究受到相关领域研究者的极大重视。以多维逻辑为框架表示时空知识,提出了一组将度量空间逻辑和时态逻辑相结合的逻辑模型PTL-MS、PTL-MS1、PTL-MS2,表示和推理随时间变化的距离关系,看成是时态逻辑和度量逻辑的迪卡尔乘积,给出了语义和语法,研究了它们的表达能力,用于时空约束满足问题、时空知识库以及移动对象数据库(MOD)等。
谢琦刘大有虞强源吕策
关键词：时态逻辑度量空间
全选 清除 导出
共1页<1>
聚类工具0