Does it go into formalizing the process you describe?
Nope, sorry! I’m still at the stage of understanding where formalizing it would mean leaving in a bunch of parameters that hide hard problems (E.g. “a measure of how agent-shaped a model augmented with a rule for extracting preferences is” or “a function that compares plans of action in different ontologies.”), so I didn’t really bother.
But if you’re around Lightcone, hit me up and we can chat and write things on whiteboards.
Nope, sorry! I’m still at the stage of understanding where formalizing it would mean leaving in a bunch of parameters that hide hard problems (E.g. “a measure of how agent-shaped a model augmented with a rule for extracting preferences is” or “a function that compares plans of action in different ontologies.”), so I didn’t really bother.
But if you’re around Lightcone, hit me up and we can chat and write things on whiteboards.