Hi all,
I ran another test concerning the interaction between AndLink and
EvaluationLink
variables = VariableList(TypedVariableLink(VariableNode("origin"),
TypeNode("ConceptNode")), TypedVariableLink(VariableNode("destination"),
TypeNode("ConceptNode")))
query = AndLink(EvaluationLink(
PredicateNode("linked"),
ListLink(
VariableNode("origin"),
VariableNode("destination"))))
chainer = BackwardChainer(atomspace,
ConceptNode("None"),
query, vardecl=variables)
chainer.do_chain()
This returns a result with wrong truth values of (1, 0) for all the found
EvaluationLinks as well as the AndLink. The same happens when I replace the
AndLink with an OrLink.
This is the same query just without the encapsulating AndLink.
variables= VariableList(TypedVariableLink(VariableNode("origin"),
TypeNode("ConceptNode")), TypedVariableLink(VariableNode("destination"),
TypeNode("ConceptNode")))
query = EvaluationLink(
PredicateNode("linked"),
ListLink(
VariableNode("origin"),
VariableNode("destination"))))
chainer = BackwardChainer(atomspace,
ConceptNode("None"),
query, vardecl=variables)
chainer.do_chain()
It returns correct truth values of (1, 1) for every found EvaluationLink.
So there seems to be an error occurring regarding the proper attribution of
truth values to EvaluationLinks when the EvaluationLink is encapsulated in
some other Link (AndLink, OrLink).
best,
Alex
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/opencog/fe0aaddc-7cdc-4045-9c47-9a1e60e5cd4a%40googlegroups.com.
