Reinforcement Learning, Logic and Evolutionary Computation