That looks more like a task for the Pattern Miner and not for PLN.

On Friday, February 24, 2017 at 5:10:53 PM UTC+1, Vishnu Priya wrote:
>
> Hi, 
>
> This is the data, that i gave,
>
> (EvaluationLink
>    (PredicateNode "eats")
>    (ListLink
>       (ConceptNode "tom")
>       (ConceptNode "chicken-feet")
>       
>    )
> )
>
> (InheritanceLink (stv 0.9 0.9)
>         (ConceptNode "tom")
>         (ConceptNode "chinese")
>     )
>
>
> (EvaluationLink
>    (PredicateNode "eats")
>    (ListLink
>        (ConceptNode "tim")
>       (ConceptNode "chicken-feet")
>      
>    )
> )
>
> (InheritanceLink (stv 0.9 0.9)
>         (ConceptNode "tim")
>         (ConceptNode "chinese")
>     )
>
> (EvaluationLink
>    (PredicateNode "eats")
>    (ListLink
>        (ConceptNode "chinese")
>       (ConceptNode "chicken-feet")
>      
>    )
> )
>
> (InheritanceLink (stv 0.9 0.9)
>         (ConceptNode "Jim")
>         (ConceptNode "chinese")
>     )
>
> *Defining Source *:
> (define source
>     (InheritanceLink
>         (ConceptNode "Jim")
>         (ConceptNode "chinese")
>     )
> )
>
> *Defining rules and adding rules to the rule-base:*
>
> (load "/opt/opencog/opencog/pln/rules/deduction-rule.scm
>
> (define base (ConceptNode "my-rule-base"))
>
> (InheritanceLink  
>     (ConceptNode "my-rule-base")
>     (ConceptNode "URE")
> )
>
> (ExecutionLink
>    (SchemaNode "URE:maximum-iterations")
>    (ConceptNode "my-rule-base")
>    (NumberNode "100")
> )
>
> (MemberLink (stv 0.9 1)
>
>     deduction-inheritance-rule-name
>     (ConceptNode "my-rule-base")
> )
>
> (MemberLink (stv 0.5 1)
>     deduction-implication-rule-name
>     (ConceptNode "my-rule-base")
> )
>
> (MemberLink (stv 0.5 1)
>     deduction-subset-rule-name
>     (ConceptNode "my"my-rule-base"))
>
>
> When i run, (cog-fc source base (SetLink))
> it returned, 
>
> (SetLink
> )
>
> What do i miss here???
>
>
> Regards,
> Vishnu
>
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/c8399ad3-05f0-4aaa-82e8-7894ca90446d%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to