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

Чтобы решить проблемы символического планирования, мы пишем теории действия. Популярными языками для написания теорий действия являются STRIPS и ADL.

Для описания действия нам необходимо предоставить:

  • предварительные условия
  • последствия

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

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

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

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


owl swrl planning
person fferri    schedule 13.01.2016    source источник

Ответы (1)


arrow_upward
1
arrow_downward

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

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

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

person Manuel Rodriguez    schedule 06.10.2016