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 opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
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/fb264f62-fed8-478d-bdd1-0174cc636e94%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
