Hi,
in this example, deduction rules alone cannot inference anything because
you don't have in your knowledge base things of the sort
Inheritance
A
B
Inheritance
B
C
Some rules are explained in the wiki, like
http://wiki.opencog.org/w/DeductionRule (though I think this section
http://wiki.opencog.org/w/DeductionRule#The_general_case is a bit
misleading).
For those that aren't, there is a comment at the top of the rule file,
such as
https://github.com/opencog/opencog/blob/master/opencog/pln/rules/implication-direct-evaluation-rule.scm
I suppose you took this example from
https://github.com/opencog/opencog/tree/master/examples/pln/chicken-feet-or-pizza
but so you know, it's incomplete and was designed to test reasoning on
the parsed sentences. Perhaps you want to start with something simpler like
https://github.com/opencog/atomspace/blob/master/tests/rule-engine/bc-friends.scm
with the config file
https://github.com/opencog/atomspace/blob/master/tests/rule-engine/conditional-instantiation-config.scm
should be runnable by the forward or backward chainer.
Nil
On 02/24/2017 06:10 PM, 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 opencog+unsubscr...@googlegroups.com
<mailto:opencog+unsubscr...@googlegroups.com>.
To post to this group, send email to opencog@googlegroups.com
<mailto: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
<https://groups.google.com/d/msgid/opencog/fb264f62-fed8-478d-bdd1-0174cc636e94%40googlegroups.com?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.
--
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/6443e537-652a-1321-bc99-9cdbd371d905%40gmail.com.
For more options, visit https://groups.google.com/d/optout.