Artificial intelligence 行动和效果公理

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

一张显示建筑物结构的地图 建筑。每个节点代表一个 房间（Rn）或电梯（Ln）。机器人 可以在房间之间移动（实心） 线），或在门厅之间移动（虚线） 线路）。机器人需要具体说明 拍摄时的方向（向上/向下） 电梯

我在想类似的事情：

isRobot（r）和isEdge（e）和isLift（x）和isLift（y）和isFloor（Floor1）和isFloor（Floor2）和-（x==y）和-（Floor1==Floor2）和at（内部（r，x），Floor1）和边缘（e，x，y）ad=>goUp（内部（r，y），Floor2）或仓库（内部（r，y），Floor2）

我的谓词是： 移动（x，y）- 边缘（x，y，z）- at（x，y） 内（x，y）－ 除尘（x，y）- isClean（x）-
空间（x）- iEdge（x）- 楼层（x）- goUp（x，y）- 货仓（x，y） isLift（x） iRobot（x）

---

我把行动正式化了吗？如果没有，我该怎么办？

你应该看看PDDL和STRIPS文档；这会有帮助的

他们有样本问题；所以你应该可以一起去

---

祝你万事如意。

如果这是家庭作业，请贴上这样的标签。完成……这是一系列问题的练习。