行动和效果公理

Question

我想创建一个公理动作，使代理人能够在两者之间上下移动 如果机器人在升降机节点，门 如果路线连接两个提升节点

  

显示结构的地图   建造。每个节点代表一个   房间（Rn）或电梯（Ln）。机器人   可以在房间之间移动（固体   线），或在oors之间移动（虚线）   线）。机器人需要指定   服用时的方向（上/下）   电梯。

我在想：

isRobot（r）和isEdge（e）和isLift（x）以及isLift（y）和isFloor（Floor1）和isFloor（Floor2）和 - （x == y）和 - （Floor1 == Floor2）和at （inside（r，x），Floor1）和edgeFrom（e，x，y）ad =＆gt; goUp（inside（r，y），Floor2）或goDown（inside（r，y），Floor2）

我的谓词是： 移动（X，Y） - edgeFrom（X，Y，Z） - 在（X，Y） 内（X，Y） - 喷粉（X，Y） - isClean（X） -
isRoom（X） - isEdge（X） - isFloor（X） - GOUP（X，Y） - 货仓（X，Y） isLift（x）的 isRobot（x）的

我是否将行动正式化了？如果不是我应该做什么？

Answer 1

您应该查看PDDL和STRIPS文档;它会有所帮助。

http://planning.cis.strath.ac.uk/competition/

他们有样品问题;所以你应该能够继续前进。

一切顺利。