Re: [opencog-dev] Re: Calling forward/backward chainer

Mon, 24 Apr 2017 05:46:57 -0700 


Thanks Nil. I did not know this recently added  page.!! That was very 
> helpful. 

 

> I tried BC and got the expected result.

  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)
(SetLink
   (AndLink (stv 0 1)
      (InheritanceLink (stv 1 1)
         (ConceptNode "Fritz")
         (ConceptNode "green")
      )
      (EvaluationLink (stv 0 1)
         (PredicateNode "URE:attention-allocation")
         (ConceptNode "ci-rbs")
      )
   )
   (AndLink (stv 1 1)
      (EvaluationLink (stv 1 1)
         (PredicateNode "eats_flies")
         (ConceptNode "Fritz")
      )
      (InheritanceLink (stv 1 1)
         (ConceptNode "Fritz")
         (ConceptNode "green")
      )
   )
   (AndLink
      (InheritanceLink
         (ConceptNode "ci-rbs")
         (ConceptNode "URE")
      )
      (InheritanceLink (stv 1 1)
         (ConceptNode "Fritz")
         (ConceptNode "green")
      )
   )
   (AndLink
      (InheritanceLink (stv 1 1)
         (ConceptNode "Fritz")
         (ConceptNode "green")
      )
      (EvaluationLink
         (PredicateNode "eats_flies")
         (VariableNode "$X")
      )
   )
   (AndLink (stv 1 1)
      (InheritanceLink (stv 1 1)
         (ConceptNode "Fritz")
         (ConceptNode "green")
      )
      (EvaluationLink (stv 1 1)
         (PredicateNode "croaks")
         (ConceptNode "Fritz")
      )
   )
   (AndLink
      (EvaluationLink
         (PredicateNode "croaks")
         (VariableNode "$X")
      )
      (InheritanceLink (stv 1 1)
         (ConceptNode "Fritz")
         (ConceptNode "green")
      )
   )
   (AndLink
      (InheritanceLink
         (VariableNode "$X")
         (ConceptNode "green")
      )
      (EvaluationLink (stv 1 1)
         (PredicateNode "croaks")
         (ConceptNode "Fritz")
      )
   )
   (InheritanceLink (stv 1 1)
      (ConceptNode "Fritz")
      (ConceptNode "green")
   )
   (AndLink
      (InheritanceLink
         (VariableNode "$X")
         (ConceptNode "frog")
      )
      (EvaluationLink (stv 1 1)
         (PredicateNode "croaks")
         (ConceptNode "Fritz")
      )
   )
   (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].
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/d99a6d22-de17-42a5-b76e-a4a5f98049e1%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to