基于限定的规划识别问题求解

• 作者: 姜云飞 马宁
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 智能规划 限定 二阶限定 逐点限定
• 年，卷（期）: 2002,（12）
• 所属期刊栏目: 短文
• 页码范围: 1411-1416
• 页数: 6页
• 分类号: TP18
• 字数: 5144字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2002.12.017

摘要

该文把McCarthy的限定理论同规划识别结合起来,在限定中研究规划识别问题.证明了在一定的限制下,由观察到的现象求出的最小规划集与对这些现象作限定获得的解集是一样的.以此为基础,文中提出了一种用限定求解规划识别问题的方法.这种方法把Kautz提出的规划识别表示形式做了某些改变,求解的过程中把二阶限定的表示形式转化为一阶形式,这种一阶形式的限定结果可以用逐点限定的方法直接求得.因为利用了逐点限定的这一特点,该文的方法对限定的计算过程可以用机器自动完成.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马宁	吉林大学计算机科学系	115	682	13.0	21.0
2	姜云飞	中山大学软件研究所	84	1013	18.0	28.0