code

; 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))) ; =>