LNN

LNN copied to clipboard

Errors in usage page.

5

Relates to this: https://ibm.github.io/LNN/usage.html Step 2b: Sample code has a missing comma ``` formulae = [ Smoking_causes_Cancer Smokers_befriend_Smokers ] ``` Step 3: Sample code at start generates error: `TypeError: formula...

sodoherty-ai

Issue with training model error: list indices must be integers or slices, not Loss.

1

### I try to train a model using : model.train(losses=Loss.SUPERVISED) ### Error on: model.train(losses=Loss.SUPERVISED) ### Error message: **list indices must be integers or slices, not Loss.** ### My code: ```...

sonfack

FIX: Fixed installation commands for different operating systems also removed conflicting commands for installing Graphviz in Windows

anomius

model serialisation

4

Serialize all model rules and facts reflective of `model.print`

NaweedAghmad

Impossible to run tutorials in Colab Jupiter notebooks

2

Hello, I was unsuccessfully trying to install lnn lib in Google Colab with and without conda use. The issue with conda approach consists in non-activation of the newly created lnn-env...

asnota

example error

2

When trying to run your example I get the following error: TypeError: expected variable, received american_enemies = ( ForAll(x, Implies(enemy(x, (y,'America')), hostile(x), join=Join.OUTER), join=Join.OUTER, world=World.AXIOM) ) When I replace Join.OUTER...

PolKul

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

5

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

fpcsong

Model equivalence

3

Allow two models to be compared to one another using `__eq__` dunder. This compares all the formulae, their connectivity and corresponding facts at convergence (i.e. does not consider any gradient...

NaweedAghmad

FIX: Not downward operator and operands bounds sometimes doesn't match

2

In my program, #1 and #2 genenrates different results due to different order of data. It's caused by not passing grouding_rows to bounds_aggregate function in Not downward. #1 model.add_data( {...

wqq198768

after submitting: `pip install -e git+https://github.com/IBM/LNN.git` I get: `ERROR: Could not detect requirement name for 'git+https://github.com/IBM/LNN.git', please specify one with #egg=your_package_name` my environment: ``` Monterey 12.6 Python 3.9.13 setuptools 63.4.1...

michalkordyzon