You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

AlexMennen comments on Summary of the first SoCal FAI Workshop - Less Wrong Discussion

7 Post author: Coscott 30 April 2014 07:35AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (8)

You are viewing a single comment's thread. Show more comments above.

Comment author: AlexMennen 30 April 2014 11:42:42PM 0 points [-]

The basis vectors do not in general correspond to a set of propositions exactly one of which is true, but merely a set of propositions with some set of logical constraints (e.g. if x, y, and z are all logically equivalent, then the assignment is coherent iff x=y=z. The situation where the assignment is coherent iff x+y+z=1 was just an example).

Comment author: Coscott 01 May 2014 12:52:28AM 0 points [-]

This is correct. My response was thinking he was saying project onto the polytope, (which is not always a simplex), which is a good suggestion, but doesn't work in terms of local moves.

Comment author: Punoxysm 01 May 2014 02:37:52AM *  0 points [-]

This modified simplex, where some coordinates are constrained to be equal, shouldn't be impossible to project on, but it does seem like you have larger problems. Ah well.

But I figure there should be some approach that works spiritually with whatever you're trying to do (which is not 100% clear to me) just because there are so many ways to project vectors, or sampled versions of those vectors.

What specifically do you hope to gain from your probability distribution over 1/2 probability on all sentences?