Hiya,
with your help I got most of my reasoning running in a test setting,
running it under my ROS node though, fails due to the python function
(which calculates truth values) not being called.
Does anyone have a clue how the code searches for the function name when we
call it like so:
deduction_rule = BindLink(
VariableList(
TypedVariableLink(
VariableNode('$A'),
TypeNode('ConceptNode')),
TypedVariableLink(
VariableNode('$B'),
TypeNode('ConceptNode')),
TypedVariableLink(
VariableNode('$C'),
TypeNode('ConceptNode'))),
AndLink(
ImplicationLink(
VariableNode('$A'),
VariableNode('$B')),
ImplicationLink(
VariableNode('$B'),
VariableNode('$C')),
NotLink(
EqualLink(
VariableNode('$A'),
VariableNode('$C')))),
ExecutionOutputLink(
GroundedSchemaNode('py: deduction_formula'),
ListLink(
ImplicationLink(
VariableNode('$A'),
VariableNode('$C')),
ImplicationLink(
VariableNode('$A'),
VariableNode('$B')),
ImplicationLink(
VariableNode('$B'),
VariableNode('$C')))))
I tried to define the deduction formula as the member of the same class in
which this happens, as a standalone function at the toplevel of the file as
well as an import from another module, none of which was successful.
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/8078db0b-aee3-4d57-8319-50e76ad60003%40googlegroups.com.
