MeTTa-NARS (Non-Axiomatic Reasoning System)
Responsible: Peter Isaev, Patrick Hammer
An open-ended uncertainty reasoning engine built on Non-Axiomatic Logic (NAL). Uses two-dimensional evidence values (frequency and confidence) for continuous learning under the Assumption of Insufficient Knowledge and Resources.
</> Example Implementation
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)))
; =>
Technical Deep Dive: MeTTa-NARS Full — NAL inference rules, evidence revision, AIKR principle, NARS-GPT integration, and implementation findings.