[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Heartlogic-dev] Open Heart Logic Wiki wiki page IssueHowDoWeReverseARul
From: |
wiki |
Subject: |
[Heartlogic-dev] Open Heart Logic Wiki wiki page IssueHowDoWeReverseARule updated by AnonymousGnome |
Date: |
Mon, 6 Jun 2005 05:50:53 UT |
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.