Humans have many biases. Let's call them priors. They also have their expertises. Let's call them hypothesis spaces. We often make the conclusions we make swiftly, and without much effort and call it intuition. How do we make machines reason intuitively and what it may end with.
Examples will be given in Probabilistic Programming framework called Anglican, successor of the Goodman & Tenenbaum Church language.