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

<=> should implicitly derive ==> #233

Closed PtrMan closed 2 years ago

PtrMan commented 2 years ago 
<B <=> C>.
Input: <B <=> C>. Priority=1.000000 Truth: frequency=1.000000, confidence=0.900000
Derived: <C <=> B>. Priority=0.452500 Truth: frequency=1.000000, confidence=0.810000

expected: <B ==> C>. etc.
This should make some rules redudant too.

patham9 commented 2 years ago

no need yet

patham9 commented 2 years ago

if you need it, just add R1( (S <=> P), |-, (S ==> P), Truth_StructuralIntersection )