The science of creating intelligent machines. In particular, creating stochastic systems capable of tasks that predicate logic struggles with.