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/?member_id=8660244&id_secret=103754539-40ed26
Powered by Listbox: http://www.listbox.com
