[Heartlogic-dev] Open Heart Logic Wiki wiki page IssueHowDoWeReverseARule updated by AnonymousGnome

[wiki]

Open Heart Logic Wiki page IssueHowDoWeReverseARule edited by AnonymousGnome

--- database/IssueHowDoWeReverseARule.old       Mon Jun  6 11:47:47 2005
+++ database/IssueHowDoWeReverseARule   Mon Jun  6 11:47:47 2005
@@ -2,7 +2,7 @@
 
 * 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 the consequent.
 
 * Or we could apply not to one of the conjuncts.
 
@@ -10,5 +10,3 @@
 
 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.