2

In order to solve symbolic planning problems we write action theories. Popular languages for writing action theories are STRIPS and ADL.

For describing an action we need to provide:

  • preconditions
  • effects

For example, in a robot domain, we have Robot and Object classes, and the closeTo and holding properties.

The action pickUp(?robot, ?object) is possible if closeTo(?robot, ?object) holds, and also forall ?o in Object . not holding(?robot, ?o).

How would one represent preconditions with OWL and/or SWRL?

How about action effects?

fferri
  • 18,285
  • 5
  • 46
  • 95

1 Answers1

1

The Knowrob project suggests that it is possible to use the Qualitative Process Theory (QPT) in combination with OWL-Markup language for implementing actions. A possible precondition would be [1] :

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

But it was never demonstrated, that this prolog-spaghetti-code will work. OWL is not a real programming language, it's more like a markup language like json. To formalize processes in a deklarative form is a academic quiz but has no relevance for gamecoding or real robotprogramming.

Manuel Rodriguez
  • 734
  • 4
  • 18