Center for Analysis and Design of Intelligent Agents

User Tools

Site Tools

Trace:
public:t-713-mers:mers-24:empirical-reasoning-1

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
public:t-713-mers:mers-24:empirical-reasoning-1 [2024/10/11 09:59] – thorissonpublic: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 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.  |  |  Data Types  |  Known a-priori. Statements always syntactically correct; pre-defined syntax.   |  Mostly not known; tiny dataset provided a-priori.  | 
-|  Permitted 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.   | |  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.   |  |  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.    | |  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'.    | |  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  | 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.   |    |  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.   |   
/var/www/cadia.ru.is/wiki/data/attic/public/t-713-mers/mers-24/empirical-reasoning-1.1728640778.txt.gz · Last modified: 2024/10/11 09:59 by thorisson
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki