| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| public:t_720_atai:atai-18:lecture_notes_w3 [2018/08/30 19:36] – [Problems in Task-Environments] thorisson | public:t_720_atai:atai-18:lecture_notes_w3 [2024/04/29 13:33] (current) – external edit 127.0.0.1 |
|---|
| | Limited time | No Task, no matter how small, takes zero time. \\ "Any task worth doing takes time." \\ All implemented intelligences will be subject to the laws of physics. | | | Limited time | No Task, no matter how small, takes zero time. \\ "Any task worth doing takes time." \\ All implemented intelligences will be subject to the laws of physics. | |
| | Limited energy | "Any task worth doing takes energy." \\ All implemented intelligences will be subject to the laws of physics. | | | Limited energy | "Any task worth doing takes energy." \\ All implemented intelligences will be subject to the laws of physics. | |
| | No task takes no time or energy | If <m>te</m> is a function that returns time and energy, an act of perception \\ <m>te(p in P) > 0</m> \\ a decision <m>d</m> in \\ <m>{te({d in D}) > 0}</m>, \\ and an action \\ <m>te(a in A) > 0</m>. \\ It follows deductively that since any Task requires at the very least one of each of these, in the minimum case to decide whether the Goal of a Task <m>T</m> is achieved, then \\ <m>te(T) > 0</m>. \\ Anything that takes zero time or zero energy is by definition not a Task. | | | No task takes zero time or energy | If <m>te</m> is a function that returns time and energy, an act of perception \\ <m>te(p in P) > 0</m> \\ a decision <m>d</m> in \\ <m>{te({d in D}) > 0}</m>, \\ and an action \\ <m>te(a in A) > 0</m>. \\ It follows deductively that since any Task requires at the very least one of each of these, in the minimum case to decide whether the Goal of a Task <m>T</m> is achieved, then \\ <m>te(T) > 0</m>. \\ Anything that takes zero time or zero energy is by definition not a Task. | |
| |
| \\ | \\ |
| |
| |
| ====Characterizing a World==== | ====How it Hangs Together: Worlds, Environments, Tasks, Goals==== |
| | World | A set of variables with constraints and relationships. \\ <m>W = {lbrace V,F rbrace}</m> \\ where <m>V</m> is a set of variables and <m>F</m> is a set of transition functions / rules describing how the variables can change. || | | World | A set of variables with constraints and relationships. \\ <m>W = {lbrace V,F rbrace}</m> \\ where <m>V</m> is a set of variables and <m>F</m> is a set of transition functions / rules describing how the variables can change. || |
| | ::: | Static World | Changes State only through Agent Action. | | | ::: | Static World | Changes State only through Agent Action. | |
| | Task-Environment | An Environment in which one or more Tasks may be assigned. || | | Task-Environment | An Environment in which one or more Tasks may be assigned. || |
| | Problem | A Goal with (all) relevant constraints imposed by a Task-Environment. || | | Problem | A Goal with (all) relevant constraints imposed by a Task-Environment. || |
| | Goal | A (future) (sub-) State to be attained, plus //optional// constraints on the Goal. || | | Goal | A (future) (sub-) State to be attained during period //t//, plus other //optional// constraints on the Goal. || |
| | | "Goal" definition | <m>G subset S </m> \\ \\ attached to a Problem. | | | | "Goal" definition | <m>G subset S </m> \\ \\ attached to a Problem. | |
| |
| | Action | The changes an Agent can make to variables relevant to a Task-Environment. || | | Action | The changes an Agent can make to variables relevant to a Task-Environment. || |
| | Plan | A partial way to accomplish a Task. || | | Plan | A partial way to accomplish a Task. || |
| | | Instructions | Partial Plan for accomplishing a Task, typically given to an Agent along with a Task by a Teacher. | | | | Instructions | Partial Plan for accomplishing a Task typically given to an Agent by a Teacher, along with a Task. | |
| | Teacher | The Agent assigning a Task to another Agent (student). || | | Teacher | The Agent assigning a Task to another Agent (student). || |
| |
