Dear Prof. Zadeh, To my mind, you use the invalid inference rule "(A or B) implies (it is possible that B)".
If we combine this rule with the valid rule "A implies (A or B)", we get the rule "A implies (it is possible that B)", where A and B can be arbitrary, for example B can be "not A". With best regards Andrew _______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
