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

[wiki]

Open Heart Logic Wiki page OpRBP edited by AnonymousGnome

--- database/OpRBP.old  Mon Jun  6 10:53:24 2005
+++ database/OpRBP      Mon Jun  6 10:53:24 2005
@@ -30,24 +30,14 @@
 
 Can reversal can be used to tease out polysemy.  E.g. if it is belieavable as 
both reversed and unreversed then it suggests polysemy.
 
-Will rating of controverisal concepts (e.g. Jesus) be less believable.  One 
participant 
-in baby test, i.e. TEJ, found "Jesus loves his father." as unbelievable bc he 
did not 
-believe in relgion (I may be misparaphrasing this person).
+Will rating of controverisal concepts (e.g. Jesus) be less believable.  One 
participant in baby test, i.e. TEJ, found "Jesus loves his father." as 
unbelievable bc he did not believe in relgion (I may be misparaphrasing this 
person).
 
- The distinction between ground assertion and rule is not always
-   clear.  For example, "Spouses love each other." can be viewed as a
-   rule "If x has spouse y then, x loves y."  Or, it can be viewed as
-   a ground atomic formula.  Ah HA!  There is the rub, what we can do
-   is cast it both ways.  We can quantiy how hard a hit we take when
-   we cast something as a rule versus as a ground atomic formula.
 
 DESIGN ISSUES
 
+IssueHowDoWeReverseARule
 
- 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.
-
+IssueRuleVsGAFSometimesFuzzy
 
 HowToPresentItems