IBM / LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic
https://IBM.github.io/LNN/
Apache License 2.0
226 stars 438 forks source link

FIX: 1 inconsistency in add_knowledge sentence in examples/reasoning.md #56

Closed michalkordyzon closed 1 year ago

michalkordyzon commented 1 year ago

Hello Team, There are 2 out of 3 predicates in add_knowledge sentence, it would be best to add all 3 of them or none. I made a fix to add none.

Signed-off-by: michal michalkordyzon@gmail.com

NaweedAghmad commented 1 year ago

Nice catch. Since the predicates are automatically added by the formula, in most cases its best to include none.