Feature Request: Update the examples about reasoning and grounding management in the docs about lnn

[mikulatomas]

Hi, Thanks for your nice work, this project helps me a lot. Can you update the examples about reasoning and grounding management?

https://ibm.github.io/LNN/education/examples/reasoning.html#more-complex-reasoning-example

Hello, more examples (and docs update in general) are in the work :)

[PolKul]

the second example in your doc (complex reasoning example) has incomplete code. Can you please add full code there?

[nDiv]

@fpcsong Thanks for showing interest to LNNs. Yes, we will have some more examples soon. In the meantime, do you have some specific examples in mind that we can consider including?

[masc-it]

Hi, Thanks for your nice work, this project helps me a lot. Can you update the examples about reasoning and grounding management?
https://ibm.github.io/LNN/education/examples/reasoning.html#more-complex-reasoning-example

Hello, more examples (and docs update in general) are in the work :)

Any updates on this? :)

[buddha314]

To accomplish the first Experiment, there are some features without examples.

• No example for Equivalence in the training notebooks
• No example for values with no uncertainty
• Example for OR including cases of upward(), etc
• Examples for infer() as opposed to train()
• Full example of finding disjunctions