| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| public:t-713-mers:mers-24:empiricism [2024/11/04 10:51] – [Worlds: How it Hangs Together] thorisson | public:t-713-mers:mers-24:empiricism [2024/11/18 13:47] (current) – [The Physical World] thorisson |
|---|
| | A Question of (Un)certainty | The physical world, and in fact many artificial ones also, are uncertain, meaning that there is a lot about them that we don't know. | | | A Question of (Un)certainty | The physical world, and in fact many artificial ones also, are uncertain, meaning that there is a lot about them that we don't know. | |
| | Reliable Regularity | To do anything //reliably// means depending on //reliable regularity// which is conducive to prediction. | | | Reliable Regularity | To do anything //reliably// means depending on //reliable regularity// which is conducive to prediction. | |
| | AI Boils Down To | Building machines that can figure out what can be reliably achieved in uncertain worlds. | | | AI Boils Down To | Building machines that can figure out what can be reliably achieved in uncertain worlds, and act reliably on this knowledge. | |
| | \\ \\ Abstract Worlds | We may of course define any kind of "world" of our choosing. However, if it is to be **implemented** it must run using some physical properties, be it an abacus, transistors, light, or something else, and if uses physical properties these //must obey physical laws//, which means that \\ //1. an abstract AI that cannot be implemented is not intelligent (it is a blueprint for something else), and \\ 2. any AI must be able to address - using intelligence - physical properties//. | | | \\ \\ Abstract Worlds | We may of course define any kind of "world" of our choosing. However, if it is to be **implemented** it must run using some physical properties, be it an abacus, transistors, light, or something else, and if uses physical properties these //must obey physical laws//, which means that \\ //1. an abstract AI that cannot be implemented is not intelligent (it is a blueprint for something else), and \\ 2. any AI must be able to address - using intelligence - physical properties//. | |
| |
| | ::: | Dynamic World | Changes //State// through //Agent Action// and through other means. | | | ::: | Dynamic World | Changes //State// through //Agent Action// and through other means. | |
| | \\ 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 manipulatable //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. || |
| |
| | {{public:t-720-atai:time-scales-newell-et-al.png?700}} | | | {{public:t-720-atai:time-scales-newell-et-al.png?700}} | |
| | From Card, Moran & Newell et al. //The Psychology of Human-Computer Interaction// (1983) & K. R. //Thórisson PhD Thesis//, MIT, 1996. | | | From Card, Moran & Newell et al. //The Psychology of Human-Computer Interaction// (1983) via K. R. //Thórisson's PhD Thesis//, MIT, 1996. | |
| \\ | \\ |
| |
