目标间顺序关系的提取及其抽象方法

• 作者: 李颖 金芝
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 规划 状态不变式 目标间顺序关系 抽象 合一
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 349-355
• 页数: 7页
• 分类号: TP181
• 字数: 5571字
• 语种: 中文

摘要

规划问题是一类复杂的问题.由于规划问题中各个目标之间往往存在着实现上的顺序关系,发掘这种顺序关系并加以利用是提高规划算法效率的一种途径.由于判定目标间的顺序关系同样是PSPACE完全的,因而为利用目标间的顺序关系首先需要有效地提取目标间的顺序关系.给出了一种利用状态不变式来提取目标间顺序关系的GOWN(goal ordering with invariants)方法,并在比较目标间的顺序关系时,通过抽象和合一的手段,有效地控制了问题的增长规模,提高了处理效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李颖	中国科学院计算技术研究所	190	2089	24.0	39.0
5	金芝	中国科学院数学与系统科学研究院数学研究所	32	1503	14.0	32.0