多级类型继承，x继承y继承z

Question

在PDDL中，我可以像这样定义"sub“类型：

(:types
  one two - parent other
)

one和two也是parent，other是不同的。

所以，谓词(both ?x - parent)接受ones和twos。

我想做多级继承，我试过了

(:types
  sprite fanta - fizzy water - drink
  food
)

我希望sprite和fanta是fizzy，fizzy和water都是drink类型。

所以我的谓词(pour ?x - drink)应该接受sprite，但目前它不接受。

如何正确设置此类型树？

object
├── drink
│   ├── fizzy
│   │   ├── fanta
│   │   └── sprite
│   └── water
└── food

Answer 1

我希望现在回答你的问题还不算太晚。这段代码应该能做你想做的事：

(:types
   food drink - object
   water fizzy - drink
   fanta sprite - fizzy)

希望它能帮上忙！您可以找到完整的PDDL参考here。