Re: Proposed Universal data types

From: Peter de Blanc (peter.deblanc@verizon.net)
Date: Thu May 26 2005 - 13:30:29 MDT


Here's an example, then. Let's suppose we know that A, and we know that
A->B. This can also be written as:

P(A) = 1 and P(B | A) = 1

So using deductive reasoning:

A
A -> B
-------
B

And using probabilistic reasoning:

P(B) = P(A) * P(B | A) + (1 - P(A)) * P(B | ~A)
= 1 * 1 + 0 * P(B | ~A) = 1

Mr. Geddes, I think you may be interested in reading _Probability
Theory: The Logic of Science_ by ET Jaynes. It's a large book, but
reading the first 30 pages or so should be enough to clear these matters
up for you.



This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:51 MDT