Jon Doyle Constructive belief and rational representation. 1-11 1989 5 Computational Intelligence db/journals/ci/ci5.html#Doyle89