close fullscreen

Hyperon AI Algorithms+MeTTa-NARS (Non-Axiomatic Reasoning System)

help edit space_dashboard
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.

  • GitHub
</> 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.