| Both sides previous revisionPrevious revision | |
| public:t-713-mers:mers-26:empiricism [2026/08/25 11:11] – [Worlds: How it Hangs Together] thorisson | public:t-713-mers:mers-26:empiricism [2026/08/25 11:12] (current) – [Worlds: How it Hangs Together] thorisson |
|---|
| | \\ State | **s<sub>t</sub> in V<sub>t</sub>**. A set of variables **x** with a set of values, specified to some particular precision (with constraints, e.g. error bounds), for relevant to a //World//. \\ For all practical purposes, in any complex World "State" refers by default to a sub-state, since it is a practical impossibility to know its full state (values of the complete set of variables) of a world; there will always be a vastly higher number of "don't care" variables than the variables listed for e.g. a //Goal State// (a //State// associated with a //Goal//). || | | \\ State | **s<sub>t</sub> in V<sub>t</sub>**. A set of variables **x** with a set of values, specified to some particular precision (with constraints, e.g. error bounds), for relevant to a //World//. \\ For all practical purposes, in any complex World "State" refers by default to a sub-state, since it is a practical impossibility to know its full state (values of the complete set of variables) of a world; there will always be a vastly higher number of "don't care" variables than the variables listed for e.g. a //Goal State// (a //State// associated with a //Goal//). || |
| | | \\ State \\ definition | **s<sub>t</sub> in V<sub>t</sub>** \\ where \\ **{ x<sub>l</sub>, x<sub>u</sub> } | {x<sub>l</sub> ≤ x ≤ x<sub>u</sub>}** \\ defines lower (**x<sub>l</sub>**) and upper (**x<sub>u</sub>**) bounds on acceptable range for each **x** to count towards the State, respectively. | | | | \\ State \\ definition | **s<sub>t</sub> in V<sub>t</sub>** \\ where \\ **{ x<sub>l</sub>, x<sub>u</sub> } | {x<sub>l</sub> ≤ x ≤ x<sub>u</sub>}** \\ defines lower (**x<sub>l</sub>**) and upper (**x<sub>u</sub>**) bounds on acceptable range for each **x** to count towards the State, respectively. | |
| | Exposable Variables | Variables in **V** that are measurable and/or manipulatable //in principle//. || | | Exposable Variables | Variables in **V** that are measurable and/or manipulable //in principle//. || |
| | Observable Variables | Variables in **V** that can be measured for a particular interval in time are //observable// during that interval. || | | Observable Variables | Variables in **V** that can be measured for a particular interval in time are //observable// during that interval. || |
| | Manipulatable Variables | Variables in **V** whose value can be affected, either directly or indirectly (by an //Agent// or something else). || | | Manipulable Variables | Variables in **V** whose value can be affected, either directly or indirectly (by an //Agent// or something else). || |
| | Measurement | The only way to "capture the world", e.g. for the purposes of getting something done, is by sampling some of the physical properties of the world's variables at a particular time and place. This is what we call a 'measurement'. || | | Measurement | The only way to "capture the world", e.g. for the purposes of getting something done, is by sampling some of the physical properties of the world's variables at a particular time and place. This is what we call a 'measurement'. || |
| | Data | The outcome and record of a (stored) measurement that has been committed to at a particular time and place. || | | Data | The outcome and record of a (stored) measurement that has been committed to at a particular time and place. || |
