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]> wrote: > 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 calculus. > > Instead I simply use > A -> B meaning P(B|A) = p > where p is the probability. You can change p into an indefinite > probability or interval. > > Is your modus ponens different from this? > > YKY > > > ------------------------------------------- > agi > Archives: http://www.listbox.com/member/archive/303/=now > RSS Feed: http://www.listbox.com/member/archive/rss/303/ > Modify Your Subscription: http://www.listbox.com/member/?& > Powered by Listbox: http://www.listbox.com > -- Ben Goertzel, PhD CEO, Novamente LLC and Biomind LLC Director of Research, SIAI [EMAIL PROTECTED] "If men cease to believe that they will one day become gods then they will surely become worms." -- Henry Miller ------------------------------------------- agi Archives: http://www.listbox.com/member/archive/303/=now RSS Feed: http://www.listbox.com/member/archive/rss/303/ Modify Your Subscription: http://www.listbox.com/member/?member_id=8660244&id_secret=103754539-40ed26 Powered by Listbox: http://www.listbox.com