Differences

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

--- public:t-713-mers:mers-24:empirical-reasoning-1 [2024/10/11 10:02] – [Principles of Empirical Reasoning vs. Mathematical Reasoning] thorisson
+++ public:t-713-mers:mers-24:empirical-reasoning-1 [2024/11/05 11:33] (current) – [Non-Axiomatic Reasoning] thorisson
@@ Line 6: / Line 6: @@
 \\
 \\
-======EMPIRICAL REASONING I======
+======Empirical Reasoning (I)======
 \\
 \\
@@ Line 46: / Line 46: @@
 |  Data Availability  |  Most data is available. No hidden data.  |  Most data is unavailable and/or hidden.   |
 |  Data Types  |  Known a-priori. Statements always syntactically correct; pre-defined syntax.   |  Mostly not known; tiny dataset provided a-priori.  |
-|  Permitted Rule Values |  Primarily Bool (True, False) \\ Rarely augmented by "unknown".  |  Highly variable combinations of Bool, N, Z, Q, R, C, \\ **as well as 'uncertain' and 'not known'.**  |
+|  Permitted Rule Values  |  Primarily Bool (True, False) \\ Rarely augmented by "unknown".  |  Highly variable combinations of Bool, N, Z, Q, R, C, \\ **as well as 'uncertain' and 'not known'.**  |
 |  Information Amount  |  Inevitably sparse (due to being fully known).  |  Always vastly larger than available processing - overwhelming.   |
 |  Statements  |  Clear, clean and complete.   |  Most statements are incomplete; rarely clear and clean.   |
@@ Line 60: / Line 60: @@
 \\
-====Challenges of Empirical Reasoning====
+====Challenges in Empirical Reasoning====
 |  Data Diversity  | Data types in the physical world are many and diverse - and cannot be known beforehand.    |
 |  Noisy Data  | Data in the physical world is extremely noisy - we say that there is a 'low signal-to-noise ratio'.    |
@@ 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.   |