Comment on Open Thread: April 2010

Thu, 22 Apr 2010 10:58:22 GMT

After reading Nesov's latest posts on the subject, I think I better understand what he is talking about now. But I still don't get why Nesov seems confident that this is the right approach, as opposed to a possible one that is worth looking into.

You [Nesov] have not said anything about what kind of static analysis would take you from an agent's program to an agent's [syntactic] preference.

Do we have at least an outline of how such an analysis would work? If not, why do we think that working out such an analysis would be any easier than, say, trying to state ourselves what our "semantic" preferences are?

Discuss