PDDL では、次のように「サブ」タイプを定義できます。
(:types
one two - parent other
)
oneであり、twoも異なります。parentother
同様に、述語はs とs(both ?x - parent)を受け入れます。onetwo
多段継承がしたくてやってみた
(:types
sprite fanta - fizzy water - drink
food
)
私はspriteとfantaになりたいfizzy、fizzyとwaterは どちらも のタイプdrinkです。
したがって、私の述語(pour ?x - drink)は を受け入れるはずspriteですが、現時点では受け入れません。
このタイプ ツリーを正しく設定するにはどうすればよいですか?
object
├── drink
│ ├── fizzy
│ │ ├── fanta
│ │ └── sprite
│ └── water
└── food