Cognitive computation: A Bayesian machine case study
probabilistic logics and the synthesis of reliable organisms from unreliable components .