A planning language and a semantics for real world autonomous agents