模型法求规划的研究  

Research on Model-Based Planning

作　　者：陈舒[1] 戈也挺[1] 骆斌[1] 陈世福[1] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,南京210093

出　　处：《计算机科学》2004年第5期138-141,共4页Computer Science

基　　金：国家自然科学基金(60003010)

摘　　要：模型法求规划是一种通用的规划方法。它从给定问题的模型中抽取出规划。本文综述了模型法求规划的基本方法。首先介绍了SATPLAN和CSP,以讨论模型法求规划的通用框架。然后介绍了新近开发的模型法求规划系统,BLACKBOX和GP-CSP。在将模型法与演绎法和CBP法进行比较后,给出了模型法求规划的未来研究方向。Model-based planning is a general planning method. It extracts a plan from the model of the given problem. This paper presents a survey of model-based planning. At first.it introduces SATPLAN and CSP to discuss the general frameworks of model-based planning. Then it introduces newly developed model-based planning systems, BLACKBOX and GP-CSP. After comparing model-based planning with planning as deduction and CBP,it gives some remarks on the future of model-based planning.

关 键 词：模型法求规划 规划方法 人工智能 SATPLAN CSP 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]