[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Heartlogic-dev] Open Heart Logic Wiki wiki page IssueRuleVsGAFSometimes
From: |
wiki |
Subject: |
[Heartlogic-dev] Open Heart Logic Wiki wiki page IssueRuleVsGAFSometimesFuzzy updated by AnonymousGnome |
Date: |
Mon, 6 Jun 2005 05:51:40 UT |
Open Heart Logic Wiki page IssueRuleVsGAFSometimesFuzzy edited by AnonymousGnome
--- database/IssueRuleVsGAFSometimesFuzzy.old Mon Jun 6 11:21:40 2005
+++ database/IssueRuleVsGAFSometimesFuzzy Mon Jun 6 11:21:40 2005
@@ -11,4 +11,5 @@
One idea is to cast the assertion both ways. Thus one of our independent
variables would be wether the assertion was expressed as a GAF or a Rule. We
can quantiy how hard a hit we take when we cast something as a rule versus as a
ground atomic formula.
-This page is currently (2005-06-06) mentioned by
ItemContentAndExperimentalConditions and by OpRBP.
+This page is currently (2005-06-06) mentioned by
ItemContentAndExperimentalConditions, OpRBP and
+IssueHowDoWeReverseARule.