您的位置: 专家智库 > >

马宁

作品数:2 被引量:57H指数:2
供职机构:吉林大学计算机科学与技术学院更多>>
发文基金:国家自然科学基金广东省自然科学基金国家教育部博士点基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 1篇人工智能

机构

  • 2篇吉林大学
  • 2篇中山大学

作者

  • 2篇姜云飞
  • 2篇马宁

传媒

  • 1篇计算机学报
  • 1篇软件学报

年份

  • 2篇2002
2 条 记 录,以下是 1-2
排序方式:
基于限定的规划识别问题求解被引量:22
2002年
该文把 Mc Carthy的限定理论同规划识别结合起来 ,在限定中研究规划识别问题 .证明了在一定的限制下 ,由观察到的现象求出的最小规划集与对这些现象作限定获得的解集是一样的 .以此为基础 ,文中提出了一种用限定求解规划识别问题的方法 .这种方法把 Kautz提出的规划识别表示形式做了某些改变 ,求解的过程中把二阶限定的表示形式转化为一阶形式 ,这种一阶形式的限定结果可以用逐点限定的方法直接求得 .因为利用了逐点限定的这一特点 ,该文的方法对限定的计算过程可以用机器自动完成 .
姜云飞马宁
一种基于规划知识图的规划识别算法被引量:52
2002年
提出了一种新的规划表示方法及规划知识图的概念.与目前规划识别领域广泛使用的Kautz方法相比,新的规划表示方法更加简便与直观。由于在规划知识图中增加了支持程度的概念,使得规划的识别可以随着收集到的新证据而合理地加以改变.所提出的基于规划知识图的规划识别算法把规划的识别问题转化为图搜索问题,因而其效率更高,但其识别结果与Kautz方法是一致的.
姜云飞马宁
关键词:人工智能
共1页<1>
聚类工具0