Open Heart Logic Wiki page IssueHowDoWeReverseARule edited by AnonymousGnome
--- database/IssueHowDoWeReverseARule.old Mon Jun 6 11:20:53 2005 +++ database/IssueHowDoWeReverseARule Mon Jun 6 11:20:53 2005 @@ -1,3 +1,14 @@ -How do we reverse a rule? We could just apply not to the front of the -rule and see what we get. Or we could apply not to the consequuent. -Or we could apply not to one of the conjuncts. +How do we reverse a rule? + +* We could just apply not to the front of the rule and see what we get. + +* Or we could apply not to the consequuent. + +* Or we could apply not to one of the conjuncts. + +* Or we could drop one or more of the antecedents. + +Note that for some rules, i.e. the ones that can be expressed as a GAF with relative ease, see IssueRuleVsGAFSometimesFuzzy, we should bear in mind the possibility that gaf vs rule may interact in odd ways. E.g. "spouses love each other" when reversed becomes "spouses do not love each other." But what happens when we try to reverse this: "If Person-1 is the spouse of Person-2, then Person-1 loves Person-2." We might be "If Person-1 is the spouse of Person-2, then Person-1 does not love Person-2." Well, it seems like a non-issue there but I bet +in other cases there would be issues. And, we should even experimentally verify if the two unreversed renderings are equally unbelievable. + +This page is currently (2005-06-06) mentioned by ItemContentAndExperimentalConditions and by OpRBP. _______________________________________________ Heartlogic-dev mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/heartlogic-dev
