OWL + SWRL中的寫作動作理論：可能嗎？

Question

爲了解決符號規劃問題，我們寫了行動理論。 寫作行爲理論的流行語言是STRIPS和ADL。

爲了描述的動作，我們需要提供：

• 前提
• 效果

例如，在一個機器人域，我們有Robot和Object類和closeTo和holding屬性。

如果closeTo(?robot, ?object)成立，並且還有forall ?o in Object . not holding(?robot, ?o)，則動作pickUp(?robot, ?object)是可能的。

如何代表OWL和/或SWRL的先決條件？

動作效果如何？

Answer 1

Knowrob項目建議可以結合使用定性過程理論（QPT）和OWL標記語言來實施行動。一個可能的前提是[1]：

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

但它從未被證實，這個序言，意大利麪條的代碼將工作。 OWL不是一種真正的編程語言，它更像是一種像json這樣的標記語言。以形式化的形式正式確定流程是一項學術測驗，但與遊戲編碼或真正的機器人編程無關。