A first-order formalisation of knowledge and action and action for a multi-agent planning system