Differences

This shows you the differences between two versions of the page.

--- public:t-713-mers:mers-24:empirical-reasoning-1 [2024/10/29 11:32] – [EMPIRICAL REASONING I] thorisson
+++ public:t-713-mers:mers-24:empirical-reasoning-1 [2024/11/05 11:33] (current) – [Non-Axiomatic Reasoning] thorisson
@@ Line 81: / Line 81: @@
-=====Non-Axiomatic Reasoning=====
+====Non-Axiomatic Reasoning====
 |  \\ NAL  | Distinguishes itself from other reasoning languages in that it is intended for knowledge in worlds where the axioms are unknown, not guaranteed, and/or fallible. \\  NAL is itself axiomatic, but it is designed for //domains// that are non-axiomatic.   |
 |  NAL Features  | Instead of being either {T,F}, statements have a degree of truth to them, represented by a value between 0 and 1.  \\ NAL uses term logic, which is different from propositional logic in the way it expresses statements.   |