NAL Interactive Inference Demo

From MeTTaClaw Whitepaper v4 — try Non-Axiomatic Logic yourself




Ex1: robin-bird-animal | Ex2: revision merge | Ex3: negation test
Click a rule to run inference...

NAL Truth Functions

Deduction: f = f1*f2, c = f1*f2*c1*c2

Revision: f = (f1*c1*(1-c2) + f2*c2*(1-c1)) / (c1*(1-c2) + c2*(1-c1)), c = (c1*(1-c2) + c2*(1-c1)) / (c1*(1-c2) + c2*(1-c1) + (1-c1)*(1-c2))

Abduction: f = f2, c = f1*c1*c2 / (f1*c1*c2 + 1) [w2a form]

Induction: f = f1, c = f2*c1*c2 / (f2*c1*c2 + 1) [w2a form]