search

opencog / pln

Probabilistic Logic Network (PLN) implemented on top of the Unified Rule Engine (URE). https://wiki.opencog.org/w/Probabilistic_logic_networks
Other
15 stars 19 forks source link

Modus ponens test #22

Closed noskill closed 4 years ago

noskill commented 4 years ago

Test fails, but it shouldn't. There is a torchpln version of this test, which previously worked.

In PLNRulesIntegrationTest::test_modus_ponens:
tests/pln/rules/PLNRulesIntegrationTest.cxxtest:68: Error: Test failed: Invalid Atom syntax: (NotLink
  (ImplicationLink
    (NotLink
      (VariableNode "$B-45ce8f85") ; [2a7ff1b03d6bf362][-1]
    ) ; [cab5adbe00d8b7ee][-1]
    (NotLink
      (VariableNode "$A-5779870f") ; [6c01ab944d8d45c1][-1]
    ) ; [e50029067cb915f1][-1]
  ) ; [a475c141915cf197][-1]
) ; [b695fcdd82beb49b][-1] (/home/noskill/projects/sing-atomspace/opencog/atoms/base/ClassServer.cc:138)
ngeiswei commented 4 years ago

Thanks @noskill