Hi,
On 04/24/2017 03:46 PM, Vishnu Priya wrote:
But when i run FC, as shown in
https://github.com/opencog/atomspace/tree/master/examples/rule-engine/frog
under the heading "*Forward Chainer*", i got some weird ouput but i
followed the same steps with no change:
guile> (cog-fc ci-rbs source vardecl focus-set)
> ...
(InheritanceLink (stv 1 1)
(ConceptNode "Fritz")
(ConceptNode "green")
)
You did get the result actually, amongst many others. So it works,
however this result
(AndLink
(InheritanceLink
(VariableNode "$X")
(ConceptNode "frog")
)
(EvaluationLink (stv 1 1)
(PredicateNode "croaks")
(ConceptNode "Fritz")
)
)
with null confidence indicates that some rule got triggered for no
reason, so I should look into that.
Nil
(InheritanceLink (stv 1 1)
(ConceptNode "Fritz")
(ConceptNode "frog")
)
(AndLink (stv 1 1)
(EvaluationLink (stv 1 1)
(PredicateNode "eats_flies")
(ConceptNode "Fritz")
)
(EvaluationLink (stv 1 1)
(PredicateNode "croaks")
(ConceptNode "Fritz")
)
)
(AndLink
(InheritanceLink
(ConceptNode "ci-rbs")
(ConceptNode "URE")
)
(EvaluationLink (stv 1 1)
(PredicateNode "croaks")
(ConceptNode "Fritz")
)
)
(AndLink
(EvaluationLink
(PredicateNode "eats_flies")
(VariableNode "$X")
)
(EvaluationLink (stv 1 1)
(PredicateNode "croaks")
(ConceptNode "Fritz")
)
)
(AndLink (stv 1 1)
(EvaluationLink (stv 1 1)
(PredicateNode "croaks")
(ConceptNode "Fritz")
)
(EvaluationLink (stv 1 1)
(PredicateNode "croaks")
(ConceptNode "Fritz")
)
)
(AndLink (stv 0 1)
(EvaluationLink (stv 0 1)
(PredicateNode "URE:attention-allocation")
(ConceptNode "ci-rbs")
)
(EvaluationLink (stv 1 1)
(PredicateNode "croaks")
(ConceptNode "Fritz")
)
)
(AndLink
(EvaluationLink
(PredicateNode "croaks")
(VariableNode "$X")
)
(EvaluationLink (stv 1 1)
(PredicateNode "croaks")
(ConceptNode "Fritz")
)
)
(AndLink (stv 1 1)
(InheritanceLink (stv 1 1)
(ConceptNode "Fritz")
(ConceptNode "green")
)
(InheritanceLink (stv 1 1)
(ConceptNode "Fritz")
(ConceptNode "green")
)
)
(AndLink (stv 1 1)
(InheritanceLink (stv 1 1)
(ConceptNode "Fritz")
(ConceptNode "green")
)
(InheritanceLink (stv 1 1)
(ConceptNode "Fritz")
(ConceptNode "frog")
)
)
(AndLink
(InheritanceLink (stv 1 1)
(ConceptNode "Fritz")
(ConceptNode "green")
)
(InheritanceLink
(VariableNode "$X")
(ConceptNode "green")
)
)
(AndLink
(InheritanceLink (stv 1 1)
(ConceptNode "Fritz")
(ConceptNode "green")
)
(InheritanceLink
(VariableNode "$X")
(ConceptNode "frog")
)
)
)
I tried also with my own small modified input. But got similar random
output. :-(
Thanks,
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]
<mailto:[email protected]>.
To post to this group, send email to [email protected]
<mailto:[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/d99a6d22-de17-42a5-b76e-a4a5f98049e1%40googlegroups.com
<https://groups.google.com/d/msgid/opencog/d99a6d22-de17-42a5-b76e-a4a5f98049e1%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 [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/31c8e500-ec54-11fc-6e71-abfba67b6915%40gmail.com.
For more options, visit https://groups.google.com/d/optout.
