search

opennars / Narjure

A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.
GNU General Public License v2.0
44 stars 11 forks source link

deriver reduction rule for &/ needs reviewing #53

Closed TonyLo1 closed 8 years ago

TonyLo1 commented 8 years ago

There are nested &/ derivations appearing

patham9 commented 8 years ago

indeed, but I hesitated so far since its not a big issue and especially since the nested representation provides benefits for reasoning, for example this way (&/,a,operation) is a very general form where a could be a sequence on its own as especially needed by our new operation-choice rule.

patham9 commented 8 years ago

TODO re-consider in the future, closed because for now I think the nested representation is better for the reason explained.