owl - 用 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),

但从未证明过这个 prolog-spaghetti-code 会起作用。OWL 不是真正的编程语言，它更像是 json 之类的标记语言。以声明形式形式化流程是一项学术测验，但与游戏编码或真正的机器人编程无关。