Я начал использовать Eclipse Vorto для своего проекта и, как часть описания моего устройства, я хотел бы включить операции с предварительными условиями и эффектами, как в случае PDDL (см. https://en.wikipedia.org/wiki/Planning_Domain_Definition_Language). Например, я хотел бы включить следующее действие (используя формализм PDDL):
(:action move
:parameters (?from ?to)
:precondition (and (at ?from))
:effect (and (at ?to)
(not (at ?from))))
Я прочитал документацию Vortolang (https://github.com/eclipse/vorto/blob/master/docs/vortolang-1.0.md) и единственный класс, который частично подходит цель - класс Operation. Предыдущее действие PDDL будет сопоставлено со следующим:
move(from as string, to as string)
Конечно, при этом предварительные условия и эффекты будут потеряны. Есть ли «вихревой» способ express такого рода действий PDDL?