| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| public:t-713-mers:mers-23:empirical-reasoning-1 [2023/10/18 10:44] – [Empirical Reasoning vs. Mathematical Reasoning] thorisson | public:t-713-mers:mers-23:empirical-reasoning-1 [2024/08/20 12:20] (current) – [Empirical Reasoning vs. Mathematical Reasoning] thorisson |
|---|
| | \\ Target Use | Specify/define complete ruleset/system for closed worlds. \\ Intended for use with necessary and sufficient info. \\ Meant for dealing with mathematical domains. | Figure out how to get new things done in open worlds. \\ Intended for use with incomplete and insufficient info. \\ Meant for dealing with physical domains. | | | \\ Target Use | Specify/define complete ruleset/system for closed worlds. \\ Intended for use with necessary and sufficient info. \\ Meant for dealing with mathematical domains. | Figure out how to get new things done in open worlds. \\ Intended for use with incomplete and insufficient info. \\ Meant for dealing with physical domains. | |
| | World Assumption | Closed and certain. \\ Axioms fully known and enumerated. \\ Axiomatic and Platonic (hypothetical) | Open and uncertain. \\ at least one unknown axiom exist at all times; \\ every known axiom is defeasible<sup>1</sup> (not guaranteed). \\ | | | World Assumption | Closed and certain. \\ Axioms fully known and enumerated. \\ Axiomatic and Platonic (hypothetical) | Open and uncertain. \\ at least one unknown axiom exist at all times; \\ every known axiom is defeasible<sup>1</sup> (not guaranteed). \\ | |
| | Energy, Time, Space | Independent of energy, space and time \\ (unless specifically put into focus). | Limited by time, energy and space; \\ LTE (limited time and energy) is a central concept. | | | Energy, Time, Space | Independent of energy, space and time \\ (unless specifically put into focus). | Limited by time, energy and space; \\ LEST (limited energy, space and time) is a central concept. | |
| | Source of Data | Mostly hand-picked by humans from a pre-defined World. | Mostly measured by reasoning system itself, \\ from a mostly undefined World. | | | Source of Data | Mostly hand-picked by humans from a pre-defined World. | Mostly measured by reasoning system itself, \\ from a mostly undefined World. | |
| | Human-Generated Info | Large ratio of human to machine-generated info (>1). Human-generated info is detailed and targets specific topics and tasks. | Small ratio of human to machine-generated info (<<1). Human-generated info is provided in a small 'seed' and targets general bootstrapping. | | | Human-Generated Info | Large ratio of human to machine-generated info (>1). Human-generated info is detailed and targets specific topics and tasks. | Small ratio of human to machine-generated info (<<1). Human-generated info is provided in a small 'seed' and targets general bootstrapping. | |
| | 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) | Highly variable combinations of Bool, N, Z, Q, R, C. | | | Permitted Values | Primarily Bool (True, False) | 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 larger than available processing - overwhelming. | | | Information Amount | Inevitably sparse (due to being fully known). | Always 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. | |
| | Analogy | Complete \\ (always, due to complete knowledge of data and semantics). | Defeasible \\ (always, due to With incomplete data and semantics). | | | Analogy | Complete \\ (always, due to complete knowledge of data and semantics). | Defeasible \\ (always, due to With incomplete data and semantics). | |
| | ||| | | ||| |
| | <sup>1</sup> By 'defeasible' is meant that it //may// be found to be incorrect, at any time, given additional data. ||| | | <sup>1</sup> By 'defeasible' is meant that it //may// be found to be incorrect, at any time, given additional data, reconsideration of background assumptions or discovery of logic errors. ||| |
| | <sup>2</sup> By 'safe' is meant that the output of a reasoning process is provably correct and can be trusted. ||| | | <sup>2</sup> By 'safe' is meant that the output of a reasoning process is provably correct and can be trusted. ||| |
| | <sup>3</sup> By 'complete' is meant that the output of a reasoning process leaves nothing unprocessed. ||| | | <sup>3</sup> By 'complete' is meant that the output of a reasoning process leaves nothing unprocessed. ||| |
