Написание теорий действий в OWL + SWRL: возможно?

Question

Для решения задач символического планирования пишем теории действий. Популярные языки для написания теорий действий - это STRIPS и ADL.

Для описания действия мы должны обеспечить:

• предпосылки
• эффекты

Например, в области робота, мы имеем Robot и Object классы, а closeTo и holding свойства.

Действие pickUp(?robot, ?object) возможно, если closeTo(?robot, ?object) имеет, а также forall ?o in Object . not holding(?robot, ?o).

Как можно предусмотреть условия OWL и/или SWRL?

Как насчет эффектов воздействия?

Answer 1

Проект Knowrob предполагает, что можно использовать теорию качественного процесса (QPT) в сочетании с языком OWL-Markup для реализации действий. Возможная предпосылка будет [1]:

rdf_triple(knowrob:'thermicallyConnectedTo', Dough, HeatSource), 

Но это никогда не было продемонстрировано, что это пролог-спагетти-код будет работать. OWL - не настоящий язык программирования, он больше похож на язык разметки, такой как json. Формализация процессов в декаративной форме - академическая викторина, но не имеющая никакого отношения к gamecoding или реальному программированию роботов.