Active inference on discrete state-spaces: A synthesis