發送短信: IMPROVEMENT OF DOMAIN ANALYSIS AND KNOWLEDGE COMPILATION TOOLS FOR SOLVING AI PLANNING PROBLEMS /