马宁
- 作品数:2 被引量:57H指数:2
- 供职机构:吉林大学计算机科学与技术学院更多>>
- 发文基金:国家自然科学基金广东省自然科学基金国家教育部博士点基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于限定的规划识别问题求解被引量:22
- 2002年
- 该文把 Mc Carthy的限定理论同规划识别结合起来 ,在限定中研究规划识别问题 .证明了在一定的限制下 ,由观察到的现象求出的最小规划集与对这些现象作限定获得的解集是一样的 .以此为基础 ,文中提出了一种用限定求解规划识别问题的方法 .这种方法把 Kautz提出的规划识别表示形式做了某些改变 ,求解的过程中把二阶限定的表示形式转化为一阶形式 ,这种一阶形式的限定结果可以用逐点限定的方法直接求得 .因为利用了逐点限定的这一特点 ,该文的方法对限定的计算过程可以用机器自动完成 .
- 姜云飞马宁
- 一种基于规划知识图的规划识别算法被引量:52
- 2002年
- 提出了一种新的规划表示方法及规划知识图的概念.与目前规划识别领域广泛使用的Kautz方法相比,新的规划表示方法更加简便与直观。由于在规划知识图中增加了支持程度的概念,使得规划的识别可以随着收集到的新证据而合理地加以改变.所提出的基于规划知识图的规划识别算法把规划的识别问题转化为图搜索问题,因而其效率更高,但其识别结果与Kautz方法是一致的.
- 姜云飞马宁
- 关键词:人工智能