In the PLN book there are Boolean operators on ConceptNodes, which are
separate from Boolean operators on PredicateNodes and Links (but sometimes
connoted with the same notation, a kind of perhaps confusing overloading)
...

These are not used in the code at the moment, so far as I know...

Anyway

> +                (NotLink
> +                    (ConceptNode "CanadianPeople"))

features Not as a logical node operator...

ben






On Wed, May 28, 2014 at 2:43 AM, Cosmo Harrigan <notifications@github.com>wrote:

> In
> tests/python/test_pln/scm/relex2logic_pln_examples/contextual-inference-rwr.scm:
>
> > +            (ListLink
> > +                (VariableNode "$X")
> > +                (VariableNode "$Y")))))
> > +
> > +
> > +; 10) Non Canadian People involved with Canadian
> > +; people in the context of money have a chance of
> > +; being associated with log trafficking activities."
> > +(AverageLink (stv .6 .8)
> > +    (VariableNode "$X")
> > +    (ImplicationLink
> > +        (AndLink
> > +            (SubsetLink
> > +                (VariableNode "$X")
> > +                (NotLink
> > +                    (ConceptNode "CanadianPeople")))
>
> Doesn't this require a separate concept for "NonCanadianPeople" instead of
> trying to embed "CanadianPeople" in a NotLink?
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/opencog/opencog/pull/776/files#r13094446>
> .
>



-- 
Ben Goertzel, PhD
http://goertzel.org

"In an insane world, the sane man must appear to be insane". -- Capt. James
T. Kirk

"Emancipate yourself from mental slavery / None but ourselves can free our
minds" -- Robert Nesta Marley