send action to ant agent to work and update its state, set theory and relation algebra