Download
Written by Pavol Durisek- Details
-
Category: Uncategorised
-
Published: 18 September 2013
-
Hits: 5795
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)?
-