Action Semantics in Smart Objects

We present a method of formal description of the action semantics in smart objects. Smart objects were primarily used for behavioral animation in the past. We demonstrate, how a formally described semantics can be used for action planning purposes by intelligent agents trying to achieve a goal. The described approach also reduces the complexity of common planning approaches by reducing the amount of information the agent has to process