Changed file name, added contextual inference example

Split into two pull requests: https://github.com/opencog/opencog/pull/765
Looks right to me...


On Mon, Jun 9, 2014 at 3:59 PM, Sebastian Ruder <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")))
>
> Would one define this concept in terms of an inheritance from the
> intersection of two distinct concepts?
>
> (InheritanceLink
>     (ConceptNode "Non-CanadianPeople")
>     (AndLink
>         (NotLink
>              (ConceptNode "Canadian))
>         (ConceptNode "People")))
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/opencog/opencog/pull/776/files#r13531850>.
>



-- 
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