search

opennars / OpenNARS-for-Applications

General reasoning component for applications based on NARS theory.
https://cis.temple.edu/~pwang/NARS-Intro.html
MIT License
91 stars 40 forks source link

Negating events which aren't in negated form #213

Closed patham9 closed 2 years ago

patham9 commented 2 years ago

Allow negated events to be formed, while making sure there will be no control trouble like unnecessary G |- (! G) |- (! (! G)) = G |- (! G) ... chains we can cut off right away. Some new ideas have popped up recently to do this in a clean way.

Branch: https://github.com/opennars/OpenNARS-for-Applications/tree/NegationExploration

patham9 commented 2 years ago

there hasn't been a convincing need for this yet.