J4

• 计算机科学 • 上一篇    下一篇

一种基于静态分析的宏动作提取方法

姜云飞, 王立坤   

  1. 中山大学 计算机软件研究所, 广州 510275
  • 收稿日期:2006-05-21 修回日期:1900-01-01 出版日期:2006-08-26 发布日期:2006-11-26
  • 通讯作者: 姜云飞

Generating Macrooperators Based on Static Analysis

JIANG Yunfei, WANG Likun   

  1. Institute of Software, Sun YatSen University, Guangzhou 510275, China
  • Received:2006-05-21 Revised:1900-01-01 Online:2006-08-26 Published:2006-11-26
  • Contact: JIANG Yunfei

摘要: 提出一种通过静态分析提取宏动作的方法, 不是直接 分析问题域的描述, 而是选择性的生成一些基动作, 静态分析的重点是基动作之间的关系. 通过静态分析对基动作之间的关系进行分类, 根据分类生成模式图, 并最终根据模式图提取具有应用价值的宏动作. 同时还编写了实验系统对所提出的方法进行检验.

关键词: 问题域, 基动作, 宏动作, 模式图

Abstract: We proposed a new method for generating macro operators by means of static analysis. The method selectively produces some ground actions instead of directly analyzing the description of the domain. The objects of the static analysis focus on the relations among these ground actions, which are classified accordingly. Some pattern maps are produced according to this classif ication. At last, valuable macrooperators based on the maps are generated. We also developed an experimental system to examine the method.

Key words: domain, ground actions, macro operator, pattern map

中图分类号: 

  • TP18