Download

This software is free to use and redistribute for any purposes. It is still in its alpha stage, so it might crash, hang or behave unexpectedly at any time.

	All platforms	test1.nars
		test2.nars
		test3.nars
		test3.1.nars
		test3.2.nars
		test3.3.nars
		test4.nars
		test5.nars
		test6.2.nars
		etest.nars
	Windows 64-bit	NARS library 0.5.3 (76.2 kB)
		NarsDevelop 0.5.1 binary(6.04 MB)
	Windows 32-bit	NARS library 0.5.3 (67.5 kB)
	Linux 32-bit	NARS library 0.5.3 (108 kB)
	Linux 64-bit	NARS library 0.5.3 (114 kB)
	OSX	coming soon...
	Android	coming soon...

Changes

• NARS library 0.5.3

  • Fixed some issues with following equivalence theorems:

    (S1 × S2) → (P1 × P2) ⇔ (S1 → P1) ∧ (S2 → P2)
    (S1 × S2) ↔ (P1 × P2) ⇔ (S1 ↔ P1) ∧ (S2 ↔ P2)
    

  • Added generating sub-questions to first order syllogistic rules limited for the examples above:

    (x → P)
    (S → P)?
    
    // generated sub-question
    (S → x)?
    

• Prev
• Next