Что почитать про вероятностное программирование.