[agi] modus ponens

2008-06-03 Thread YKY (Yan King Yin)
Modus ponens can be defined in a few ways. If you take the binary logic definition: A - B means ~A v B you can translate this into probabilities but the result is a mess. I have analysed this in detail but it's complicated. In short, this definition is incompatible with probability

Re: [agi] modus ponens

2008-06-03 Thread Ben Goertzel
I mean this form http://en.wikipedia.org/wiki/Modus_ponens i.e. A implies B A |- B Probabilistically, this means you have P(B|A) P(A) and want to infer from these P(B) under the most direct interpretation... ben On Wed, Jun 4, 2008 at 12:08 AM, YKY (Yan King Yin) [EMAIL PROTECTED]