J4

• 计算机科学 • Previous Articles     Next Articles

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

CLC Number: 

  • TP18