search

opennars / OpenNARS-4

MIT License
27 stars 8 forks source link

Bug/issue#47 #81

Closed bowen-xu closed 6 months ago

bowen-xu commented 1 year ago

See https://github.com/bowen-xu/PyNARS/issues/47

bowen-xu commented 1 year ago

The current output:

image
bowen-xu commented 1 year ago

It outputs <[P] --> [P]> which is an absolute truth in definition. In OpenNARS 3.0.4, there seems a filter to drop out this kind of things.

bowen-xu commented 6 months ago

We want to have a new inference engine (Kanren Engine), so the revision on the old engine is not needed.