[agi] Integrating uncertainty about computation into Bayesian causal networks?

Have any of you seen a paper out there that integrates uncertainty about the results of deterministic computations into Bayesian networks? E.g., being unsure whether 2 + 2 = 4 or 2 + 2 = 5. In particular I'm wondering whether anyone's tried to integrate axiomatic proof systems into causal

Re: [agi] Integrating uncertainty about computation into Bayesian causal networks?

I haven't found anything to recommend, and I've been playing with similar things for a couple years. It would be a great topic for a paper (or two). j. andrew rogers --- To unsubscribe, change your address, or temporarily deactivate your subscription, please go to

RE: [agi] Integrating uncertainty about computation into Bayesian causal networks?

] Behalf Of Eliezer S. Yudkowsky Sent: Thursday, April 28, 2005 2:09 PM To: agi@v2.listbox.com Subject: [agi] Integrating uncertainty about computation into Bayesian causal networks? Have any of you seen a paper out there that integrates uncertainty about the results of deterministic computations

Re: [agi] Integrating uncertainty about computation into Bayesian causal networks?

I do have a design that handles uncertainty in axiomatic reasoning, but it is not in the form of a Bayesian net. Furthermore, in my design implication and causation are fundamentally different, though closely related. If everything goes as planned, I should have that design implemented in