  We envision a machine capable of solving mathematical problems. Dividing the
quantitative reasoning system into two parts: thought processes and cognitive
processes, we provide probabilistic descriptions of the architecture.
