Non-axiomatic reasoning
Demonstrates NARS's two-dimensional evidence tracking with frequency and confidence updating.
; MeTTa-NARS evidential reasoning
; Frequency × Confidence
!(nars-judge "bird can fly"
(evidence (positive 95) (total 100)))
; =>
!(nars-revise
"bird can fly"
(new-evidence (positive 2) (total 10)))
; =>