[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 06:16:09 UT |
Open Heart Logic Wiki page IssueRuleVsGAFSometimesFuzzy edited by AnonymousGnome
--- database/IssueRuleVsGAFSometimesFuzzy.old Mon Jun 6 11:46:09 2005
+++ database/IssueRuleVsGAFSometimesFuzzy Mon Jun 6 11:46:09 2005
@@ -10,6 +10,3 @@
Or, because it is expressable with very compact English, it can be viewed as a
ground atomic formula. Another reason it can be viewed as a gaf is because we
might be able to assert (genlPreds spouse loves) [that is a gaf].
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, OpRBP and
-IssueHowDoWeReverseARule.