DARPA and others think probabilistic programming: http://probabilistic-programming.org/wiki/Home

You need to understand Bayesian statistics enough to understand this paper: http://www.stanford.edu/~ngoodman/papers/WSG-AIStats11.pdf