Have you seen Mark and my “Agents Over Cartesian World Models”? Though it doesn’t have any Selection Theorems in it, and it just focuses on the type signatures of goals, it does go into a lot of detail about possible type signatures for agent’s goals and what the implications of those type signatures would be, starting from the idea that a goal can be defined on any part of a Cartesian boundary.
Oh excellent, that’s a perfect reference for one of the successor posts to this one. You guys do a much better job explaining what agent type signatures are and giving examples and classification, compared to my rather half-baked sketch here.
Thanks! I hope the post is helpful to you or anyone else trying to think about the type signatures of goals. It’s definitely a topic I’m pretty interested in.
Have you seen Mark and my “Agents Over Cartesian World Models”? Though it doesn’t have any Selection Theorems in it, and it just focuses on the type signatures of goals, it does go into a lot of detail about possible type signatures for agent’s goals and what the implications of those type signatures would be, starting from the idea that a goal can be defined on any part of a Cartesian boundary.
Oh excellent, that’s a perfect reference for one of the successor posts to this one. You guys do a much better job explaining what agent type signatures are and giving examples and classification, compared to my rather half-baked sketch here.
Thanks! I hope the post is helpful to you or anyone else trying to think about the type signatures of goals. It’s definitely a topic I’m pretty interested in.