%0 Journal Article
%T Research on the Formal Representation of Planning Problem
规划的形式表示技术研究
%A CHEN Ai-xiang
%A JIANG Yun-fei
%A CAI Xiao-long
%A
陈蔼祥
%A 姜云飞
%A 柴啸龙
%J 计算机科学
%D 2008
%I
%X Intelligent planning is a challenge topic on the field of artificial intelligence,and it has broad application background.The first problem in automated planning is how to formally represent the realistic planning problem.In this paper,we systematically analysis several kind of formally representation technologies such as situation calculus,STRIPS,PDDL,HTN technology,systematically discuss how to characterize the realistic planning problem formally and point out further direction to improve the current auto...
%K STRIPS
%K PDDL
%K HTN
智能规划
%K 形式表示
%K 情景演算
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=ECD5A664EF682F268B0571CB177B70B8&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=DF92D298D3FF1E6E&sid=03F1579EF92A5A32&eid=4DB1E72614E68564&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=7