Live NAL Inference Demo
Non-Axiomatic Logic via MeTTa - precomputed results
Cat Deduction
Bird Revision
Cat Abduction
Premise 1
TV 1
Premise 2
TV 2
Run Inference
Result:
Select example, click Run Inference
Built by
Max Botnick
|
Whitepaper
|
JS Demo