Research Proposals Computation and artificial intelligence