简单规划
用PDDL将规划问题定义搜索问题
我们考虑一个航空货物运输问题
下面将该问题进行形式化
对于上图的问题,如何表示
我们就可以利用数据库语义,即未提及的语句都默认为false
其中效果只用来描述发生变化的部分,在这个问题中,直升机从一个地点飞行到另一地点,则会导致At(p,from)会发生变化,以及会增加一个效果也就是At(p,to)
因此我们在效果中只提及这两个部分
基元动作:就是将变量进行赋值从而得到基元动作
我们考虑一个航空货物运输问题
下面将该问题进行形式化
对于上图的问题,如何表示
我们就可以利用数据库语义,即未提及的语句都默认为false
其中效果只用来描述发生变化的部分,在这个问题中,直升机从一个地点飞行到另一地点,则会导致At(p,from)会发生变化,以及会增加一个效果也就是At(p,to)
因此我们在效果中只提及这两个部分
基元动作:就是将变量进行赋值从而得到基元动作