LNN
LNN copied to clipboard
IBM
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
Error looks like below: ------------------------------------------------------------------------------------------ clang: warning: argument unused during compilation: '-L/usr/local/lib' [-Wunused-command-line-argument] pygraphviz/graphviz_wrap.c:2711:10: fatal error: 'graphviz/cgraph.h' file not found #include "graphviz/cgraph.h" ^~~~~~~~~~~~~~~~~~~ 1 error generated. error: command '/usr/bin/clang' failed...
Is there a public-facing communication channel (e.g., Slack or Discord) for current and/or potential contributors/researchers? If not, I am happy to set up one! :)
For a given node syntax, the model stores only one instance of that node. API changes require leaf nodes to be instanciated with a model attached to it, with connective...
https://github.com/IBM/LNN/blob/2382067d91b5cba67ce90817925e6e70bc84f25a/docs/introduction.html#L267
At https://github.com/IBM/LNN/tree/master/tutorials#prerequisite , there's a link to elementary material https://ibm.box.com/s/c0sq8d7tc01tw1c7xq4k8oedajto84n8 , but box.com reports that it's been removed or that I don't have access to it.
As you already know, doing outer join on constants produces many groundings which might be semantically invalid or impossible. This increases the size of the grounding table unnecessarily which in...
Is there a way to input data non-manually? I am working with [FOLIO](https://github.com/Yale-LILY/FOLIO) dataset which contains multiple premises in FOL form per row and a query based on the premises....
It's related to: [https://ibm.github.io/LNN/education/examples/reasoning.html#more-complex-reasoning-example](url) the code is: ```python from lnn import (Predicate, Variable, Join, And, Exists, Implies, Forall, Model, Fact, World) model = Model() # Instantiate a model. x, y,...
While trying to replicate the result from the educational examples, I've got this error. 1. url: [https://ibm.github.io/LNN/education/examples/reasoning.html#simple-geometry-reasoning-example](url) 2. code: ```python from lnn import (Predicate, Variable, Exists, Implies, Forall, Model, Fact,...
Hi, I'm currently studying the LNN, and trying to evaluate the example code. However, I've got this error from the example code: 1. example code: [https://ibm.github.io/LNN/education/examples/reasoning.html#simple-geometry-reasoning-example](https://ibm.github.io/LNN/education/examples/reasoning.html#simple-geometry-reasoning-example) 2. where I stuck:...